Package Details: nusmv 2.6.0-4

Git Clone URL: https://aur.archlinux.org/nusmv.git (read-only)
Package Base: nusmv
Description: A new symbolic model checker
Upstream URL: http://nusmv.fbk.eu/index.html
Licenses: LGPL2.1
Submitter: None
Maintainer: ASzc
Last Packager: ASzc
Votes: 6
Popularity: 0.055159
First Submitted: 2010-03-13 04:33
Last Updated: 2019-05-15 16:01

Dependencies (7)

Required by (0)

Sources (3)

Latest Comments

« First ‹ Previous 1 2 3

scj7t4 commented on 2011-04-20 15:08

Current PKGBUILD:

# Maintainer: Marcelo Alaniz <malaniz@code4life.com.ar>
# Contributor: Marcelo Alaniz <malaniz@code4life.com.ar>

pkgname=nusmv
_pkgname=NuSMV
pkgver=2.5.2
cudver=2.4.1.1
pkgrel=1
pkgdesc="A new symbolic model checker"
arch=('i686' 'x86_64')
license=('LGPLv2.1')
url="http://nusmv.irst.itc.it/${_pkgname}/"
source=("http://nusmv.fbk.eu/distrib/NuSMV-${pkgver}.tar.gz")
md5sums=('70643f69569eb33b8a13977df2c17a14')

build() {
cd $srcdir/${_pkgname}-${pkgver}/cudd-${cudver}
if [ "$CARCH" == "x86_64" ]; then
mv Makefile Makefile_32bit
cp Makefile_64bit Makefile
fi
make
cd $srcdir/${_pkgname}-${pkgver}/nusmv
./configure --prefix=/usr
make
install -D -m755 $srcdir/${_pkgname}-${pkgver}/nusmv/NuSMV ${pkgdir}/usr/bin/nusmv
}