From 6ba58c5ba0d70648fb0b1256ee5232e8d655a1c7 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Sat, 14 Nov 2009 18:33:43 +0100
Subject: [PATCH] Added ppl-0.10.2 build template.

--HG--
extra : convert_revision : 58f2c2c3da3836e93b306764c759c32e762692cc
---
 templates/ppl-devel          |  1 +
 templates/ppl/depends        |  2 ++
 templates/ppl/devel.template | 22 ++++++++++++++++++++++
 templates/ppl/template       | 30 ++++++++++++++++++++++++++++++
 4 files changed, 55 insertions(+)
 create mode 120000 templates/ppl-devel
 create mode 100644 templates/ppl/depends
 create mode 100644 templates/ppl/devel.template
 create mode 100644 templates/ppl/template

diff --git a/templates/ppl-devel b/templates/ppl-devel
new file mode 120000
index 00000000000..71de29b2b78
--- /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 00000000000..663ebbb7f54
--- /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 00000000000..3b6542dabf5
--- /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 00000000000..68c0c7ccf3c
--- /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 <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"