Fix format-security error, thanks to davidf

1 files changed, 5 insertions, 0 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 74a01e526725..da3b1632d713 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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() {