blob: 99bb0933ab3a4a7f72fd261183183c53d5aec3ac (
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.5.1
_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-3-Clause"
makedepends="bison"
subpackages="$pkgname-doc"
source="$pkgname-$pkgver.tar.gz::https://github.com/nimble-code/Spin/archive/version-$pkgver.tar.gz"
builddir="$srcdir/Spin-version-$pkgver/Src"
build() {
make
}
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 spin "$pkgdir"/usr/bin
}
sha512sums="e852d4a5ba92d58350dc1624e6d204e918e31dd22ce4bf15275390d56a679fee29f0fb662de0a00f7c303b7287357c5a4c11a01ebd178712a9229aa830393a93 spin-6.5.1.tar.gz"
|
