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

1 2 3 Next › Last »

Visne commented on 2023-12-01 23:24 (UTC)

This appears to conflict with yices

ASzc commented on 2022-06-08 12:33 (UTC)

Added davidf's contribution. Compiles without removing -Werror from CFLAGS now

davidf commented on 2022-06-08 12:09 (UTC)

oops, forgot to properly mark my comment.

Adding this small set of patches to PKGBUILD solves the compilation error without disabling format-security:

# Fix "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

davidf commented on 2022-06-08 12:05 (UTC)

Adding this small set of patches to PKGBUILD solves the compilation error without disabling format-security:

Fix "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

ASzc commented on 2022-05-24 20:26 (UTC)

Added the suggestions of jaap and trivicious. No package version bump as these are just for the build

trivicious commented on 2022-05-24 17:24 (UTC)

I needed to install flex and bison for compilation. Maybe these should be added to dependencies?

jaap commented on 2022-02-09 20:45 (UTC)

Could you add -p to mkdir? This makes the script more robust

heuwie commented on 2021-11-16 11:15 (UTC) (edited on 2021-11-16 11:16 (UTC) by heuwie)

I got the following build error:

NuSMV-2.6.0/NuSMV/code/nusmv/addons_core/compass/sigref/sigrefWrite.c: In function ‘compass_write_sigref_adds’:
NuSMV-2.6.0/NuSMV/code/nusmv/addons_core/compass/sigref/sigrefWrite.c:530:3: error: format not a string literal and no format arguments [-Werror=format-security]
  530 |   fprintf(file, SIGREF_HEADER);
      |   ^~~~~~~
cc1: some warnings being treated as errors

My dirty workaround was to temporarily remove "-Wformat -Werror=format-security" from the CFLAGS in /etc/makepkg.conf. Which worked for now, but I wanted to make people aware of this issue.

ASzc commented on 2019-05-15 16:00 (UTC)

Huh, thought it was in there, will add

thorsten commented on 2019-05-15 14:11 (UTC)

Thanks a lot! With the documentation fixed, I think one also should add doxygen to the makedepends.

1 2 3 Next › Last »