initial commit

2 files changed, 50 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..9eaa4f4ba1c2
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+# Generated by mksrcinfo v8
+# Wed Nov 22 12:04:58 UTC 2017
+pkgbase = prob
+	pkgdesc = ProB Animator and Model Checker
+	pkgver = 1.7.1
+	pkgrel = 1
+	url = http://eclipseclp.org/
+	arch = x86_64
+	license = EPL 1.0
+	depends = tk85
+	depends = tcl85
+	depends = java-runtime
+	source_x86_64 = http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz
+	md5sums_x86_64 = eb74b2991967f0a8ed8669c4186ac1fa
+
+pkgname = prob
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100755
index 000000000000..7d2abd0b951c
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,33 @@
+#srcdio Maintainer: DenBrahe <denbrahe at hotmail dot com>
+# Contributor(s): Michael Leuschel and others
+# Contributor(s): Formal Mind
+# Contributor(s): Heinrich-Heine-University
+
+_major_version='1.7'
+_minor_version='1'
+
+pkgname='prob'
+pkgver=${_major_version}.${_minor_version}
+pkgrel=1
+pkgdesc="ProB Animator and Model Checker"
+arch=('x86_64')
+url="http://eclipseclp.org/"
+license=('EPL 1.0')
+depends=('tk85'
+         'tcl85'
+         'java-runtime')
+
+source_x86_64=("http://www3.hhu.de/stups/downloads/prob/tcltk/releases/${_major_version}.${_minor_version}/ProB.linux64.tar.gz")
+md5sums_x86_64=('eb74b2991967f0a8ed8669c4186ac1fa')
+
+
+package() {
+  rm ${srcdir}/ProB.linux64.tar.gz
+
+  mkdir -p ${pkgdir}/opt/prob
+  cp -dR ${srcdir}/ProB/* ${pkgdir}/opt/prob/
+
+  mkdir -p "${pkgdir}/usr/bin"
+  ln -s "/opt/prob/prob" "${pkgdir}/usr/bin/prob"
+  ln -s "/opt/prob/probcli" "${pkgdir}/usr/bin/probcli"
+}