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"
|
2016-03-05 19:19:01 +00:00
|
|
|
COPYRIGHT="2011 Sven Verdoolaege
|
2014-11-22 20:21:34 +00:00
|
|
|
2008-2009 Katholieke Universiteit Leuven
|
|
|
|
2010-2011 INRIA Saclay
|
|
|
|
2012-2014 Ecole Normale Superieure
|
2016-03-05 19:19:01 +00:00
|
|
|
2006-2007, 2012 Universiteit Leiden"
|
2014-11-22 20:21:34 +00:00
|
|
|
LICENSE="MIT"
|
2017-06-26 18:25:31 +00:00
|
|
|
REVISION="3"
|
2016-02-17 19:26:37 +00:00
|
|
|
SOURCE_URI="http://isl.gforge.inria.fr/isl-$portVersion.tar.bz2"
|
2016-05-05 15:16:40 +00:00
|
|
|
CHECKSUM_SHA256="412538bb65c799ac98e17e8cfcdacbb257a57362acfaaff254b0fcae970126d2"
|
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"
|
|
|
|
|
|
|
|
PROVIDES="
|
|
|
|
isl$secondaryArchSuffix = $portVersion compat >= 0.12
|
2016-05-05 15:16:40 +00:00
|
|
|
lib:libisl$secondaryArchSuffix = 15.1.1 compat >= 15
|
2014-11-22 20:21:34 +00:00
|
|
|
"
|
|
|
|
REQUIRES="
|
2014-12-14 22:08:52 +00:00
|
|
|
haiku$secondaryArchSuffix
|
2014-11-22 20:21:34 +00:00
|
|
|
lib:libgmp$secondaryArchSuffix >= 10.1.3
|
|
|
|
"
|
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="
|
|
|
|
isl${secondaryArchSuffix}_devel = $portVersion compat >= 0.12
|
2016-05-05 15:16:40 +00:00
|
|
|
devel:libisl$secondaryArchSuffix = 15.1.1 compat >= 15
|
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="
|
|
|
|
isl$secondaryArchSuffix == $portVersion base
|
|
|
|
"
|
2016-05-05 15:16:40 +00:00
|
|
|
CONFLICTS_devel="
|
|
|
|
isl13${secondaryArchSuffix}_devel
|
|
|
|
"
|
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
|
2014-11-22 20:21:34 +00:00
|
|
|
devel:libgmp$secondaryArchSuffix >= 10.1.3
|
|
|
|
"
|
|
|
|
BUILD_PREREQUIRES="
|
|
|
|
cmd:aclocal
|
|
|
|
cmd:autoconf
|
|
|
|
cmd:automake
|
|
|
|
cmd:gcc$secondaryArchSuffix
|
|
|
|
cmd:ld$secondaryArchSuffix
|
2016-08-31 20:49:07 +00:00
|
|
|
cmd:libtoolize$secondaryArchSuffix
|
2014-11-22 20:21:34 +00:00
|
|
|
cmd:make
|
|
|
|
cmd:pkg_config$secondaryArchSuffix
|
|
|
|
"
|
|
|
|
|
|
|
|
BUILD()
|
|
|
|
{
|
|
|
|
autoreconf -fi
|
|
|
|
runConfigure ./configure
|
|
|
|
make $jobArgs
|
|
|
|
}
|
|
|
|
|
|
|
|
INSTALL()
|
|
|
|
{
|
|
|
|
make install
|
2016-08-31 20:49:07 +00:00
|
|
|
|
2016-05-05 15:16:40 +00:00
|
|
|
# remove libtool file
|
|
|
|
rm $libDir/libisl.la
|
2014-11-22 20:21:34 +00:00
|
|
|
|
|
|
|
prepareInstalledDevelLibs libisl
|
|
|
|
fixPkgconfig
|
|
|
|
|
|
|
|
# devel package
|
|
|
|
packageEntries devel \
|
|
|
|
$developDir
|
2015-03-17 21:27:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST()
|
|
|
|
{
|
|
|
|
make check
|
|
|
|
}
|