From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 7 Jun 2005 10:02:35 +0000 (+0000)
Subject: control of dependences improved
X-Git-Tag: PRE_INDEX_1~62
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=72220a2e5a51f0dd1123ff2b06df13a6f5f0d61a;p=helm.git

control of dependences improved
---

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 51c1bed06..8e9f3b9ce 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -106,3 +106,15 @@ include .depend
 
 .PHONY: all opt clean distclean depend
 
+$(CMOS): $(LIB_DEPS)
+$(CMOS:%.cmo=%.cmx): $(LIBX_DEPS)
+
+ifeq ($(MAKECMDGOALS),all)
+   $(CMOS:%.cmo=%.cmi): $(LIB_DEPS)
+endif
+ifeq ($(MAKECMDGOALS),)
+   $(CMOS:%.cmo=%.cmi): $(LIB_DEPS)
+endif
+ifeq ($(MAKECMDGOALS),opt)
+   $(CMOS:%.cmo=%.cmi): $(LIBX_DEPS)
+endif