[wookey] finally can use loader.parse as initial target

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)