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
34
35
36
37
38
39
40
41
42
43
44
45
46

# Maintainer: Marat Akhin <Marat.Akhin@gmail.com>
# Comaintainer: Azat Abdullin <abdullin@kspt.icc.spbstu.ru>

pkgname=boolector
pkgver=3.2.2
pkgrel=2
pkgdesc="Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays."
arch=('i686' 'x86_64')
url="http://boolector.github.io/"
license=('MIT')
makedepends=("make" "cmake" "git")
conflicts=("boolector-git")

source=("https://github.com/Boolector/boolector/archive/3.2.2.tar.gz")
sha256sums=('SKIP')
sha512sums=('SKIP')

build() {
  cd "$srcdir/boolector-3.2.2"

  # Setup lingeling
  ./contrib/setup-lingeling.sh

  # Setup btor2tools
  CFLAGS="" ./contrib/setup-btor2tools.sh

  # Build Boolector
  ./configure.sh --shared
  cd build
  make
}

package() {
  mkdir -p "$pkgdir/usr/bin/"
  mkdir -p "$pkgdir/usr/lib/"
  mkdir -p "$pkgdir/usr/include/boolector"

  cd "$srcdir/boolector-3.2.2/src"
  find . -name "*.h" -exec install -D -m644 {} "$pkgdir/usr/include/boolector/{}" \;

  cd "$srcdir/boolector-3.2.2"
  find . -name "*boolector*.so" -exec install -m755 {} "$pkgdir/usr/lib/" \;

  cd "$srcdir/boolector-3.2.2/build/bin"
  find . -name "b*"  -exec install -D -m755 {} "$pkgdir/usr/bin/{}" \;
}