X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.common.in;h=39c99255bbbcc416f6a37220fcf63b84ecc77f00;hb=0d853dfc19b683f5d37741df405a2db721f7221a;hp=07720651ae7034666bce184d995dd1c4e35c55f3;hpb=859ff94edcafb5e28839144166764ab85462c3da;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