Name: azove
Version: 2.0
Release: 2%{?dist}
Summary: Another Zero-One Vertex Enumeration tool
License: GPLv2+
URL: http://www.mpi-inf.mpg.de/~behle/azove.html
Source0: http://www.mpi-inf.mpg.de/~behle/%{name}-%{version}.tar.gz
# Man page written by Jerry James from text found in the sources. Therefore,
# the copyright and license of the man page is the same as the sources.
Source1: %{name}2.1
# Sent upstream 2 Mar 2012: add an include that used to be implicit.
Patch0: %{name}-include.patch
BuildRequires: gmp-devel
%description
Azove is a tool designed for counting (without explicit enumeration) and
enumeration of 0/1 vertices. Given a polytope by a linear relaxation or
facet description P = {x | Ax <= b}, all 0/1 points lying in P can be
counted or enumerated. This is done by intersecting the polytope P with
the unit-hypercube [0,1] d. The integral vertices (no fractional ones)
of this intersection will be enumerated. If P is a 0/1 polytope, azove
solves the vertex enumeration problem. In fact it can also solve the
0/1 knapsack problem and the 0/1 subset sum problem.
%prep
%setup -q
%patch0
%build
make %{?_smp_mflags} COMPILER_FLAGS="$RPM_OPT_FLAGS"
%install
mkdir -p $RPM_BUILD_ROOT%{_bindir}
install -m 0755 -p %{name}2 $RPM_BUILD_ROOT%{_bindir}
mkdir -p $RPM_BUILD_ROOT%{_mandir}/man1
install -m 0644 -p %{SOURCE1} $RPM_BUILD_ROOT%{_mandir}/man1
%files
%doc COPYING INSTALL README
%{_bindir}/%{name}2
%{_mandir}/man1/%{name}2.1*
%changelog
* Fri Aug 3 2012 Jerry James <loganjerry@gmail.com> - 2.0-2
- Fix permissions on installed files
* Fri Mar 2 2012 Jerry James <loganjerry@gmail.com> - 2.0-1
- Initial RPM