blob: 77ee318c6df89bfa963ae5e91b0f76bdb7459f69 (
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
61
62
63
64
|
# Maintainer: Jiri Pospisil <jiri@jpospisil.com>
# Contributor: Python Shell <pythonshell@yeah.net>
pkgname=cbmc
pkgver=6.1.0
pkgrel=1
pkgdesc='C Bounded Model Checker'
arch=('x86_64')
url='https://diffblue.github.io'
license=('custom:4-clause BSD license')
makedepends=('git')
changelog=CHANGELOG
_minisatver=2.2.1
source=(
"https://github.com/diffblue/cbmc/archive/refs/tags/cbmc-$pkgver.tar.gz"
"https://ftp.debian.org/debian/pool/main/m/minisat2/minisat2_$_minisatver.orig.tar.gz")
b2sums=('768b71d1def258d8711de713d7b695b0215dc66f8a33422b93e5e977b226ae42240b818e38918c3987f0684412fe99bd3f7f5dc2432fd3ddadb0d77d8ba0e02a'
'de9bded4bd8a17ec157af486c0572d47429cd0f59bdd57e1238d3c031d7406dc4e305e5e7368898c991e0184ed845bae21717f10a8ba36ea6b60aac0fb84dc71')
prepare() {
mv "minisat2-$_minisatver" "minisat-$_minisatver"
mv "minisat-$_minisatver" "$srcdir/cbmc-cbmc-$pkgver"
cd "$srcdir/cbmc-cbmc-$pkgver/minisat-$_minisatver"
patch -p1 < "../scripts/minisat-$_minisatver-patch"
}
build() {
make -C "$srcdir/cbmc-cbmc-$pkgver/src"
}
package() {
cd "$srcdir/cbmc-cbmc-$pkgver"
local -a binaries=(
cbmc/cbmc
cprover/cprover
crangler/crangler
goto-analyzer/goto-analyzer
goto-cc/goto-cc
goto-diff/goto-diff
goto-harness/goto-harness
goto-inspect/goto-inspect
goto-instrument/goto-instrument
goto-synthesizer/goto-synthesizer
memory-analyzer/memory-analyzer
solvers/smt2_solver
symtab2gb/symtab2gb
)
for binary in "${binaries[@]}"; do
install -Dm755 -t "$pkgdir/usr/bin" "src/$binary"
local manpage="doc/man/${binary##*/}.1"
[[ -e "$manpage" ]] && install -Dm644 -t "$pkgdir/usr/share/man/man1" $manpage
done
ln -s "goto-cc" "$pkgdir/usr/bin/goto-gcc"
ln -s "goto-cc" "$pkgdir/usr/bin/goto-ld"
ln -s "goto-cc.1.gz" "$pkgdir/usr/share/man/man1/goto-gcc.1.gz"
ln -s "goto-cc.1.gz" "$pkgdir/usr/share/man/man1/goto-ld.1.gz"
install -Dm644 -t "$pkgdir/usr/share/licenses/$pkgname" "LICENSE"
}
|