From 561ddb95cb68f6c1345bdee2edb8b9644a1bf0e1 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 6 Feb 2020 10:40:00 +0100
Subject: [PATCH] Chore: more paths to sources in the .merlin

---
 .merlin | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/.merlin b/.merlin
index 46441a54..6a9f63e0 100644
--- a/.merlin
+++ b/.merlin
@@ -1,9 +1,22 @@
 S src
 S lib/sasacore
+S lib/sasa
 S lib/algo
+S ../rdbg/lib
+S ../rdbg/bin
+S ../lutils/bin
+S ../lutils/lib
+S ../lutin/lib/lutin
+S ../lutin/lib/bddand
+S ../lutin/lib/ezdl
+S ../lutin/lib/polka
+S ../lutin/bin
 
-B /home/jahier/.opam/4.07.0/lib/ocaml
-B /home/jahier/.opam/4.07.0/lib/ocamlgraph
+
+
+
+B $OPAM_SWITCH_PREFIX/lib/ocaml
+B $OPAM_SWITCH_PREFIX/lib/ocamlgraph
 B _build/default/src/.sasaMain.eobjs
 B _build/default/lib/algo/.algo.objs
 B _build/default/lib/sasacore/.sascore.objs
-- 
GitLab