diff --git a/templates/ppl-devel b/templates/ppl-devel new file mode 120000 index 0000000000..71de29b2b7 --- /dev/null +++ b/templates/ppl-devel @@ -0,0 +1 @@ +ppl \ No newline at end of file diff --git a/templates/ppl/depends b/templates/ppl/depends new file mode 100644 index 0000000000..663ebbb7f5 --- /dev/null +++ b/templates/ppl/depends @@ -0,0 +1,2 @@ +abi_depends=">=0.10.2" +api_depends="${abi_depends}" diff --git a/templates/ppl/devel.template b/templates/ppl/devel.template new file mode 100644 index 0000000000..3b6542dabf --- /dev/null +++ b/templates/ppl/devel.template @@ -0,0 +1,22 @@ +# Template file for 'ppl-devel'. +# +short_desc="${short_desc} (development files)" +long_desc="${long_desc} + + This package contains files for development, headers, static libs, etc." + +Add_dependency run ppl + +do_install() +{ + mkdir -p ${DESTDIR}/usr/share/man/man1 ${DESTDIR}/usr/bin \ + ${DESTDIR}/usr/lib + mv ${SRCPKGDESTDIR}/usr/bin/ppl-config ${DESTDIR}/usr/bin + mv ${SRCPKGDESTDIR}/usr/share/man/man1/ppl-config.* \ + ${DESTDIR}/usr/share/man/man1 + mv ${SRCPKGDESTDIR}/usr/share/man/man3 ${DESTDIR}/usr/share/man + mv ${SRCPKGDESTDIR}/usr/include ${DESTDIR}/usr + mv ${SRCPKGDESTDIR}/usr/lib/*.a ${DESTDIR}/usr/lib + mv ${SRCPKGDESTDIR}/usr/share/aclocal ${DESTDIR}/usr/share + mv ${SRCPKGDESTDIR}/usr/share/doc ${DESTDIR}/usr/share +} diff --git a/templates/ppl/template b/templates/ppl/template new file mode 100644 index 0000000000..68c0c7ccf3 --- /dev/null +++ b/templates/ppl/template @@ -0,0 +1,30 @@ +# Template file for 'ppl' +pkgname=ppl +version=0.10.2 +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 " +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="devel" +Add_dependency run glibc +Add_dependency run gcc-libstdc++ +Add_dependency full gmp ">=4.3.1_1"