rpms/ppl
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated for PPL 0.11.2.

Browse Source
This commit is contained in:
Roberto Bagnara 2011-02-28 17:29:17 +01:00
parent 2ad28ab2cd
commit ddb5035ffd
6 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@ -1 +1,3 @@
ppl-0.10.2.tar.bz2
/ppl-0.11.2-Makefile.patch
/ppl-0.11.2.tar.bz2

3
ppl.hh
View File

@ -1,5 +1,6 @@
/* This is the header file switcher of the Parma Polyhedra Library.
Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
This file is part of the Parma Polyhedra Library (PPL).

7
ppl.spec
View File

@ -57,8 +57,9 @@ Group: Development/Libraries
Requires: %{name} = %{version}-%{release}
BuildRequires: glpk-devel >= 4.13
%description utils
This package contains the mixed integer linear programming solver ppl_lpsol
and the program ppl_lcdd for vertex/facet enumeration of convex polyhedra.
This package contains the mixed integer linear programming solver ppl_lpsol.
the program ppl_lcdd for vertex/facet enumeration of convex polyhedra,
and the parametric integer programming solver ppl_pips.
%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9
%package gprolog
@ -295,8 +296,10 @@ mv \
%defattr(-,root,root,-)
%{_bindir}/ppl_lcdd
%{_bindir}/ppl_lpsol
%{_bindir}/ppl_pips
%{_mandir}/man1/ppl_lcdd.1.gz
%{_mandir}/man1/ppl_lpsol.1.gz
%{_mandir}/man1/ppl_pips.1.gz
%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9
%files gprolog

3
ppl_c.h
View File

@ -1,5 +1,6 @@
/* Header file switcher for the C interface. -*- C -*-
Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
This file is part of the Parma Polyhedra Library (PPL).

3
pwl.hh
View File

@ -1,5 +1,6 @@
/* This is the header file switcher of the Parma Watchdog Library.
Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
This file is part of the Parma Watchdog Library (PWL).

3
sources
View File

@ -1 +1,2 @@
5667111f53150618b0fa522ffc53fc3e ppl-0.10.2.tar.bz2
61ecfa2164cd0fb00738845e7652c41b ppl-0.11.2-Makefile.patch
c24429e6c3bc97d45976a63f40f489a1 ppl-0.11.2.tar.bz2