From bb038280d2b5e12916d14587fd5e82455b456698 Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Wed, 27 May 2020 11:35:02 -0400
Subject: Darwin pass 2

---
 isl/build.sh | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 isl/build.sh

(limited to 'isl')

diff --git a/isl/build.sh b/isl/build.sh
new file mode 100644
index 0000000..86f843b
--- /dev/null
+++ b/isl/build.sh
@@ -0,0 +1,32 @@
+#!/bin/bash
+name=isl
+version=0.18
+revision=0
+sources=(
+    "https://gcc.gnu.org/pub/gcc/infrastructure/${name}-${version}.tar.bz2"
+)
+build_depends=(
+    "bzip2"
+)
+depends=(
+    "gmp"
+    "mpfr"
+)
+
+function prepare() {
+    tar xf ${name}-${version}.tar.bz2
+    cd ${name}-${version}
+
+    if [[ $(uname -s) == Darwin ]]; then
+        LDFLAGS="-L${_runtime}/lib"
+    fi
+}
+
+function build() {
+    ./configure --prefix=${_prefix}
+    make -j${_maxjobs}
+}
+
+function package() {
+    make install DESTDIR="${_pkgdir}"
+}
-- 
cgit