diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index 5973a3c3145dd12bd3a885bc70951628f8066069..00d5d13ae1b8f490d75b0c658ba5c989a1f10d15 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -79,3 +79,4 @@
 .frama-c
 tests/ptests_config
 META.frama-c-e_acsl
+.merlin
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 137e7566d6a7509d8cb6f50c5282b3a651b0e7bd..8f07bdcdb19cd5e41906c068fd4f372bc204e658 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -218,6 +218,20 @@ headers::
 		Makefile.in configure.ac \
 		share/e-acsl/*.[ch] share/e-acsl/*/*.[ch]
 
+##########
+# Merlin #
+##########
+
+FRAMAC_SRC?=$(HOME)/GIT/FRAMA-C/master
+.merlin:
+	echo "FLG $(FRAMAC_USER_MERLIN_FLAGS)" > .merlin
+	find `echo "$(FRAMAC_SRC)/src" | xargs -n 1 -d ' ' readlink -f` \( -name .svn -o -name tests -o -name doc -o -name result -o -name -o -name oracle -o -name "*.cache" -o -name .git \) -prune -o \( -type d -printf "S %p\n"  \) >> .merlin
+	echo "B $(FRAMAC_LIBDIR)" >> .merlin
+	echo $(OCAMLGRAPH_MERLIN) >> .merlin
+	echo "PKG findlib" >> .merlin
+	echo "PKG zarith" >> .merlin
+	echo "PKG lablgtk2" >> .merlin
+
 ################
 # Generic part #
 ################