mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2026-02-02 14:32:14 +01:00
29 lines
858 B
Plaintext
29 lines
858 B
Plaintext
# Contributor: Daniel Sabogal <dsabogalcc@gmail.com>
|
|
# Maintainer:
|
|
pkgname=spin
|
|
pkgver=6.5.0
|
|
_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="0beeb1faea93f806c37a4b76c2c407363990596134fc60b15c3f3a2d33ccf59680acd30e251c4f83fb725903aecb6238b166af7dbc9296a8a34259feabeeae24 spin-6.5.0.tar.gz"
|