From df451003dc03fa8cfe02d057dc806908bd1dbefb Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 28 Sep 2022 18:22:31 +0200
Subject: [PATCH] [wookey] do not launch -meta twice. only loader.parse is
 concerned.

---
 case_studies/wookey/loader/GNUmakefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/case_studies/wookey/loader/GNUmakefile b/case_studies/wookey/loader/GNUmakefile
index 2e625fe..5f0270a 100644
--- a/case_studies/wookey/loader/GNUmakefile
+++ b/case_studies/wookey/loader/GNUmakefile
@@ -87,8 +87,6 @@ META_FLAGS= #-meta-keep-proof-files
 
 IMPORT_FILE = spec-annots.acsl
 ALL_FILES = $(filter-out $(EXCLUDE), $(wildcard $(SRCS)))
-FRAMAC_EXEC := frama-c
-FRAMAC = $(FRAMAC_EXEC) $(FCFLAGS)
 META = -meta $(META_FLAGS)
 IMPORT = -acsl-import $(IMPORT_FILE)
 
-- 
GitLab