diff options
-rw-r--r-- | PKGBUILD | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -32,6 +32,11 @@ 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() { |