diff --git a/common/.merlin b/common/.merlin
new file mode 100644
index 00000000..db2b3820
--- /dev/null
+++ b/common/.merlin
@@ -0,0 +1,4 @@
+S ./
+
+B ../_build/
+B ../_build/common/
diff --git a/sat/.merlin b/sat/.merlin
index 91f14621..167e6845 100644
--- a/sat/.merlin
+++ b/sat/.merlin
@@ -2,4 +2,5 @@ S ./
 S ../common/
 
 B ../_build/
+B ../_build/sat/
 B ../_build/common/
diff --git a/smt/.merlin b/smt/.merlin
new file mode 100644
index 00000000..daa95b7d
--- /dev/null
+++ b/smt/.merlin
@@ -0,0 +1,8 @@
+S ./
+S ../sat/
+S ../common/
+
+B ../_build/
+B ../_build/sat/
+B ../_build/smt/
+B ../_build/common/