isl: added a recipe for version 0.13

This commit is contained in:
Jerome Duval
2014-09-24 20:30:56 +00:00
parent be49253a38
commit 8d3e4114c6

View File

@@ -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
"