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