diff options
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 29 |
1 files changed, 29 insertions, 0 deletions
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 +} |