+isl

Closes #253

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