diff options
author | Tilmann Meyer | 2020-03-23 01:06:57 +0100 |
---|---|---|
committer | Tilmann Meyer | 2020-03-23 01:06:57 +0100 |
commit | b86177698e994ed44b27ed1acf864d031dfde955 (patch) | |
tree | c49e48c05bcf544712b09c0f24bfcd05ef160a43 | |
download | aur-xsb.tar.gz |
addpkg: xsb
-rw-r--r-- | .SRCINFO | 17 | ||||
-rw-r--r-- | PKGBUILD | 29 |
2 files changed, 46 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..e75e49b8d63a --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = xsb + pkgdesc = A Logic Programming and Deductive Database system for Unix and Windows. + pkgver = 3.8 + pkgrel = 1 + url = http://xsb.sourceforge.net/ + arch = x86_64 + license = GPL2 + depends = bash + depends = classpath + depends = curl + depends = pcre + options = !strip + source = http://xsb.sourceforge.net/downloads/XSB38.tar.gz + sha256sums = 7cbcc8a178bf386cf0a5c950d9e3977edcbc787fd02f5296f00084c45bbfc1fc + +pkgname = xsb + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..73058ec46220 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,29 @@ +# Maintainer: Tilmann Meyer tilmann.meyer@gmx.net + +pkgname=xsb +pkgver=3.8 +pkgrel=1 +pkgdesc='A Logic Programming and Deductive Database system for Unix and Windows.' +arch=(x86_64) +url='http://xsb.sourceforge.net/' +license=(GPL2) +depends=(bash classpath curl pcre) +makedepends=() +options=(!strip) +source=( + http://xsb.sourceforge.net/downloads/XSB${pkgver//./}.tar.gz +) +sha256sums=( + '7cbcc8a178bf386cf0a5c950d9e3977edcbc787fd02f5296f00084c45bbfc1fc' +) + +_srcdir=XSB/build + +package() { + cd $_srcdir + + ./configure --prefix="$pkgdir"/usr/share + ./makexsb + + ./makexsb install +} |