1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d4fd64fbd8..5fb8f9ff2a 100644
--- a/Makefile
+++ b/Makefile
@@ -84,6 +84,12 @@ CMX=$(CMO:.cmo=.cmx)
 
 world: minicoq coqtop.byte dev/db_printers.cmo
 
+LINK=$(CONFIG) $(LIB) $(KERNEL) $(LIBRARY)  $(PARSING) $(PRETYPING)
+# $(PROOFS) $(TACTICS) $(TOPLEVEL)
+link: $(LINK)
+	ocamlc -o link $(LINK)
+	rm -f link 
+
 kernel: $(KERNEL)
 library: $(LIBRARY)
 proofs: $(PROOFS)