diff --git a/main/isl/APKBUILD b/main/isl/APKBUILD deleted file mode 100644 index a71dde0d4ef45df4cb9f686010c474e75b57b062..0000000000000000000000000000000000000000 --- a/main/isl/APKBUILD +++ /dev/null @@ -1,50 +0,0 @@ -# Contributor: Timo Teräs <timo.teras@iki.fi> -# Maintainer: Timo Teräs <timo.teras@iki.fi> -pkgname=isl -pkgver=0.18 -pkgrel=1 -pkgdesc="An Integer Set Library for the Polyhedral Model" -url="http://isl.gforge.inria.fr/" -arch="all" -license="MIT" -depends_dev="gmp-dev" -makedepends_host="$depends_dev" -makedepends="$makedepends_host" -replaces="cloog" -subpackages="" -source="https://libisl.sourceforge.io/isl-$pkgver.tar.bz2" - -builddir="$srcdir"/$pkgname-$pkgver - -prepare() { - default_prepare - update_config_sub -} - -build() { - ./configure \ - --build=$CBUILD \ - --host=$CHOST \ - --prefix=/usr \ - --mandir=/usr/share/man \ - --infodir=/usr/share/info \ - --localstatedir=/var \ - --with-sysroot=${CBUILDROOT} - make -} - -check() { - make check -} - -package() { - make DESTDIR="$pkgdir" INSTALL="install -D" install - # isl-dev is provided by isl24 - rm -rf "$pkgdir"/usr/include \ - "$pkgdir"/usr/lib/pkgconfig \ - "$pkgdir"/usr/lib/*.a \ - "$pkgdir"/usr/lib/*.so \ - "$pkgdir"/usr/lib/*.py -} - -sha512sums="85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94 isl-0.18.tar.bz2"