From d66af0823ea410564279215c5cb4daba0341b471 Mon Sep 17 00:00:00 2001
From: Max Howell <mxcl@me.com>
Date: Tue, 11 Apr 2023 16:59:41 -0400
Subject: [PATCH] +isl

Closes #253
---
 projects/libisl.sourceforge.io/package.yml | 36 ++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 projects/libisl.sourceforge.io/package.yml

diff --git a/projects/libisl.sourceforge.io/package.yml b/projects/libisl.sourceforge.io/package.yml
new file mode 100644
index 00000000..9610b3a6
--- /dev/null
+++ b/projects/libisl.sourceforge.io/package.yml
@@ -0,0 +1,36 @@
+distributable:
+  url: https://libisl.sourceforge.io/isl-{{version.raw}}.tar.xz
+  strip-components: 1
+
+versions:
+  - 0.26
+
+dependencies:
+  gnu.org/gmp: ^6
+
+build:
+  dependencies:
+    tea.xyz/gx/cc: c99
+    tea.xyz/gx/make: '*'
+  script: |
+    ./configure $ARGS
+    make --jobs {{ hw.concurrency }} install
+  env:
+    ARGS:
+      - --prefix="{{prefix}}"
+      - --with-gmp=system",
+
+test:
+  dependencies:
+    tea.xyz/gx/cc: c99
+  fixture: |
+    #include <isl/ctx.h>
+    int main() {
+      isl_ctx* ctx = isl_ctx_alloc();
+      isl_ctx_free(ctx);
+      return 0;
+    }
+  script: |
+    mv $FIXTURE b.c
+    cc b.c -lisl
+    ./a.out