[wookey] do not launch -meta twice. only loader.parse is concerned.

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)