From 5cf8a482d5eb5302f1edce5598172b347bb41d7d Mon Sep 17 00:00:00 2001 From: Enno Boland Date: Sat, 26 Nov 2016 19:02:49 +0100 Subject: [PATCH] New package: isl15-0.16.1 --- common/shlibs | 1 + srcpkgs/isl15-devel | 1 + srcpkgs/isl15/template | 31 +++++++++++++++++++++++++++++++ 3 files changed, 33 insertions(+) create mode 120000 srcpkgs/isl15-devel create mode 100644 srcpkgs/isl15/template diff --git a/common/shlibs b/common/shlibs index e1f3a08123..0b559c61eb 100644 --- a/common/shlibs +++ b/common/shlibs @@ -1053,6 +1053,7 @@ libsratom-0.so.0 sratom-0.4.0_1 libmongoose.so.0 libmongoose-3.1_1 libpwquality.so.1 libpwquality-1.1.1_1 libisl.so.10 isl-0.10_1 +libisl.so.15 isl15-0.16.1_1 libcloog-isl.so.4 cloog-0.18.1_1 librtmp.so.0 librtmp-2.4_1 libORBit-2.so.0 libORBit2-2.14.19_1 diff --git a/srcpkgs/isl15-devel b/srcpkgs/isl15-devel new file mode 120000 index 0000000000..ff1d954a7b --- /dev/null +++ b/srcpkgs/isl15-devel @@ -0,0 +1 @@ +isl15 \ No newline at end of file diff --git a/srcpkgs/isl15/template b/srcpkgs/isl15/template new file mode 100644 index 0000000000..bc2c349630 --- /dev/null +++ b/srcpkgs/isl15/template @@ -0,0 +1,31 @@ +# Template file for 'isl15' +pkgname=isl15 +version=0.16.1 +revision=1 +wrksrc="isl-${version}" +bootstrap=yes +build_style=gnu-configure +makedepends="gmp-devel" +short_desc="Integer Set Library" +maintainer="Juan RP " +homepage="http://freecode.com/projects/isl" +license="LGPL-2.1" +distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2" +checksum=412538bb65c799ac98e17e8cfcdacbb257a57362acfaaff254b0fcae970126d2 + +post_install() { + # Remove gdb python files. + rm -f ${DESTDIR}/usr/lib/*.py +} + +isl15-devel_package() { + depends="${makedepends} ${sourcepkg}>=${version}_${revision}" + short_desc+=" - development files" + conflicts="isl-devel>=0" + pkg_install() { + vmove usr/include + vmove usr/lib/pkgconfig + vmove "usr/lib/*.a" + vmove "usr/lib/*.so" + } +}