diff --git a/common/shlibs b/common/shlibs index bb0605db28..4e328819dd 100644 --- a/common/shlibs +++ b/common/shlibs @@ -1085,6 +1085,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 isl16-0.16_1 libisl.so.19 isl15-0.19_1 libcloog-isl.so.4 cloog-0.18.1_1 librtmp.so.1 librtmp-2.4.20161210_1 diff --git a/srcpkgs/isl16-devel b/srcpkgs/isl16-devel new file mode 120000 index 0000000000..266ab2c8fa --- /dev/null +++ b/srcpkgs/isl16-devel @@ -0,0 +1 @@ +isl16 \ No newline at end of file diff --git a/srcpkgs/isl16/template b/srcpkgs/isl16/template new file mode 100644 index 0000000000..7a5d5115e1 --- /dev/null +++ b/srcpkgs/isl16/template @@ -0,0 +1,31 @@ +# Template file for 'isl16'. +pkgname=isl16 +version=0.16 +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=3899e68047d0a18db5a7d73bdabcbe9246865e73e86efbd95387817d342fd554 + +post_install() { + # Remove gdb python files. + rm -f ${DESTDIR}/usr/lib/*.py +} + +isl16-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" + } +}