diff --git a/share/analysis-scripts/template.mk b/share/analysis-scripts/template.mk index ce2c5e0eadce0afc59e1708c5b7ebfa47f74d594..8c85db2151c454fc319cb21fa14b821e3fc2c07c 100644 --- a/share/analysis-scripts/template.mk +++ b/share/analysis-scripts/template.mk @@ -7,7 +7,9 @@ # an optional include, unnecessary if frama-c is in the PATH. FRAMAC ?= frama-c # FRAMAC is defined in path.mk when it is included, but the # user can override it in the command-line. -FRAMAC_SHARE ?= $(shell $(FRAMAC)-config -print-share-path) +ifeq ($(FRAMAC_SHARE),) + FRAMAC_SHARE := $(shell $(FRAMAC)-config -print-share-path) +endif include $(FRAMAC_SHARE)/analysis-scripts/prologue.mk ############################################################################### @@ -39,5 +41,5 @@ main.parse: \ main.c \ ### Epilogue. Do not modify this block. ####################################### -include $(FRAMAC_SHARE)/analysis-scripts/prologue.mk +include $(FRAMAC_SHARE)/analysis-scripts/epilogue.mk ############################################################################### diff --git a/tests/fc_script/oracle/GNUmakefile b/tests/fc_script/oracle/GNUmakefile index d844ccc07014cd3aff951874076778321628b45a..7ea16dfa4466c6227e0eae0e9287b39576187f26 100644 --- a/tests/fc_script/oracle/GNUmakefile +++ b/tests/fc_script/oracle/GNUmakefile @@ -7,7 +7,9 @@ # an optional include, unnecessary if frama-c is in the PATH. FRAMAC ?= frama-c # FRAMAC is defined in path.mk when it is included, but the # user can override it in the command-line. -FRAMAC_SHARE ?= $(shell $(FRAMAC)-config -print-share-path) +ifeq ($(FRAMAC_SHARE),) + FRAMAC_SHARE := $(shell $(FRAMAC)-config -print-share-path) +endif include $(FRAMAC_SHARE)/analysis-scripts/prologue.mk ############################################################################### @@ -46,5 +48,5 @@ fc_script_main.parse: \ ../main3.c \ ### Epilogue. Do not modify this block. ####################################### -include $(FRAMAC_SHARE)/analysis-scripts/prologue.mk +include $(FRAMAC_SHARE)/analysis-scripts/epilogue.mk ###############################################################################