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
}
