Feature/str2 rts

STR2RTS/.frama-c/GNUmakefile

@@ -36,6 +36,8 @@ FCGUIFLAGS += \
 TARGETS = \
   src_BeamFormer_beamformer_12c_4b.eva \
   src_BeamFormer_sdf_beamformer_nocache.eva \
+  src_Audiobeam_audiobeam_15mics.eva \
+  src_Audiobeam_sdf_audiobeam_nocache.eva \
 
 ### Each target <t>.eva needs a rule <t>.parse with source files as prerequisites
 #### BeamFormer
@@ -45,6 +47,13 @@ src_BeamFormer_beamformer_12c_4b.parse: \
 src_BeamFormer_sdf_beamformer_nocache.parse: \
   ../src/BeamFormer/SDF-BeamFormer_nocache.c ../src/globals.c ../src/comm_shared_buffer.c \
 
+#### Audiobeam
+src_Audiobeam_audiobeam_15mics.parse: \
+  ../src/Audiobeam/Audiobeam_15mics.c ../src/globals.c ../src/comm_shared_buffer.c \
+
+src_Audiobeam_sdf_audiobeam_nocache.parse: \
+  ../src/Audiobeam/SDF-Audiobeam_nocache.c ../src/globals.c ../src/comm_shared_buffer.c \
+
 ### Epilogue. Do not modify this block. #######################################
 include $(shell $(FRAMAC)-config -print-lib-path)/analysis-scripts/epilogue.mk
 ###############################################################################