Package Details: nusmv 2.5.4-2

Package Base: nusmv
Description: A new symbolic model checker
Upstream URL: http://nusmv.irst.itc.it/NuSMV/
Category: devel
Licenses: LGPL2.1
Submitter: None
Maintainer: ASzc
Last Packager: ASzc
Votes: 4
First Submitted: 2010-03-13 04:33
Last Updated: 2014-10-01 18:37

Dependencies (3)

Required by (0)

Sources

Latest Comments

Comment by ASzc

2014-10-01 18:38

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

Comment by BURS

2014-10-01 07:17

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

Comment by ASzc

2013-12-02 23:11

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

Comment by dom0

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

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

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
}

Comment by TomBoshoven

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
}

Comment by scj7t4

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
}