release

1 files changed, 30 insertions, 0 deletions

diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..a4d113e38eeb
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,30 @@
+# Maintainer: Azat Abdullin <abdullin@kspt.icc.spbstu.ru>
+
+pkgname=stp-java
+pkgver=2.3.3
+pkgrel=1
+pkgdesc="Java bindings for the STP SMT solver"
+arch=('i686' 'x86_64')
+url="http://stp.github.io/"
+license=('Apache 2.0')
+depends=("stp")
+makedepends=("make" "git" "gcc")
+
+source=("git+https://github.com/AbdullinAM/stp-java.git")
+sha256sums=('SKIP')
+sha512sums=('SKIP')
+
+build() {
+  cd "$srcdir/stp-java"
+  make
+}
+
+package() {
+  cd "$srcdir/stp-java"
+
+  libdir="$pkgdir/usr/lib"
+
+  mkdir -p "$libdir"
+
+  install -m755 ./build/libs/*.so "$libdir"
+}