PKGBUILD


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"
}