summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorfrederik2019-10-31 15:05:12 +0100
committerfrederik2019-10-31 15:05:12 +0100
commit8f1eb570b8957495e43720b8285490fac8531531 (patch)
treeb919dc7b613e241dbaa83db67d7d0abb4156f5e4
parent92ab26efd47462c44ff9c3f09b7c7461108453ba (diff)
downloadaur-8f1eb570b8957495e43720b8285490fac8531531.tar.gz
spin: PKGBUILD review by svenstaro
-rw-r--r--.SRCINFO1
-rw-r--r--PKGBUILD19
2 files changed, 9 insertions, 11 deletions
diff --git a/.SRCINFO b/.SRCINFO
index f0e1c44a6f84..b49125389ba2 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -9,7 +9,6 @@ pkgbase = spin
depends = glibc
optdepends = tcl: ispin graphical interface
optdepends = swarm: improved performance on large verification problems
- optdepends = modex: extract verification models from implementation C code
optdepends = ispin: GUI for Spin
source = https://github.com/nimble-code/Spin/archive/version-6.5.0.tar.gz
sha512sums = 0beeb1faea93f806c37a4b76c2c407363990596134fc60b15c3f3a2d33ccf59680acd30e251c4f83fb725903aecb6238b166af7dbc9296a8a34259feabeeae24
diff --git a/PKGBUILD b/PKGBUILD
index 81601d90f9ad..907216bd62d6 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -14,27 +14,26 @@ license=('custom:BSD3')
depends=('glibc')
optdepends=('tcl: ispin graphical interface'
'swarm: improved performance on large verification problems'
- 'modex: extract verification models from implementation C code'
'ispin: GUI for Spin')
source=(https://github.com/nimble-code/Spin/archive/version-${pkgver}.tar.gz)
sha512sums=('0beeb1faea93f806c37a4b76c2c407363990596134fc60b15c3f3a2d33ccf59680acd30e251c4f83fb725903aecb6238b166af7dbc9296a8a34259feabeeae24')
build() {
- cd "${srcdir}/Spin-version-${pkgver}/Src"
+ cd Spin-version-${pkgver}/Src
make
}
package() {
- cd "${srcdir}/Spin-version-${pkgver}/Src"
# install binary and license file
- install -Dm755 spin "${pkgdir}/usr/bin/spin"
- install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.txt"
+ cd Spin-version-${pkgver}/Src
+ install -Dm755 spin "${pkgdir}"/usr/bin/spin
+ install -Dm644 LICENSE "${pkgdir}"/usr/share/licenses/${pkgname}/LICENSE.txt
- cd "${srcdir}/Spin-version-${pkgver}"
# install manpage and docs
- install -d "${pkgdir}/usr/share/man/man1/"
- install -d "${pkgdir}/usr/share/doc/${pkgname}/examples"
+ cd "${srcdir}"/Spin-version-${pkgver}
+ install -dm755 "${pkgdir}"/usr/share/man/man1/
+ install -dm755 "${pkgdir}"/usr/share/doc/${pkgname}/examples
- gzip -9c Man/spin.1 > "${pkgdir}/usr/share/man/man1/spin.1.gz"
- cp -a Examples/* "${pkgdir}/usr/share/doc/${pkgname}/examples/"
+ install -Dm644 Man/spin.1 "${pkgdir}"/usr/share/man/man1/spin.1.gz
+ cp -a Examples/* "${pkgdir}"/usr/share/doc/${pkgname}/examples/
}