From 8d3e4114c63e0cd8beaba1d61cdffdd80dcd9c1a Mon Sep 17 00:00:00 2001
From: Jerome Duval <jerome.duval@gmail.com>
Date: Wed, 24 Sep 2014 20:30:56 +0000
Subject: [PATCH] isl: added a recipe for version 0.13

---
 dev-libs/isl/isl-0.13.recipe | 79 ++++++++++++++++++++++++++++++++++++
 1 file changed, 79 insertions(+)
 create mode 100644 dev-libs/isl/isl-0.13.recipe

diff --git a/dev-libs/isl/isl-0.13.recipe b/dev-libs/isl/isl-0.13.recipe
new file mode 100644
index 000000000..a4bae4847
--- /dev/null
+++ b/dev-libs/isl/isl-0.13.recipe
@@ -0,0 +1,79 @@
+SUMMARY="Library for manipulating integer points bounded by affine constraints."
+DESCRIPTION="
+isl is a thread-safe C library for manipulating sets and relations
+of integer points bounded by affine constraints.  The descriptions of
+the sets and relations may involve both parameters and existentially
+quantified variables.  All computations are performed in exact integer
+arithmetic using GMP.
+"
+HOMEPAGE="http://isl.gforge.inria.fr"
+COPYRIGHT="
+	2011 Sven Verdoolaege
+	2008-2009 Katholieke Universiteit Leuven
+	2010-2011 INRIA Saclay
+	2012-2014 Ecole Normale Superieure
+	2006-2007, 2012 Universiteit Leiden
+"
+LICENSE="MIT"
+SRC_URI="http://isl.gforge.inria.fr/isl-$portVersion.tar.bz2"
+CHECKSUM_SHA256="7265fd897b7f9147fde76560f28ed18f2c20e5f5da7f4bd9d0e01f8a713401f1"
+REVISION="1"
+ARCHITECTURES="x86 x86_64"
+if [ $effectiveTargetArchitecture != x86_gcc2 ]; then
+    # x86_gcc2 is fine as primary target architecture as long as we're building
+    # for a different secondary architecture.
+    ARCHITECTURES="$ARCHITECTURES x86_gcc2"
+fi
+SECONDARY_ARCHITECTURES="x86"
+
+PROVIDES="
+	isl$secondaryArchSuffix = $portVersion compat >= 0.12
+	lib:libisl$secondaryArchSuffix = 13.0.0 compat >= 13
+	"
+REQUIRES="
+	haiku$secondaryArchSuffix >= $haikuVersion
+	lib:libgmp$secondaryArchSuffix >= 10.1.3
+	"
+BUILD_REQUIRES="
+	haiku${secondaryArchSuffix}_devel >= $haikuVersion
+	devel:libgmp$secondaryArchSuffix >= 10.1.3
+	"
+BUILD_PREREQUIRES="
+	cmd:aclocal
+	cmd:autoconf
+	cmd:automake
+	cmd:gcc$secondaryArchSuffix
+	cmd:ld$secondaryArchSuffix
+	cmd:libtoolize
+	cmd:make
+	cmd:pkg_config$secondaryArchSuffix
+	"
+
+BUILD()
+{
+	autoreconf -fi
+	runConfigure ./configure
+	make $jobArgs
+}
+
+INSTALL()
+{
+	make install
+
+	prepareInstalledDevelLibs libisl
+	fixPkgconfig
+
+	# devel package
+	packageEntries devel \
+		$developDir
+}	
+
+# ----- devel package -------------------------------------------------------
+
+PROVIDES_devel="
+	isl${secondaryArchSuffix}_devel = $portVersion compat >= 0.12
+	devel:libisl$secondaryArchSuffix = 13.0.0 compat >= 13
+	"
+REQUIRES_devel="
+	isl$secondaryArchSuffix == $portVersion base
+	"