88 lines
2.0 KiB
Bash
88 lines
2.0 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="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="1"
|
|
SOURCE_URI="http://isl.gforge.inria.fr/isl-$portVersion.tar.xz"
|
|
CHECKSUM_SHA256="777058852a3db9500954361e294881214f6ecd4b594c00da5eee974cd6a54960"
|
|
|
|
ARCHITECTURES="all !x86_gcc2"
|
|
SECONDARY_ARCHITECTURES="x86"
|
|
|
|
libVersion="21.0.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 -vfi
|
|
runConfigure ./configure
|
|
make $jobArgs
|
|
}
|
|
|
|
INSTALL()
|
|
{
|
|
make install
|
|
|
|
# remove libtool file
|
|
rm $libDir/libisl.la
|
|
|
|
prepareInstalledDevelLib libisl
|
|
fixPkgconfig
|
|
|
|
# devel package
|
|
packageEntries devel \
|
|
$developDir
|
|
}
|
|
|
|
TEST()
|
|
{
|
|
make check
|
|
}
|