blob: 6981975560170e35c161fccfcd48515e993f9575 (
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
# Maintainer: Thomas Pointhuber <thomas.pointhuber@gmx.at>
pkgname=limboole
pkgver=1.2
pkgrel=1
pkgdesc="A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas."
arch=('i686' 'x86_64')
url="http://fmv.jku.at/limboole/"
license=('GPL3') # binary falls under the license from depqbf
groups=()
depends=()
makedepends=()
optdepends=()
provides=()
conflicts=()
replaces=()
backup=()
options=()
install=
changelog=
source=("http://fmv.jku.at/limboole/$pkgname$pkgver.tgz"
"http://fmv.jku.at/picosat/picosat-960.tar.gz"
"https://codeload.github.com/lonsing/depqbf/tar.gz/version-6.03")
noextract=()
sha256sums=('fc7ec6db5088da2846937e472668d283fba46ca8e840aaf6f13ea11619637cb6'
'edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817'
'9684bb1562bfe14559007401f52975554373546d3290a19618ee71d709bce76e')
build() {
# build picosat for static binding
rm -rf "picosat"
mv "picosat-960" "picosat"
cd "picosat"
./configure
make
# build depqbf
mv -n "../depqbf-version-6.03" "../depqbf"
cd "../depqbf"
./compile.sh
# build limboole
cd "../$pkgname$pkgver"
mkdir -p log
./configure.sh --picosat --depqbf
make
}
check() {
echo "Tests are currently broken, re-enable once they work."
# cd "$pkgname$pkgver"
# ./testlimboole
}
package() {
cd "$pkgname$pkgver"
install -d "$pkgdir/usr/bin"
cp limboole "$pkgdir/usr/bin/limboole"
}
|