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.059902
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 Next › Last »

Graham42 commented on 2015-11-10 16:16

Thanks, works now

ASzc commented on 2015-11-06 18:20

Graham42: Added texlive-latexextra to makedepends

Graham42 commented on 2015-11-06 18:14

getting an error trying to install "! LaTeX Error: File `supertabular.sty' not found."

ASzc commented on 2014-10-01 18:38

BURS: Looks like ghostscript is used for building some of the documentation. I've added it to makedepends.

carljohnsen commented on 2014-10-01 07:17

An unlisted dependency is ghostscript, as i failed to build without it

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
}