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