diff options
| -rw-r--r-- | .SRCINFO | 7 | ||||
| -rw-r--r-- | PKGBUILD | 11 |
2 files changed, 13 insertions, 5 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Wed May 15 13:28:41 UTC 2019 +# Tue May 24 18:22:38 UTC 2022 pkgbase = nusmv pkgdesc = A new symbolic model checker pkgver = 2.6.0 - pkgrel = 3 + pkgrel = 4 url = http://nusmv.fbk.eu/index.html arch = i686 arch = x86_64 @@ -12,6 +12,9 @@ pkgbase = nusmv makedepends = python2 makedepends = ghostscript makedepends = texlive-latexextra + makedepends = doxygen + makedepends = flex + makedepends = bison depends = libxml2 optdepends = perl: for scripts in /usr/share/nusmv/contrib/ source = http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz @@ -5,13 +5,13 @@ pkgname=nusmv _pkgname=NuSMV pkgver=2.6.0 -pkgrel=3 +pkgrel=4 pkgdesc="A new symbolic model checker" arch=('i686' 'x86_64') url="http://nusmv.fbk.eu/index.html" license=('LGPL2.1') depends=('libxml2') -makedepends=('cmake' 'python2' 'ghostscript' 'texlive-latexextra') +makedepends=('cmake' 'python2' 'ghostscript' 'texlive-latexextra' 'doxygen' 'flex' 'bison') optdepends=('perl: for scripts in /usr/share/nusmv/contrib/') source=("http://nusmv.fbk.eu/distrib/${_pkgname}-${pkgver}.tar.gz" "cmake.patch" @@ -32,12 +32,17 @@ prepare() { # Fix "error: expected unqualified-id before user-defined string literal" sed 's/extern "C"void/extern "C" void/' MiniSat/MiniSat_v*.patch -i + + # Fix format-security "error: format not a string literal" + sed s'/fprintf(file, SIGREF_HEADER)/fprintf(file, "%s", SIGREF_HEADER)/' NuSMV/code/nusmv/addons_core/compass/sigref/sigrefWrite.c -i + sed s'/sprintf(preps_tmp, preps_fmt)/sprintf(preps_tmp, "%s", preps_fmt)/' NuSMV/code/nusmv/core/cinit/cinitData.c -i + sed s'/fprintf(self->fout, x)/fprintf(self->fout, "%s", x)/' NuSMV/code/nusmv/core/hrc/dumpers/*.h -i } build() { cd "$srcdir/$_pkgname-$pkgver/$_pkgname" - mkdir build + mkdir -p build cd build cmake .. -DPYTHON_EXECUTABLE=/bin/python2 -DCMAKE_INSTALL_PREFIX=/usr -Wno-dev make |