|
 |
85c1d0b |
%define debug_package %{nil}
|
|
|
85c1d0b |
# rpmbuild doesn't get useful debuginfo from .a libs
|
|
|
85c1d0b |
|
|
|
85c1d0b |
Name: cddlib
|
|
|
85c1d0b |
Version: 094f
|
|
|
85c1d0b |
Release: 6%{?dist}
|
|
|
85c1d0b |
Summary: A library for generating all vertices in convex polyhedrons
|
|
|
85c1d0b |
Group: Applications/Engineering
|
|
|
85c1d0b |
License: GPLv2+
|
|
|
85c1d0b |
URL: http://www.ifor.math.ethz.ch/~fukuda/cdd_home/
|
|
|
85c1d0b |
#Source0: ftp://ftp.ifor.math.ethz.ch/pub/fukuda/cdd/%{name}-094f.tar.gz
|
|
|
85c1d0b |
#tar -xzf cddlib-094f.tar.gz
|
|
|
85c1d0b |
#rm cddlib-094f/examples-ml/Combinatorica5.m
|
|
|
85c1d0b |
#tar -czf cddlib-094-free.tar.gz cddlib-094f/
|
|
|
85c1d0b |
Source0: %{name}-094f-free.tar.bz2
|
|
|
85c1d0b |
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
|
|
|
85c1d0b |
BuildRequires: gmp-devel
|
|
|
85c1d0b |
|
|
|
85c1d0b |
|
|
|
85c1d0b |
%description
|
|
|
85c1d0b |
The C-library cddlib is a C implementation of the Double Description
|
|
|
85c1d0b |
Method of Motzkin et al. for generating all vertices (i.e. extreme points)
|
|
|
85c1d0b |
and extreme rays of a general convex polyhedron in R^d given by a system
|
|
|
85c1d0b |
of linear inequalities:
|
|
|
85c1d0b |
|
|
|
85c1d0b |
P = { x=(x1, ..., xd)^T : b - A x >= 0 }
|
|
|
85c1d0b |
|
|
|
85c1d0b |
where A is a given m x d real matrix, b is a given m-vector
|
|
|
85c1d0b |
and 0 is the m-vector of all zeros.
|
|
|
85c1d0b |
|
|
|
85c1d0b |
The program can be used for the reverse operation (i.e. convex hull
|
|
|
85c1d0b |
computation). This means that one can move back and forth between
|
|
|
85c1d0b |
an inequality representation and a generator (i.e. vertex and ray)
|
|
|
85c1d0b |
representation of a polyhedron with cdd. Also, cdd can solve a linear
|
|
|
85c1d0b |
programming problem, i.e. a problem of maximizing and minimizing
|
|
|
85c1d0b |
a linear function over P.
|
|
|
85c1d0b |
|
|
|
85c1d0b |
|
|
|
85c1d0b |
%package devel
|
|
|
85c1d0b |
Summary: Header and static libraries for cddlib
|
|
|
85c1d0b |
Group: Development/Libraries
|
|
|
85c1d0b |
Requires: gmp-devel
|
|
|
85c1d0b |
Provides: %{name}-static = %{version}-%{release}
|
|
|
85c1d0b |
|
|
|
85c1d0b |
%description devel
|
|
|
85c1d0b |
Include files and static libraries for cddlib.
|
|
|
85c1d0b |
|
|
|
85c1d0b |
|
|
|
85c1d0b |
%prep
|
|
|
85c1d0b |
%setup -q
|
|
|
85c1d0b |
# Don't build/install the example programs
|
|
|
85c1d0b |
echo -e 'all:\ninstall:' > src/Makefile.in
|
|
|
85c1d0b |
echo -e 'all:\ninstall:' > src-gmp/Makefile.in
|
|
|
85c1d0b |
# Clean up the examples
|
|
|
85c1d0b |
rm -rf src/~
|
|
|
85c1d0b |
rm -rf src*/.DS_Store* src*/.gdb_history examples*/.DS_Store*
|
|
|
85c1d0b |
rm -rf src-gmp/~
|
|
|
85c1d0b |
chmod -x -R examples*/* src*/*
|
|
|
85c1d0b |
|
|
|
85c1d0b |
|
|
|
85c1d0b |
%build
|
|
|
85c1d0b |
export CFLAGS="%{optflags}"
|
|
|
85c1d0b |
%configure
|
|
|
85c1d0b |
make %{?_smp_mflags}
|
|
|
85c1d0b |
|
|
|
85c1d0b |
|
|
|
85c1d0b |
%install
|
|
|
85c1d0b |
rm -rf $RPM_BUILD_ROOT
|
|
|
85c1d0b |
make install DESTDIR=$RPM_BUILD_ROOT
|
|
|
85c1d0b |
|
|
|
85c1d0b |
|
|
|
85c1d0b |
%clean
|
|
|
85c1d0b |
rm -rf $RPM_BUILD_ROOT
|
|
|
85c1d0b |
|
|
|
85c1d0b |
|
|
|
85c1d0b |
%files devel
|
|
|
85c1d0b |
%defattr(-,root,root,-)
|
|
|
85c1d0b |
%doc doc/cddlibman.pdf
|
|
|
85c1d0b |
%doc examples* src*
|
|
|
85c1d0b |
%{_includedir}/*.h
|
|
|
85c1d0b |
%{_libdir}/libcdd.a
|
|
|
85c1d0b |
%{_libdir}/libcddgmp.a
|
|
|
85c1d0b |
|
|
|
85c1d0b |
|
|
|
85c1d0b |
%changelog
|
|
|
85c1d0b |
* Fri Oct 31 2008 Conrad Meyer <konrad@tylerc.org> - 094f-6
|
|
|
85c1d0b |
- Describe vividly the process whereby the non-free file is
|
|
|
85c1d0b |
stripped from the source tarball.
|
|
|
85c1d0b |
|
|
|
85c1d0b |
* Thu Oct 30 2008 Conrad Meyer <konrad@tylerc.org> - 094f-5
|
|
|
85c1d0b |
- Tarball scrubbed of content we are unable to ship.
|
|
|
85c1d0b |
|
|
|
85c1d0b |
* Tue Oct 28 2008 Conrad Meyer <konrad@tylerc.org> - 094f-4
|
|
|
85c1d0b |
- Remove modules that do not meet licensing guidelines.
|
|
|
85c1d0b |
- Don't generate debuginfo.
|
|
|
85c1d0b |
|
|
|
85c1d0b |
* Tue Oct 28 2008 Conrad Meyer <konrad@tylerc.org> - 094f-3
|
|
|
85c1d0b |
- Fix permissions on documentation.
|
|
|
85c1d0b |
|
|
|
85c1d0b |
* Mon Oct 27 2008 Conrad Meyer <konrad@tylerc.org> - 094f-2
|
|
|
85c1d0b |
- Incorporate several suggestions from review.
|
|
|
85c1d0b |
|
|
|
85c1d0b |
* Thu Sep 25 2008 Conrad Meyer <konrad@tylerc.org> - 094f-1
|
|
|
85c1d0b |
- Initial package.
|