Package Details: nusmv 2.6.0-4

Git Clone URL: https://aur.archlinux.org/nusmv.git (read-only, click to copy)
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.000000
First Submitted: 2010-03-13 04:33 (UTC)
Last Updated: 2022-06-08 12:32 (UTC)

Dependencies (9)

Required by (0)

Sources (3)

Latest Comments

« First ‹ Previous 1 2 3

Graham42 commented on 2015-11-06 18:14 (UTC) (edited on 2015-11-06 18:14 (UTC) by Graham42)

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

ASzc commented on 2014-10-01 18:38 (UTC)

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 (UTC)

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

ASzc commented on 2013-12-02 23:11 (UTC)

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

dom0 commented on 2013-09-25 21:17 (UTC)

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

<deleted-account> commented on 2013-09-16 15:44 (UTC)

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 ;)

<deleted-account> commented on 2012-01-04 13:45 (UTC)

#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 (UTC)

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 (UTC)

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 }