[analysis-scripts] fix template when stub for 'main' is generated

share/analysis-scripts/make_template.py

@@ -178,6 +178,7 @@ with open(sharedir / "analysis-scripts" / "template.mk") as f:
         check_path_exists("fc_stubs.c")
         from shutil import copyfile
         copyfile(sharedir / "analysis-scripts" / "fc_stubs.c", "fc_stubs.c")
+        lines = insert_line_after(lines, "^FCFLAGS", "  -main eva_main \\\n")
         print("Created stub for main function: fc_stubs.c")
 
 gnumakefile.write_text("".join(lines))

tests/fc_script/oracle/GNUmakefile

@@ -29,6 +29,7 @@ CPPFLAGS    +=
 
 # (Optional) Frama-C general flags (parsing and kernel)
 FCFLAGS     += \
+  -main eva_main \
   -machdep x86_64 \
   -json-compilation-database . \
   -kernel-warn-key annot:missing-spec=abort \