Added ppl-0.10.2 build template.

--HG--
extra : convert_revision : 58f2c2c3da3836e93b306764c759c32e762692cc

templates/ppl-devel

@@ -0,0 +1 @@
+ppl

templates/ppl/depends

@@ -0,0 +1,2 @@
+abi_depends=">=0.10.2"
+api_depends="${abi_depends}"

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
+}

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 <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="devel" 
+Add_dependency run	glibc
+Add_dependency run	gcc-libstdc++
+Add_dependency full	gmp		">=4.3.1_1"