2015-07-20 11:46:18 +00:00
|
|
|
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."
|
2014-11-22 20:21:34 +00:00
|
|
|
HOMEPAGE="http://isl.gforge.inria.fr"
|
2019-04-15 17:40:38 +00:00
|
|
|
COPYRIGHT="2018-2019 Cerebras Systems
|
|
|
|
2015-2019 Polly Labs
|
|
|
|
2014-2015 INRIA Rocquencourt
|
2014-11-22 20:21:34 +00:00
|
|
|
2012-2014 Ecole Normale Superieure
|
2019-04-15 17:40:38 +00:00
|
|
|
2011 Sven Verdoolaege
|
|
|
|
2010-2011 INRIA Saclay
|
|
|
|
2008-2009 Katholieke Universiteit Leuven
|
2016-03-05 19:19:01 +00:00
|
|
|
2006-2007, 2012 Universiteit Leiden"
|
2014-11-22 20:21:34 +00:00
|
|
|
LICENSE="MIT"
|
2019-04-15 17:40:38 +00:00
|
|
|
REVISION="1"
|
|
|
|
SOURCE_URI="http://isl.gforge.inria.fr/isl-$portVersion.tar.xz"
|
|
|
|
CHECKSUM_SHA256="777058852a3db9500954361e294881214f6ecd4b594c00da5eee974cd6a54960"
|
2016-02-17 19:26:37 +00:00
|
|
|
|
2021-09-15 19:40:18 +00:00
|
|
|
ARCHITECTURES="all !x86_gcc2"
|
2014-11-22 20:21:34 +00:00
|
|
|
SECONDARY_ARCHITECTURES="x86"
|
|
|
|
|
2019-04-15 17:40:38 +00:00
|
|
|
libVersion="21.0.0"
|
|
|
|
libVersionCompat="$libVersion compat >= ${libVersion%%.*}"
|
|
|
|
|
2014-11-22 20:21:34 +00:00
|
|
|
PROVIDES="
|
2019-04-15 17:40:38 +00:00
|
|
|
isl$secondaryArchSuffix = $portVersion
|
|
|
|
lib:libisl$secondaryArchSuffix = $libVersionCompat
|
2014-11-22 20:21:34 +00:00
|
|
|
"
|
|
|
|
REQUIRES="
|
2014-12-14 22:08:52 +00:00
|
|
|
haiku$secondaryArchSuffix
|
2019-04-15 17:40:38 +00:00
|
|
|
lib:libgmp$secondaryArchSuffix
|
2014-11-22 20:21:34 +00:00
|
|
|
"
|
2016-02-17 19:26:37 +00:00
|
|
|
|
Minor fixes pointeed out by waddlesplash.
* gcc
Use ${effectiveTargetMachineTriple} as in the SUMMARY
Better DESCRIPTION, "The standard compiler..."
* hdialog
Fix typo, "g++"
* homeworld
Fix typo, "license"
* gnutls
Move PATCHES below CHECKSUM.
* gptfdisk
Added CHECKSUM_SHA256
Corrected patch file name.
* iozone
Fixed typo.
Removed comma after copyright year.
Moved PATCHES down.
* isl, m, iup, kdelibs4, gnutls, farfbuzz, htmltidy, ftgl
Re-order the _devel blocks
2015-07-20 14:49:47 +00:00
|
|
|
PROVIDES_devel="
|
2019-04-15 17:40:38 +00:00
|
|
|
isl${secondaryArchSuffix}_devel = $portVersion
|
|
|
|
devel:libisl$secondaryArchSuffix = $libVersionCompat
|
Minor fixes pointeed out by waddlesplash.
* gcc
Use ${effectiveTargetMachineTriple} as in the SUMMARY
Better DESCRIPTION, "The standard compiler..."
* hdialog
Fix typo, "g++"
* homeworld
Fix typo, "license"
* gnutls
Move PATCHES below CHECKSUM.
* gptfdisk
Added CHECKSUM_SHA256
Corrected patch file name.
* iozone
Fixed typo.
Removed comma after copyright year.
Moved PATCHES down.
* isl, m, iup, kdelibs4, gnutls, farfbuzz, htmltidy, ftgl
Re-order the _devel blocks
2015-07-20 14:49:47 +00:00
|
|
|
"
|
2015-07-20 11:46:18 +00:00
|
|
|
REQUIRES_devel="
|
2019-04-15 17:40:38 +00:00
|
|
|
isl$secondaryArchSuffix == $portVersion base
|
2018-07-05 16:12:08 +00:00
|
|
|
"
|
2016-02-17 19:26:37 +00:00
|
|
|
|
2014-11-22 20:21:34 +00:00
|
|
|
BUILD_REQUIRES="
|
2014-12-14 22:08:52 +00:00
|
|
|
haiku${secondaryArchSuffix}_devel
|
2019-04-15 17:40:38 +00:00
|
|
|
devel:libgmp$secondaryArchSuffix
|
2014-11-22 20:21:34 +00:00
|
|
|
"
|
|
|
|
BUILD_PREREQUIRES="
|
|
|
|
cmd:aclocal
|
|
|
|
cmd:autoconf
|
|
|
|
cmd:automake
|
|
|
|
cmd:gcc$secondaryArchSuffix
|
|
|
|
cmd:ld$secondaryArchSuffix
|
2016-09-03 01:00:13 +00:00
|
|
|
cmd:libtoolize$secondaryArchSuffix
|
2014-11-22 20:21:34 +00:00
|
|
|
cmd:make
|
|
|
|
cmd:pkg_config$secondaryArchSuffix
|
|
|
|
"
|
|
|
|
|
2019-04-15 17:40:38 +00:00
|
|
|
defineDebugInfoPackage isl$secondaryArchSuffix \
|
|
|
|
$libDir/libisl.so.$libVersion
|
|
|
|
|
2014-11-22 20:21:34 +00:00
|
|
|
BUILD()
|
|
|
|
{
|
2019-04-15 17:40:38 +00:00
|
|
|
autoreconf -vfi
|
2014-11-22 20:21:34 +00:00
|
|
|
runConfigure ./configure
|
|
|
|
make $jobArgs
|
|
|
|
}
|
|
|
|
|
|
|
|
INSTALL()
|
|
|
|
{
|
|
|
|
make install
|
|
|
|
|
2016-05-05 15:16:40 +00:00
|
|
|
# remove libtool file
|
|
|
|
rm $libDir/libisl.la
|
|
|
|
|
2019-04-15 17:40:38 +00:00
|
|
|
prepareInstalledDevelLib libisl
|
2014-11-22 20:21:34 +00:00
|
|
|
fixPkgconfig
|
|
|
|
|
|
|
|
# devel package
|
|
|
|
packageEntries devel \
|
|
|
|
$developDir
|
2015-03-17 21:27:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST()
|
|
|
|
{
|
|
|
|
make check
|
|
|
|
}
|