Feature/str2 rts

STR2RTS/.frama-c/GNUmakefile

@@ -7,17 +7,13 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-lib-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# STR2RTS valeur max DBUF_SIZEMAX et -eva_precision
-DBUF = 48
-EVAPRECISION = 3
-
 # Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
 ## Preprocessing flags (for -cpp-extra-args)
 CPPFLAGS    += \
-  -CC -DBUF_SIZEMAX=$(DBUF) -I ../src/
+  -CC -I ../src/
 
 ## General flags
 FCFLAGS     += \
@@ -27,11 +23,14 @@ FCFLAGS     += \
 
 ## Eva-specific flags
 EVAFLAGS    += \
-  -eva-warn-key builtins:missing-spec=abort -eva-precision $(EVAPRECISION)\
+  -eva-warn-key builtins:missing-spec=abort \
 
 ## GUI-only flags
 FCGUIFLAGS += \
 
+## common C files 
+COMMON_C = ../src/globals.c ../src/comm_shared_buffer.c
+
 ## Analysis targets (suffixed with .eva)
 TARGETS = \
   src_BeamFormer_beamformer_12c_4b.eva \
@@ -41,18 +40,25 @@ TARGETS = \
 
 ### Each target <t>.eva needs a rule <t>.parse with source files as prerequisites
 #### BeamFormer
+src_BeamFormer%.parse: CPPFLAGS += -DBUF_SIZEMAX=48
+src_BeamFormer%.eva: EVAFLAGS += -eva-precision 3
+
 src_BeamFormer_beamformer_12c_4b.parse: \
-  ../src/BeamFormer/BeamFormer_12c_4b.c ../src/globals.c ../src/comm_shared_buffer.c \
+  ../src/BeamFormer/BeamFormer_12c_4b.c $(COMMON_C) \
 
 src_BeamFormer_sdf_beamformer_nocache.parse: \
-  ../src/BeamFormer/SDF-BeamFormer_nocache.c ../src/globals.c ../src/comm_shared_buffer.c \
+  ../src/BeamFormer/SDF-BeamFormer_nocache.c $(COMMON_C) \
 
 #### Audiobeam
+src_Audiobeam%.parse: CPPFLAGS += -DBUF_SIZEMAX=30
+src_Audiobeam_audiobeam_15mics.eva: EVAFLAGS += -eva-precision 8
+src_Audiobeam_sdf_audiobeam_nocache.eva: EVAFLAGS += -eva-precision 7
+
 src_Audiobeam_audiobeam_15mics.parse: \
-  ../src/Audiobeam/Audiobeam_15mics.c ../src/globals.c ../src/comm_shared_buffer.c \
+  ../src/Audiobeam/Audiobeam_15mics.c $(COMMON_C) \
 
 src_Audiobeam_sdf_audiobeam_nocache.parse: \
-  ../src/Audiobeam/SDF-Audiobeam_nocache.c ../src/globals.c ../src/comm_shared_buffer.c \
+  ../src/Audiobeam/SDF-Audiobeam_nocache.c $(COMMON_C)\
 
 ### Epilogue. Do not modify this block. #######################################
 include $(shell $(FRAMAC)-config -print-lib-path)/analysis-scripts/epilogue.mk