diff options
author | malet | 2018-12-25 18:00:00 +0100 |
---|---|---|
committer | malet | 2018-12-25 18:00:00 +0100 |
commit | e6567a2a7002cd71ec312388276da766d272342c (patch) | |
tree | aa7c5ca66191a6f1b1b94cc5312a280c918fa0da | |
download | aur-e6567a2a7002cd71ec312388276da766d272342c.tar.gz |
Adding nusmv binary build without zchaff
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | PKGBUILD | 29 |
3 files changed, 44 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..89813d278527 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = nusmv-bin + pkgdesc = A new symbolic model checker + pkgver = 2.6.0 + pkgrel = 1 + url = http://nusmv.fbk.eu/index.html + arch = x86_64 + license = LGPL2.1 + provides = nusmv + conflicts = nusmv + source = nusmv-bin-2.6.0.tar.gz::http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-linux64.tar.gz + sha256sums = 11b12e42bc04566c4ec1f7cc205fa8704382ac4d69e052154cbb59c9b7e8e08c + +pkgname = nusmv-bin + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..6e92f57d4647 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +tags diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..66f054df0f2d --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,29 @@ +# Maintainer: malet +pkgname=nusmv-bin +_pkgname=NuSMV +pkgver=2.6.0 +pkgrel=1 +pkgdesc="A new symbolic model checker" +arch=('x86_64') +url="http://nusmv.fbk.eu/index.html" +license=('LGPL2.1') +provides=('nusmv') +conflicts=('nusmv') +source=(${pkgname}-${pkgver}.tar.gz::http://nusmv.fbk.eu/distrib/${_pkgname}-${pkgver}-linux64.tar.gz) +sha256sums=('11b12e42bc04566c4ec1f7cc205fa8704382ac4d69e052154cbb59c9b7e8e08c') + +package() { + cd ${_pkgname}-${pkgver}-Linux + + # Creating directories + install -dm755 $pkgdir/opt/nusmv + install -dm755 $pkgdir/usr/bin + + # Install binaries + install -Dm755 "${srcdir}/${_pkgname}-${pkgver}-Linux/bin/NuSMV" "${pkgdir}"/opt/nusmv/bin/NuSMV + install -Dm755 "${srcdir}/${_pkgname}-${pkgver}-Linux/bin/ltl2smv" "${pkgdir}"/opt/nusmv/bin/ltl2smv + # Copy dependencies + cp -r "${srcdir}/${_pkgname}-${pkgver}-Linux/"* "${pkgdir}"/opt/nusmv/ + ln -s /opt/nusmv/bin/NuSMV "${pkgdir}"/usr/bin/NuSMV + ln -s /opt/nusmv/bin/ltl2smv "${pkgdir}"/usr/bin/ltl2smv +} |