Name: cddlib Version: 094f Release: 1%{?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 BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) BuildRequires: gmp-devel gcc-c++ %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: %{name} = %{version}-%{release} 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 rm -rf src/~ rm -rf src-gmp/~ %build %configure make %{?_smp_mflags} %install rm -rf $RPM_BUILD_ROOT make install DESTDIR=$RPM_BUILD_ROOT %clean rm -rf $RPM_BUILD_ROOT %files %defattr(0644,root,root,0755) %doc src* examples* %files devel %defattr(-,root,root,-) %doc doc/cddlibman.pdf %{_includedir}/*.h %{_libdir}/libcdd.a %{_libdir}/libcddgmp.a %changelog * Thu Sep 25 2008 Conrad Meyer - 094f-1 - Initial package.