2012-07-01 13:56:38 +00:00
|
|
|
# Template file for 'isl'
|
|
|
|
pkgname=isl
|
2014-01-19 08:24:25 +00:00
|
|
|
version=0.12.2
|
2013-06-25 07:42:07 +00:00
|
|
|
revision=1
|
2014-05-19 08:17:55 +00:00
|
|
|
bootstrap=yes
|
2012-07-01 13:56:38 +00:00
|
|
|
build_style=gnu-configure
|
2013-02-18 13:14:59 +00:00
|
|
|
makedepends="gmp-devel"
|
2012-07-01 13:56:38 +00:00
|
|
|
short_desc="Integer Set Library"
|
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
2013-08-18 05:44:22 +00:00
|
|
|
homepage="http://freecode.com/projects/isl"
|
2012-07-01 13:56:38 +00:00
|
|
|
license="LGPL-2.1"
|
2014-01-19 08:24:25 +00:00
|
|
|
distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
|
|
|
|
checksum=f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4
|
2012-07-01 13:56:38 +00:00
|
|
|
|
2014-05-19 08:23:04 +00:00
|
|
|
if [ -z "$CHROOT_READY" ]; then
|
|
|
|
CFLAGS="-I${XBPS_MASTERDIR}/usr/include"
|
|
|
|
LDFLAGS="-L${XBPS_MASTERDIR}/usr/lib"
|
|
|
|
fi
|
|
|
|
|
2012-07-01 13:56:38 +00:00
|
|
|
post_install() {
|
|
|
|
# Remove gdb python files.
|
|
|
|
rm -f ${DESTDIR}/usr/lib/*.py
|
|
|
|
}
|
2013-04-11 07:52:59 +00:00
|
|
|
|
|
|
|
isl-devel_package() {
|
2014-01-19 08:24:25 +00:00
|
|
|
depends="gmp-devel isl>=${version}_${revision}"
|
2013-06-25 07:42:07 +00:00
|
|
|
short_desc+=" - development files"
|
2013-04-11 07:52:59 +00:00
|
|
|
pkg_install() {
|
|
|
|
vmove usr/include
|
|
|
|
vmove usr/lib/pkgconfig
|
|
|
|
vmove "usr/lib/*.a"
|
2013-06-25 07:42:07 +00:00
|
|
|
vmove "usr/lib/*.so"
|
2013-04-11 07:52:59 +00:00
|
|
|
}
|
|
|
|
}
|