From 91613f8f0bed4fa73bdfb99db0b31a34ec89fa73 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 27 Sep 2022 15:56:29 +0200
Subject: [PATCH] [wookey] finally can use loader.parse as initial target

---
 case_studies/wookey/loader/GNUmakefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/case_studies/wookey/loader/GNUmakefile b/case_studies/wookey/loader/GNUmakefile
index 6c56cff..8229162 100644
--- a/case_studies/wookey/loader/GNUmakefile
+++ b/case_studies/wookey/loader/GNUmakefile
@@ -90,11 +90,15 @@ IMPORT = -acsl-import $(IMPORT_FILE)
 
 parse: $(MAIN_TARGET).parse
 gen_prove: $(MAIN_TARGET).parse
-	$(FRAMAC) -load $^/framac.sav -then-last $(IMPORT) -then-last -wp $(WP_FLAGS)
+	$(FRAMAC) -load $^/framac.sav \
+          -then-on translation -set-project-as-default \
+          -then $(IMPORT) -then -wp $(WP_FLAGS)
 gen: $(OUT_FILE)
 
 $(OUT_FILE): $(MAIN_TARGET).parse
-	$(FRAMAC) -load $^/framac.sav -then-last $(IMPORT) -then-last -ocode $(OUT_FILE) -print
+	$(FRAMAC) -load $^/framac.sav \
+        -then-on translation -set-project-as-default \
+        -then $(IMPORT) -then -ocode $(OUT_FILE) -print
 
 wp: $(OUT_FILE)
 	$(FRAMAC) $(OUT_FILE) -wp $(WP_FLAGS)
-- 
GitLab