isl, bump version, remove obsolete isl13 (#3741)

This commit is contained in:
Schrijvers Luc
2019-04-15 19:40:38 +02:00
committed by GitHub
parent a5c62c9fa0
commit 6d408ed3ce

View File

@@ -5,43 +5,45 @@ 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
COPYRIGHT="2018-2019 Cerebras Systems
2015-2019 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="4"
SOURCE_URI="http://isl.gforge.inria.fr/isl-$portVersion.tar.bz2"
CHECKSUM_SHA256="7e3c02ff52f8540f6a85534f54158968417fd676001651c8289c705bd0228f36"
SOURCE_DIR="isl-$portVersion"
REVISION="1"
SOURCE_URI="http://isl.gforge.inria.fr/isl-$portVersion.tar.xz"
CHECKSUM_SHA256="777058852a3db9500954361e294881214f6ecd4b594c00da5eee974cd6a54960"
ARCHITECTURES="!x86_gcc2 x86 x86_64"
SECONDARY_ARCHITECTURES="x86"
libVersion="21.0.0"
libVersionCompat="$libVersion compat >= ${libVersion%%.*}"
PROVIDES="
isl13$secondaryArchSuffix = $portVersion compat >= 0.12
lib:libisl$secondaryArchSuffix = 13.1.0 compat >= 13
isl$secondaryArchSuffix = $portVersion
lib:libisl$secondaryArchSuffix = $libVersionCompat
"
REQUIRES="
haiku$secondaryArchSuffix
lib:libgmp$secondaryArchSuffix >= 10.1.3
lib:libgmp$secondaryArchSuffix
"
PROVIDES_devel="
isl13${secondaryArchSuffix}_devel = $portVersion compat >= 0.12
devel:libisl$secondaryArchSuffix = 13.1.0 compat >= 13
isl${secondaryArchSuffix}_devel = $portVersion
devel:libisl$secondaryArchSuffix = $libVersionCompat
"
REQUIRES_devel="
isl13$secondaryArchSuffix == $portVersion base
"
CONFLICTS_devel="
isl${secondaryArchSuffix}_devel
isl$secondaryArchSuffix == $portVersion base
"
BUILD_REQUIRES="
haiku${secondaryArchSuffix}_devel
devel:libgmp$secondaryArchSuffix >= 10.1.3
devel:libgmp$secondaryArchSuffix
"
BUILD_PREREQUIRES="
cmd:aclocal
@@ -54,9 +56,12 @@ BUILD_PREREQUIRES="
cmd:pkg_config$secondaryArchSuffix
"
defineDebugInfoPackage isl$secondaryArchSuffix \
$libDir/libisl.so.$libVersion
BUILD()
{
autoreconf -fi
autoreconf -vfi
runConfigure ./configure
make $jobArgs
}
@@ -68,7 +73,7 @@ INSTALL()
# remove libtool file
rm $libDir/libisl.la
prepareInstalledDevelLibs libisl
prepareInstalledDevelLib libisl
fixPkgconfig
# devel package