diff --git a/Makefile b/Makefile
index 6a14fb5..3102c33 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,11 @@
 SUBDIRS := mf rlzrs metric incone
 
 all:
+		cd mf; make;
+		cd rlzrs; make COQEXTRAFLAGS="-R ../mf mf"; 
+		cd metric;make COQEXTRAFLAGS="-R ../mf mf -R ../rlzrs rlzrs";
+		cd incone;make COQEXTRAFLAGS="-R ../mf mf -R ../rlzrs rlzrs -R ../metric metric"
+
 
 clean:
 		cd mf; make clean;
@@ -15,9 +20,7 @@ uninstall:
 		cd incone; make uninstall
 
 install:
-		cd mf;make; make install;
-		cd rlzrs;make; make install;
-		cd metric;make; make install;
-	  cd incone;make; make install
-
-.SILENT:
+		cd mf; make install;
+		cd rlzrs; make install;
+		cd metric; make install;
+	  cd incone; make install
\ No newline at end of file
diff --git a/opam b/opam
index 3b13883..7cf5e51 100644
--- a/opam
+++ b/opam
@@ -14,10 +14,10 @@ install: [
 ]
 remove: [make "uninstall"]
 depends: [
-  "coq" {(>= "8.9")}
-  "coq-mathcomp-ssreflect" { (>= "1.7") }
-  "coq-mathcomp-algebra" {>= "1.7"}
-  "coq-coquelicot" {(>= "3.0")}
+  "coq" {(>= "8.9" & < "8.10~")}
+  "coq-mathcomp-ssreflect" { (>= "1.7" & < "1.8~") }
+  "coq-mathcomp-algebra" {>= "1.7" & < "1.8~"}
+  "coq-coquelicot" {(>= "3.0" & < "3.1~")}
 ]
 tags: [
 ]