nusmv/PKGBUILD

   1 # Maintainer: Marcelo Alaniz <malaniz@code4life.com.ar>
   2 # Contributor: Marcelo Alaniz <malaniz@code4life.com.ar>
   3
   4 pkgname=nusmv
   5 _pkgname=NuSMV
   6 pkgver=2.4.3
   7 cudver=2.4.1.0
   8 pkgrel=1
   9 pkgdesc="A new symbolic model checker"
  10 arch=('i686' 'x86_64')
  11 license=('LGPLv2.1')
  12 url="http://nusmv.irst.itc.it/${_pkgname}/"
  13 source=("http://nusmv.fbk.eu/distrib/NuSMV-2.4.3.tar.gz")
  14 md5sums=('f9fb88139b388c6ba8d31b0ad1ce5254')
  15
  16 build() {
  17     cd $srcdir/${_pkgname}-${pkgver}/cudd-${cudver}
  18     if [ "$CARCH" == "x86_64" ]; then
  19       mv Makefile Makefile_32bit
  20       cp Makefile_64bit Makefile
  21     fi
  22     make
  23     cd $srcdir/${_pkgname}-${pkgver}/nusmv
  24     ./configure --prefix=/usr
  25     make
  26     install -D -m755  $srcdir/${_pkgname}-${pkgver}/nusmv/NuSMV ${pkgdir}/usr/bin/nusmv
  27 }
  28