summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorTilmann Meyer2020-03-23 01:06:57 +0100
committerTilmann Meyer2020-03-23 01:06:57 +0100
commitb86177698e994ed44b27ed1acf864d031dfde955 (patch)
treec49e48c05bcf544712b09c0f24bfcd05ef160a43
downloadaur-xsb.tar.gz
addpkg: xsb
-rw-r--r--.SRCINFO17
-rw-r--r--PKGBUILD29
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
+}