Adding nusmv binary build without zchaff

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
+}