Initial commit.

2 files changed, 48 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..bf12ac0b623d
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,20 @@
+# Generated by mksrcinfo v8
+# Thu Aug 18 10:52:43 UTC 2016
+pkgbase = hets-commons
+	pkgdesc = Common files of Hets
+	pkgver = 0.99_1471209385
+	pkgrel = 1
+	url = http://hets.eu
+	arch = i686
+	arch = x86_64
+	license = custom:hets-license
+	makedepends = ghc>=7.8.4
+	makedepends = java-environment=7
+	depends = java-runtime>=7
+	provides = hets-commons
+	conflicts = hets-commons-bin
+	source = hets-commons::git+https://github.com/spechub/Hets.git#commit=9c020bf240dace07c6defccb1c8a42328ec454e0
+	sha256sums = SKIP
+
+pkgname = hets-commons
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100755
index 000000000000..8fbd0209a8ca
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,28 @@
+# Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de>
+
+pkgname=hets-commons
+pkgver=0.99_1471209385
+pkgrel=1
+
+pkgdesc="Common files of Hets"
+
+url="http://hets.eu"
+arch=('i686' 'x86_64')
+license=('custom:hets-license')
+depends=('java-runtime>=7')
+makedepends=('ghc>=7.8.4' 'java-environment=7')
+provides=('hets-commons')
+conflicts=('hets-commons-bin')
+_commit='9c020bf240dace07c6defccb1c8a42328ec454e0'
+source=("${pkgname}::git+https://github.com/spechub/Hets.git#commit=${_commit}")
+sha256sums=('SKIP')
+
+build() {
+  cd $srcdir/$pkgname
+  make jars
+}
+
+package() {
+  cd $srcdir/$pkgname
+  make install-common PREFIX="$pkgdir/usr"
+}