Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: nusmv 2.6.0-2

Git Clone URL: https://aur-dev.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.006293
First Submitted: 2010-03-13 04:33
Last Updated: 2016-03-02 19:33

Dependencies (6)

Required by (0)

Sources (1)

Latest Comments

« First ‹ Previous 1 2

ASzc commented on 2013-12-02 23:11

Adopted. Updated for 2.5.4 with a modern PKGBUILD and workaround for the -O2 bug.

dom0 commented on 2013-09-25 21:17

Ditto. With -O2 present compiling hangs with one cc1 process hogging the CPU. Without no problems at all...

Anonymous comment on 2013-09-16 15:44

The package fails to compile (at least for me) if build flag "-O2" is present in makepkg.conf.
Just temporarly remove it and the problem is gone ;)

Anonymous comment on 2012-01-04 13:45

#2.5.4 is out:

pkgname=nusmv
_pkgname=NuSMV
pkgver=2.5.4
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=('4d8ae6136fbd916d875cd48f82d5f327')

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
}

TomBoshoven commented on 2011-10-16 10:56

New one:

pkgname=nusmv
_pkgname=NuSMV
pkgver=2.5.3
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-2.5.3.tar.gz")
md5sums=('6ee245dc70140315aadbf5bade50bd52')

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
}

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
}