diff --git a/share/analysis-scripts/frama-c.mk b/share/analysis-scripts/frama-c.mk
index b427e63aef0dcf4fe43462cc1ce061c469d05b1a..32e09ef13655f8c808806453afe0a4206d9784f6 100644
--- a/share/analysis-scripts/frama-c.mk
+++ b/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 $@
diff --git a/share/analysis-scripts/template.mk b/share/analysis-scripts/template.mk
index 268cfddb776a706d554030962794d186ae0777bb..650d75de6a566fdede5637e9467c672e5d39ffe2 100644
--- a/share/analysis-scripts/template.mk
+++ b/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    +=