From c99ecd4b04ec4a99737b3e53e8fdeb811f819b5a Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 26 Aug 2015 11:24:36 +0200
Subject: [PATCH] merlin

---
 src/plugins/e-acsl/.gitignore  |  1 +
 src/plugins/e-acsl/Makefile.in | 14 ++++++++++++++
 2 files changed, 15 insertions(+)

diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index 5973a3c3145..00d5d13ae1b 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 137e7566d6a..8f07bdcdb19 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 #
 ################
-- 
GitLab