blob: 9a667da4b960a3632ac128d04a4bb37be190e805 (
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
|
# Contributor: Daniel Sabogal <dsabogalcc@gmail.com>
# Maintainer:
pkgname=spin
pkgver=6.4.5
_pkgver=${pkgver//./}
pkgrel=0
pkgdesc="Tool for formal verification of distributed software systems"
url="http://spinroot.com/"
arch="x86 x86_64 ppc64le"
license="BSD"
depends=""
makedepends="bison"
subpackages="$pkgname-doc"
source="http://spinroot.com/spin/Src/$pkgname$_pkgver.tar.gz
makefile.patch"
builddir="$srcdir/Spin"
build() {
make -C "$builddir/Src$pkgver"
}
check() {
cd "$builddir"
./Src$pkgver/spin -V
}
package() {
cd "$builddir"
install -d "$pkgdir"/usr/share/man/man1
install -d "$pkgdir"/usr/bin
install -m644 Man/spin.1 "$pkgdir"/usr/share/man/man1
install -m755 "Src$pkgver"/spin "$pkgdir"/usr/bin
}
sha512sums="77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad spin645.tar.gz
de6e395714439e3e6e4d10dd25d9f3c2566ec7aa9ac58452a468a73c92690094f2df4c6e1a1425295a575e142764a33b7f86a2d2ea9788cfa23b84ff60bc43d6 makefile.patch"
|
