Search Criteria
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: | |
Submitter: | None |
Maintainer: | ASzc |
Last Packager: | ASzc |
Votes: | 6 |
Popularity: | 0.000002 |
First Submitted: | 2010-03-13 04:33 |
Last Updated: | 2019-05-15 16:01 |
Dependencies (7)
- libxml2 (libxml2-linenum, libxml2-git)
- cmake (cmake-git) (make)
- doxygen (doxygen-git) (make)
- ghostscript (make)
- python2 (make)
- texlive-latexextra (texlive-installer, texlive-full) (make)
- perl (perl-git) (optional) – for scripts in /usr/share/nusmv/contrib/
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
}