PKGBUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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
}