diff --git a/.merlin b/.merlin index 46441a5433b6cfa01b5cebd97c537eff3d7c21e5..6a9f63e028ae0317e706af1ec210c713332ebfe2 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