diff options
| author | Azat Abdullin | 2020-01-10 16:13:39 +0300 |
|---|---|---|
| committer | Azat Abdullin | 2020-01-10 16:13:39 +0300 |
| commit | f5a7547d1870aedd4c42202666d57e8f14c1b249 (patch) | |
| tree | 97103333d78349c5cb9deee13ba5eaf51c62b9f3 | |
| download | aur-f5a7547d1870aedd4c42202666d57e8f14c1b249.tar.gz | |
init
| -rw-r--r-- | .SRCINFO | 18 | ||||
| -rw-r--r-- | PKGBUILD | 33 |
2 files changed, 51 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..1b4c37b648ac --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +pkgbase = boolector-java + pkgdesc = Java bindings for the Boolector SMT solver + pkgver = 3.1.0 + pkgrel = 1 + url = http://boolector.github.io/ + arch = i686 + arch = x86_64 + license = MIT + makedepends = make + makedepends = git + makedepends = gcc + depends = boolector + source = https://github.com/AbdullinAM/JavaBoolector/releases/download/v3.1.0/boolector-java-3.1.0-sources.tar.gz + sha256sums = SKIP + sha512sums = SKIP + +pkgname = boolector-java + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..268b2d3bb4b1 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,33 @@ +# Maintainer: Azat Abdullin <abdullin@kspt.icc.spbstu.ru> + +pkgname=boolector-java +pkgver=3.1.0 +pkgrel=1 +pkgdesc="Java bindings for the Boolector SMT solver" +arch=('i686' 'x86_64') +url="http://boolector.github.io/" +license=('MIT') +depends=("boolector") +makedepends=("make" "git" "gcc") + +source=("https://github.com/AbdullinAM/JavaBoolector/releases/download/v3.1.0/boolector-java-3.1.0-sources.tar.gz") +sha256sums=('SKIP') +sha512sums=('SKIP') + +build() { + cd "$srcdir/boolector-java-3.1.0" + make +} + +package() { + cd "$srcdir/boolector-java-3.1.0" + + libdir="$pkgdir/usr/lib" + includedir="$pkgdir/usr/include/boolector-java" + + mkdir -p "$libdir" + mkdir -p "$includedir" + + install -m755 ./lib/*.so "$libdir" + install -m644 ./src/main/c/*.h "$includedir" +} |