From eb018249355ec06500f2a4baefb1940f442e276c Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 26 Sep 2022 18:52:27 +0200
Subject: [PATCH] [wookey] use path.mk for optional wp options and add gui
 target

---
 case_studies/wookey/loader/GNUmakefile | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/case_studies/wookey/loader/GNUmakefile b/case_studies/wookey/loader/GNUmakefile
index 25d3028..b68f3fc 100644
--- a/case_studies/wookey/loader/GNUmakefile
+++ b/case_studies/wookey/loader/GNUmakefile
@@ -72,9 +72,10 @@ all: $(TARGETS)
 # 'frama-c-script list-files' can help obtain it
 $(MAIN_TARGET).parse: $(SRCS)
 
-CORES := 1
-WP_CUSTOM :=
-WP_FLAGS= -wp-par $(CORES) -wp-timeout 20 -wp-no-warn-memory-model $(WP_CUSTOM)
+# use path.mk if you want to change the default here
+CORES ?= 1
+WP_CUSTOM ?=
+WP_FLAGS= -wp-par $(CORES) -wp-timeout 20 -wp-no-warn-memory-model -wp-cache update $(WP_CUSTOM)
 
 META_FLAGS= #-meta-keep-proof-files
 OUT_FILE= gen.c
@@ -98,6 +99,9 @@ $(OUT_FILE): $(MAIN_TARGET).parse
 wp: $(OUT_FILE)
 	$(FRAMAC) $(OUT_FILE) -wp $(WP_FLAGS)
 
+prove_gui: $(OUT_FILE)
+	$(FRAMAC_EXEC)-gui $(OUT_FILE) -wp $(WP_FLAGS)
+
 clean::
 	rm -f $(OUT_FILE)
 	rm -rf .frama-c
-- 
GitLab