summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authormalet2018-12-25 18:00:00 +0100
committermalet2018-12-25 18:00:00 +0100
commite6567a2a7002cd71ec312388276da766d272342c (patch)
treeaa7c5ca66191a6f1b1b94cc5312a280c918fa0da
downloadaur-e6567a2a7002cd71ec312388276da766d272342c.tar.gz
Adding nusmv binary build without zchaff
-rw-r--r--.SRCINFO14
-rw-r--r--.gitignore1
-rw-r--r--PKGBUILD29
3 files changed, 44 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..89813d27852
--- /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 00000000000..6e92f57d464
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+tags
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..66f054df0f2
--- /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
+}