Package Details: nusmv 2.7.1-1

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: MasWag
Last Packager: MasWag
Votes: 6
Popularity: 0.000000
First Submitted: 2010-03-13 04:33 (UTC)
Last Updated: 2026-01-05 05:25 (UTC)

Dependencies (7)

Required by (0)

Sources (1)

Latest Comments

1 2 3 Next › Last »

MasWag commented on 2025-06-26 11:21 (UTC) (edited on 2025-06-26 11:21 (UTC) by MasWag)

The compilation fails likely due to some changes in GCC. The following fixes this issue.

sed '/NULL/ s/(void (\*)()) NULL/(void (*)(void *)) NULL/;' code/nusmv/core/dag/dagManager.c -i
sed 's/(DdManager\*, DD_AOP, DdNode\*, DdNode\*)/()/;' code/nusmv/core/dd/dd.c -i
sed '/Cudd_addAbstract/ s/(CUDD_VALUE_TYPE)/()/;' code/nusmv/core/dd/dd.c -i
sed '/avl_free_table/ s/(void (\*)())/(void (*)(char *))/g;' code/nusmv/shell/cmd/cmd.c -i
sed '/cuddCacheLookup2/ s/(DdNode \* (\*)())/(DD_CTFP)/;' subprojects/packagefiles/cudd-2.4.1+0001-nusmv.patch -i
sed '/cuddCacheInsert2/ s/(DdNode \* (\*)())/(DD_CTFP)/;' subprojects/packagefiles/cudd-2.4.1+0001-nusmv.patch -i

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

1 2 3 Next › Last »