aboutsummaryrefslogblamecommitdiffstats
path: root/testing/spin/APKBUILD
blob: 8b396d07b0f8e49619be456cc6abbb06c9b3a91c (plain) (tree)
1
2
3
4
5
6
7
8
9


                                                    
            


                                                                      
                               
                          
                         
                      

                          

                                                                                                    

         
            

 
           

                                               

                                                                

 
                                                                                                                                                                
# 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"