85cc462e1d
* Moved helpers, common and triggers dirs into xbps-src, where
they belong.
* Renamed the templates dir to srcpkgs, it was so redundant before.
* Make it possible to add subpkgs with no restriction in names, for
example udev now has a subpkgs called "libgudev". Previously
subpkgs were named "${sourcepkg}-${pkgname}".
* xbps-src: changed to look for template files in current directory.
That means that most arguments from the targets have been removed.
* xbps-src: added a reinstall target, to remove + install.
* xbps-src: do not overwrite binpkgs by default, skip them.
And more that I forgot because it's a mega-commit that I've been
working for some days already...
--HG--
extra : convert_revision : 0f466878584d1e6895d2a234f07ea1b2d1e61b3e
31 lines
1.4 KiB
Text
31 lines
1.4 KiB
Text
# Template file for 'ppl'
|
|
pkgname=ppl
|
|
version=0.10.2
|
|
revision=1
|
|
distfiles="http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ppl-${version}.tar.gz"
|
|
build_style=gnu_configure
|
|
configure_args="--disable-rpath --enable-interfaces=c,cxx
|
|
--with-libgmp-prefix=${XBPS_MASTERDIR}/usr
|
|
--with-libgmpxx-prefix=${XBPS_MASTERDIR}/usr
|
|
--with-gnu-ld --disable-debugging"
|
|
short_desc="The Parma Polyhedra Library"
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
|
checksum=d0389838575a7e003542fe996cce54bb0405f9a011424ba7384d12a634219e52
|
|
long_desc="
|
|
The Parma Polyhedra Library (PPL) provides numerical abstractions especially
|
|
targeted at applications in the field of analysis and verification of complex
|
|
systems. These abstractions include convex polyhedra, defined as the
|
|
intersection of a finite number of (open or closed) halfspaces, each
|
|
described by a linear inequality (strict or non-strict) with rational
|
|
coefficients; some special classes of polyhedra shapes that offer interesting
|
|
complexity/precision tradeoffs; and grids which represent regularly spaced
|
|
points that satisfy a set of linear congruence relations. The library also
|
|
supports finite powersets and products of (any kind of) polyhedra and grids
|
|
and a mixed integer linear programming problem solver using an
|
|
exact-arithmetic version of the simplex algorithm."
|
|
|
|
base_chroot=yes
|
|
subpackages="ppl-devel"
|
|
Add_dependency run glibc
|
|
Add_dependency run libstdc++
|
|
Add_dependency full gmp ">=4.3.1_1"
|