diff options
| author | Leo <thinkabit.ukim@gmail.com> | 2019-08-22 01:23:00 -0300 |
|---|---|---|
| committer | Leo <thinkabit.ukim@gmail.com> | 2019-08-22 18:58:18 -0300 |
| commit | 9ce001a2c382740e23fd1566c60271c5475ba566 (patch) | |
| tree | 7e5567a2811ff7b31d00c669ca8d0e504bdfd2b8 /testing/spin | |
| parent | ebd2661050a344d3b196b1d24576f727bfdcc1d3 (diff) | |
| download | aports-9ce001a2c382740e23fd1566c60271c5475ba566.tar.bz2 aports-9ce001a2c382740e23fd1566c60271c5475ba566.tar.xz | |
testing/spin: upgrade to 6.5.0
Diffstat (limited to 'testing/spin')
| -rw-r--r-- | testing/spin/APKBUILD | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testing/spin/APKBUILD b/testing/spin/APKBUILD index 80c97b1669..8b396d07b0 100644 --- a/testing/spin/APKBUILD +++ b/testing/spin/APKBUILD @@ -1,28 +1,28 @@ # Contributor: Daniel Sabogal <dsabogalcc@gmail.com> # Maintainer: pkgname=spin -pkgver=6.4.9 +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" +license="BSD-3-Clause" makedepends="bison" subpackages="$pkgname-doc" -source="http://spinroot.com/spin/Src/$pkgname$_pkgver.tar.gz" -builddir="$srcdir/Spin" +source="$pkgname-$pkgver.tar.gz::https://github.com/nimble-code/Spin/archive/version-$pkgver.tar.gz" +builddir="$srcdir/Spin-version-$pkgver/Src" build() { - make -C "$builddir/Src$pkgver" + 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 "Src$pkgver"/spin "$pkgdir"/usr/bin + install -m644 ../Man/spin.1 "$pkgdir"/usr/share/man/man1 + install -m755 spin "$pkgdir"/usr/bin } -sha512sums="f7f9c2dc7cc89518f5845da8bb9f08a8f49567847a36a683b815bc9a7baa8892a1850937c29a44d20a454f4357f7b717b83797959de7fa3f027ec7f7f0bfebc3 spin649.tar.gz" +sha512sums="0beeb1faea93f806c37a4b76c2c407363990596134fc60b15c3f3a2d33ccf59680acd30e251c4f83fb725903aecb6238b166af7dbc9296a8a34259feabeeae24 spin-6.5.0.tar.gz" |