X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2FMakefile.common.in;h=39c99255bbbcc416f6a37220fcf63b84ecc77f00;hb=de9aae3754cc79baadb00d62a6433579d621e301;hp=07720651ae7034666bce184d995dd1c4e35c55f3;hpb=bcd96bdfa90a36234bd6580d686d458506488a83;p=helm.git

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 07720651a..39c99255b 100644
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -91,3 +91,7 @@ endif
 ifeq ($(MAKECMDGOALS), opt)
    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES_OPT)
 endif
+
+ifeq ($(MAKECMDGOALS),)
+   $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
+endif