ISL : bump version (#1907)

This commit is contained in:
miqlas
2017-12-18 16:31:38 +01:00
committed by diversys
parent e5e5edc8af
commit 0c0cee8a6f

View File

@@ -0,0 +1,86 @@
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="2015-2016 Polly Labs
2014-2015 INRIA Rocquencourt
2012-2014 Ecole Normale Superieure
2011 Sven Verdoolaege
2010-2011 INRIA Saclay
2008-2009 Katholieke Universiteit Leuven
2006-2007, 2012 Universiteit Leiden"
LICENSE="MIT"
REVISION="1"
SOURCE_URI="http://isl.gforge.inria.fr/isl-$portVersion.tar.bz2"
CHECKSUM_SHA256="6b8b0fd7f81d0a957beb3679c81bbb34ccc7568d5682844d8924424a0dadcb1b"
ARCHITECTURES="!x86_gcc2 x86 x86_64"
SECONDARY_ARCHITECTURES="x86"
PROVIDES="
isl$secondaryArchSuffix = $portVersion compat >= 0.12
lib:libisl$secondaryArchSuffix = 15.3.0 compat >= 15
"
REQUIRES="
haiku$secondaryArchSuffix
lib:libgmp$secondaryArchSuffix >= 10.1.3
"
PROVIDES_devel="
isl${secondaryArchSuffix}_devel = $portVersion compat >= 0.12
devel:libisl$secondaryArchSuffix = 15.3.0 compat >= 15
"
REQUIRES_devel="
isl$secondaryArchSuffix == $portVersion base
"
CONFLICTS_devel="
isl13${secondaryArchSuffix}_devel
"
BUILD_REQUIRES="
haiku${secondaryArchSuffix}_devel
devel:libgmp$secondaryArchSuffix >= 10.1.3
"
BUILD_PREREQUIRES="
cmd:aclocal
cmd:autoconf
cmd:automake
cmd:gcc$secondaryArchSuffix
cmd:ld$secondaryArchSuffix
cmd:libtoolize$secondaryArchSuffix
cmd:make
cmd:pkg_config$secondaryArchSuffix
"
defineDebugInfoPackage isl$secondaryArchSuffix \
$libDir/libisl.so.15.3.0
BUILD()
{
autoreconf -fi
runConfigure ./configure
make $jobArgs
}
INSTALL()
{
make install
# remove libtool file
rm $libDir/libisl.la
prepareInstalledDevelLibs libisl
fixPkgconfig
# devel package
packageEntries devel \
$developDir
}
TEST()
{
make check
}