From 59fadb03f046a52e48c3f01341c9357f46cae14c Mon Sep 17 00:00:00 2001
From: Mid Favila <midfavila@sdf.org>
Date: Wed, 20 Oct 2021 21:24:24 +0000
Subject: [PATCH] Updated libisl.

---
 core-mod/core/libisl/build~   | 11 -----------
 core-mod/core/libisl/sources~ |  1 -
 core-mod/core/libisl/version~ |  1 -
 3 files changed, 13 deletions(-)
 delete mode 100755 core-mod/core/libisl/build~
 delete mode 100644 core-mod/core/libisl/sources~
 delete mode 100644 core-mod/core/libisl/version~

diff --git a/core-mod/core/libisl/build~ b/core-mod/core/libisl/build~
deleted file mode 100755
index a86afce..0000000
--- a/core-mod/core/libisl/build~
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh -e
-
-#autoupdate
-
-#./autogen.sh
-
-./configure \
-   --prefix=/usr
-
-make
-make DESTDIR="$1" install
diff --git a/core-mod/core/libisl/sources~ b/core-mod/core/libisl/sources~
deleted file mode 100644
index 7d82070..0000000
--- a/core-mod/core/libisl/sources~
+++ /dev/null
@@ -1 +0,0 @@
-https://github.com/Meinsersbur/isl/archive/refs/tags/isl-0.24.tar.gz
diff --git a/core-mod/core/libisl/version~ b/core-mod/core/libisl/version~
deleted file mode 100644
index 2fb73a0..0000000
--- a/core-mod/core/libisl/version~
+++ /dev/null
@@ -1 +0,0 @@
-1 1