From 41a59204e44eb27da45bdd9e300b73b3b7babc43 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 14 Nov 2019 14:21:55 +0100
Subject: [PATCH] [analysis-scripts] fix template when stub for 'main' is
generated
---
share/analysis-scripts/make_template.py | 1 +
tests/fc_script/oracle/GNUmakefile | 1 +
2 files changed, 2 insertions(+)
diff --git a/share/analysis-scripts/make_template.py b/share/analysis-scripts/make_template.py
index 94a6a8fe3ca..0ea20ab0682 100755
--- a/share/analysis-scripts/make_template.py
+++ b/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))
diff --git a/tests/fc_script/oracle/GNUmakefile b/tests/fc_script/oracle/GNUmakefile
index 32e5f33f164..c7f456e4db8 100644
--- a/tests/fc_script/oracle/GNUmakefile
+++ b/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 \
--
GitLab