82 lines
1.8 KiB
Bash
82 lines
1.8 KiB
Bash
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
|
|
}
|