blob: eec769925d24df757f5409fa41fa1df02c6c3512 (
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
31
32
33
|
# Maintainer: Azat Abdullin <abdullin@kspt.icc.spbstu.ru>
pkgname=boolector-java
pkgver=3.2.6
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/vorpal-research/JavaBoolector/releases/download/3.2.6/boolector-java-3.2.6-sources.tar.gz")
sha256sums=('SKIP')
sha512sums=('SKIP')
build() {
cd "$srcdir/boolector-java-3.2.6"
make
}
package() {
cd "$srcdir/boolector-java-3.2.6"
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"
}
|