Libisl rename for rescan puporses

6 files changed, 120 insertions, 0 deletions

diff --git a/libisl b/libisl
deleted file mode 160000
-Subproject f2a5278ff8cbe94cc3dd18b8ada2f5ac1deb417
diff --git a/libisl-bin/.artixlinux/Jenkinsfile b/libisl-bin/.artixlinux/Jenkinsfile
new file mode 100644
index 0000000..d68bca2
--- /dev/null
+++ b/libisl-bin/.artixlinux/Jenkinsfile
@@ -0,0 +1,3 @@
+@Library('artix-ci@orion') import org.artixlinux.RepoPackage
+
+PackagePipeline(new RepoPackage(this))
diff --git a/libisl-bin/.artixlinux/pkgbase.yaml b/libisl-bin/.artixlinux/pkgbase.yaml
new file mode 100644
index 0000000..7434785
--- /dev/null
+++ b/libisl-bin/.artixlinux/pkgbase.yaml
@@ -0,0 +1,55 @@
+---
+pkgbase:
+  name: libisl
+  version: 0.27-1
+  arch:
+    - x86_64
+  pkgname:
+    - libisl
+actions:
+  addRepo: system
+  removeRepo: system-gremlins
+  triggersBuild: false
+  triggersRebuild: false
+  triggersRepoAdd: true
+  triggersRepoRemove: true
+  triggersNoCheck: false
+repos:
+  system-goblins:
+    version: null
+    packages: []
+  system-gremlins:
+    version: null
+    packages: []
+  system:
+    version: 0.27-1
+    packages:
+      - libisl-0.27-1-x86_64.pkg.tar.zst
+  world-goblins:
+    version: null
+    packages: []
+  world-gremlins:
+    version: null
+    packages: []
+  world:
+    version: null
+    packages: []
+  lib32-goblins:
+    version: null
+    packages: []
+  lib32-gremlins:
+    version: null
+    packages: []
+  lib32:
+    version: null
+    packages: []
+  galaxy-goblins:
+    version: null
+    packages: []
+  galaxy-gremlins:
+    version: null
+    packages: []
+  galaxy:
+    version: null
+    packages: []
+team: system
diff --git a/libisl-bin/.gitignore b/libisl-bin/.gitignore
new file mode 100644
index 0000000..e4912e4
--- /dev/null
+++ b/libisl-bin/.gitignore
@@ -0,0 +1,18 @@
+# ---> ArchLinuxPackages
+*.tar
+*.tar.*
+*.jar
+*.exe
+*.msi
+*.zip
+*.tgz
+*.log
+*.log.*
+*.sig
+
+pkg/
+src/
+
+*.service
+*.timer
+*.socket
diff --git a/libisl-bin/PKGBUILD b/libisl-bin/PKGBUILD
new file mode 100644
index 0000000..88b0e70
--- /dev/null
+++ b/libisl-bin/PKGBUILD
@@ -0,0 +1,42 @@
+# Maintainer: Frederik Schwan <freswa at archlinux dot org>
+# Contributor: Andrew Sun  <adsun701 at gmail dot com>
+# Contributor: Kritias     <theodoridisgr at gmail dot com>
+# Contributor: sudokode    <sudokode at gmail dot com>
+# Contributor: Allan McRae <allan at archlinux dot org>
+
+pkgname=libisl
+pkgver=0.27
+pkgrel=1
+pkgdesc='Library for manipulating sets and relations of integer points bounded by linear constraints'
+arch=('x86_64')
+url='https://libisl.sourceforge.io'
+license=('MIT')
+depends=('gmp')
+provides=('isl' 'libisl.so')
+replaces=('isl')
+options=(staticlibs)
+source=("https://libisl.sourceforge.io/isl-${pkgver}.tar.xz")
+b2sums=('88a68de0b7952eb0038d10aa450b0ab25da4f4aa49fcdf70700ec4131d2686a2a2e9a64e5cb8ac0a53ef5d7cff034e60c449b201ba88a24001ad33f0dd17c732')
+
+build() {
+  cd "${srcdir}"/${pkgname#lib}-${pkgver}
+  ./configure --prefix=/usr
+  make
+}
+
+check() {
+  cd "${srcdir}"/${pkgname#lib}-${pkgver}
+  make check || true
+}
+
+package() {
+  cd "${srcdir}"/${pkgname#lib}-${pkgver}
+
+  make DESTDIR="${pkgdir}" install
+
+  install -dm755 "${pkgdir}"/usr/share/gdb/auto-load/usr/lib/
+  mv "${pkgdir}"/usr/lib/libisl.so.*-gdb.py "${pkgdir}"/usr/share/gdb/auto-load/usr/lib/
+
+  install -Dm644 LICENSE "${pkgdir}"/usr/share/licenses/${pkgname}/LICENSE
+}
+sha512sums=('6d6f50c3f6f26e0d3f67586dee6427d87999c426c94069a6f3012ec3c9a41adeebd50f43b5d2705db6abc12e38eb01c19f55dba113c0799da5f667eef46b2be0')
diff --git a/libisl-bin/README.md b/libisl-bin/README.md
new file mode 100644
index 0000000..ad3269d
--- /dev/null
+++ b/libisl-bin/README.md
@@ -0,0 +1,2 @@
+# libisl
+