blob: 80c97b166977d11ea37fd2d1b8e4b153d1a67c25 (
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
|
# Contributor: Daniel Sabogal <dsabogalcc@gmail.com>
# Maintainer:
pkgname=spin
pkgver=6.4.9
_pkgver=${pkgver//./}
pkgrel=0
pkgdesc="Tool for formal verification of distributed software systems"
options="!check" # No testsuite
url="http://spinroot.com/"
arch="x86 x86_64 ppc64le"
license="BSD"
makedepends="bison"
subpackages="$pkgname-doc"
source="http://spinroot.com/spin/Src/$pkgname$_pkgver.tar.gz"
builddir="$srcdir/Spin"
build() {
make -C "$builddir/Src$pkgver"
}
package() {
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="f7f9c2dc7cc89518f5845da8bb9f08a8f49567847a36a683b815bc9a7baa8892a1850937c29a44d20a454f4357f7b717b83797959de7fa3f027ec7f7f0bfebc3 spin649.tar.gz"
|
