[Analysis-scripts] add mandatory MACHDEP to Makefile template

share/analysis-scripts/frama-c.mk

@@ -31,6 +31,7 @@
 # FRAMAC        the frama-c binary
 # FRAMAC_GUI    the frama-c gui binary
 # CPPFLAGS      preprocessing flags
+# MACHDEP       machdep to use with frama-c
 # FCFLAGS       general flags to use with frama-c
 # FCGUIFLAGS    flags to use with frama-c-gui
 # EVAFLAGS      flags to use with the Eva plugin
@@ -161,7 +162,7 @@ SHELL        := /bin/bash
 	@#
 
 %.parse: SOURCES = $(filter-out %/command,$^)
-%.parse: PARSE = $(FRAMAC) $(FCFLAGS) -cpp-extra-args="$(CPPFLAGS)" $(SOURCES)
+%.parse: PARSE = $(FRAMAC) $(FCFLAGS) -machdep $(MACHDEP) -cpp-extra-args="$(CPPFLAGS)" $(SOURCES)
 %.parse: $$(if $$^,,.IMPOSSIBLE) $$(shell $(DIR)cmd-dep.sh $$@/command $$(PARSE))
 	@$(call display_command,$(PARSE))
 	mkdir -p $@

share/analysis-scripts/template.mk

@@ -11,6 +11,8 @@ include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/eva-prefix.
 
 # Edit below as needed. Suggested flags are optional.
 
+MACHDEP = x86_32
+
 ## Preprocessing flags (for -cpp-extra-args)
 CPPFLAGS    +=