blob: ff690d7ff568a03b7635524b7d6467d9e19b3423 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
# Maintainer: Azat Abdullin <abdullin@kspt.icc.spbstu.ru>
pkgname=stp-java
pkgver=2.3.3
pkgrel=2
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"
}
|