[analysis-scripts] refactor template to reuse FRAMAC_SHARE

share/analysis-scripts/prologue.mk

@@ -31,11 +31,6 @@ makefile_dir := $(dir $(lastword $(MAKEFILE_LIST)))
 # Improves analysis time, at the cost of extra memory usage
 export FRAMA_C_MEMORY_FOOTPRINT = 8
 
-# FRAMAC is defined in path.mk when it is included, so the
-# line below will be safely ignored if this is the case.
-# Otherwise, the user may supply it to indicate which Frama-C binary to use.
-FRAMAC ?= frama-c
-
 # analysis.mk contains the main rules and targets
 include $(makefile_dir)/analysis.mk
 

share/analysis-scripts/template.mk

@@ -7,7 +7,8 @@
                  # 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.
-include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
+FRAMAC_SHARE ?= $(shell $(FRAMAC)-config -print-share-path)
+include $(FRAMAC_SHARE)/analysis-scripts/prologue.mk
 ###############################################################################
 
 # Edit below as needed. Suggested flags are optional.
@@ -38,5 +39,5 @@ main.parse: \
   main.c \
 
 ### Epilogue. Do not modify this block. #######################################
-include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/epilogue.mk
+include $(FRAMAC_SHARE)/analysis-scripts/prologue.mk
 ###############################################################################

tests/fc_script/oracle/GNUmakefile

@@ -7,7 +7,8 @@
                  # 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.
-include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
+FRAMAC_SHARE ?= $(shell $(FRAMAC)-config -print-share-path)
+include $(FRAMAC_SHARE)/analysis-scripts/prologue.mk
 ###############################################################################
 
 # Edit below as needed. Suggested flags are optional.
@@ -45,5 +46,5 @@ fc_script_main.parse: \
   ../main3.c \
 
 ### Epilogue. Do not modify this block. #######################################
-include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/epilogue.mk
+include $(FRAMAC_SHARE)/analysis-scripts/prologue.mk
 ###############################################################################