From b1eb50599e4db7eb4501af75cbbfa22007081ea5 Mon Sep 17 00:00:00 2001
From: "A. Wilcox" <AWilcox@Wilcox-Tech.com>
Date: Thu, 14 Jun 2018 02:22:19 -0500
Subject: The New Plan

all pkgs needed to bootstrap -> system
others -> user
---
 system/isl/APKBUILD | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100644 system/isl/APKBUILD

(limited to 'system/isl')

diff --git a/system/isl/APKBUILD b/system/isl/APKBUILD
new file mode 100644
index 000000000..9e6957b85
--- /dev/null
+++ b/system/isl/APKBUILD
@@ -0,0 +1,52 @@
+# Contributor: Timo Teräs <timo.teras@iki.fi>
+# Maintainer: Timo Teräs <timo.teras@iki.fi>
+pkgname=isl
+pkgver=0.18
+pkgrel=0
+pkgdesc="An Integer Set Library for the Polyhedral Model"
+url="http://isl.gforge.inria.fr/"
+arch="all"
+license="MIT"
+depends=""
+depends_dev="gmp-dev"
+makedepends_host="$depends_dev"
+makedepends="$makedepends_host"
+replaces="cloog"
+install=""
+subpackages="$pkgname-dev"
+source="http://isl.gforge.inria.fr/isl-$pkgver.tar.bz2"
+
+builddir="$srcdir"/$pkgname-$pkgver
+
+build() {
+	cd "$builddir"
+	./configure \
+		--build=$CBUILD \
+		--host=$CHOST \
+		--prefix=/usr \
+		--mandir=/usr/share/man \
+		--infodir=/usr/share/info \
+		--localstatedir=/var \
+		--with-sysroot=${CBUILDROOT}
+	make
+}
+
+check() {
+	cd "$builddir"
+	make check
+}
+
+package() {
+	cd "$builddir"
+	make DESTDIR="$pkgdir" INSTALL="install -D" install
+}
+
+dev() {
+	default_dev
+	replaces="cloog-dev"
+	mkdir -p "$subpkgdir"/usr/share/gdb/python/auto-load/usr/lib
+	mv "$pkgdir"/usr/lib/*-gdb.py \
+		"$subpkgdir"/usr/share/gdb/python/auto-load/usr/lib/
+}
+
+sha512sums="85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94  isl-0.18.tar.bz2"
-- 
cgit v1.2.3-70-g09d2