isl, bump version, cleanup (#8115)

This commit is contained in:
Schrijvers Luc
2023-03-26 14:37:47 +02:00
committed by GitHub
parent 49e8d059c0
commit e0d21f040f
3 changed files with 5 additions and 172 deletions

View File

@@ -1,81 +0,0 @@
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"
REVISION="3"
SOURCE_URI="http://isl.gforge.inria.fr/isl-$portVersion.tar.bz2"
CHECKSUM_SHA256="412538bb65c799ac98e17e8cfcdacbb257a57362acfaaff254b0fcae970126d2"
ARCHITECTURES="all !x86_gcc2"
SECONDARY_ARCHITECTURES="x86"
PROVIDES="
isl$secondaryArchSuffix = $portVersion compat >= 0.12
lib:libisl$secondaryArchSuffix = 15.1.1 compat >= 15
"
REQUIRES="
haiku$secondaryArchSuffix
lib:libgmp$secondaryArchSuffix >= 10.1.3
"
PROVIDES_devel="
isl${secondaryArchSuffix}_devel = $portVersion compat >= 0.12
devel:libisl$secondaryArchSuffix = 15.1.1 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
"
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
}

View File

@@ -1,86 +0,0 @@
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.xz"
CHECKSUM_SHA256="a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa"
ARCHITECTURES="all !x86_gcc2"
SECONDARY_ARCHITECTURES="x86"
libVersion="19.1.0"
libVersionCompat="$libVersion compat >= ${libVersion%%.*}"
PROVIDES="
isl$secondaryArchSuffix = $portVersion
lib:libisl$secondaryArchSuffix = $libVersionCompat
"
REQUIRES="
haiku$secondaryArchSuffix
lib:libgmp$secondaryArchSuffix
"
PROVIDES_devel="
isl${secondaryArchSuffix}_devel = $portVersion
devel:libisl$secondaryArchSuffix = $libVersionCompat
"
REQUIRES_devel="
isl$secondaryArchSuffix == $portVersion base
"
BUILD_REQUIRES="
haiku${secondaryArchSuffix}_devel
devel:libgmp$secondaryArchSuffix
"
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.$libVersion
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
}

View File

@@ -4,7 +4,7 @@ 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"
HOMEPAGE="https://libisl.sourceforge.io/"
COPYRIGHT="2018-2019 Cerebras Systems
2015-2019 Polly Labs
2014-2015 INRIA Rocquencourt
@@ -15,13 +15,13 @@ COPYRIGHT="2018-2019 Cerebras Systems
2006-2007, 2012 Universiteit Leiden"
LICENSE="MIT"
REVISION="1"
SOURCE_URI="http://isl.gforge.inria.fr/isl-$portVersion.tar.xz"
CHECKSUM_SHA256="777058852a3db9500954361e294881214f6ecd4b594c00da5eee974cd6a54960"
SOURCE_URI="https://libisl.sourceforge.io/isl-$portVersion.tar.xz"
CHECKSUM_SHA256="be7b210647ccadf90a2f0b000fca11a4d40546374a850db67adb32fad4b230d9"
ARCHITECTURES="all !x86_gcc2"
SECONDARY_ARCHITECTURES="x86"
libVersion="21.0.0"
libVersion="23.2.0"
libVersionCompat="$libVersion compat >= ${libVersion%%.*}"
PROVIDES="
@@ -62,7 +62,7 @@ defineDebugInfoPackage isl$secondaryArchSuffix \
BUILD()
{
autoreconf -vfi
runConfigure ./configure
runConfigure ./configure --disable-static
make $jobArgs
}