diff options
| m--------- | libisl | 0 | ||||
| -rw-r--r-- | libisl-bin/.artixlinux/Jenkinsfile | 3 | ||||
| -rw-r--r-- | libisl-bin/.artixlinux/pkgbase.yaml | 55 | ||||
| -rw-r--r-- | libisl-bin/.gitignore | 18 | ||||
| -rw-r--r-- | libisl-bin/PKGBUILD | 42 | ||||
| -rw-r--r-- | libisl-bin/README.md | 2 |
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 + |