From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 17 Dec 2003 11:52:28 +0000 (+0000)
Subject: Makefiles patched
X-Git-Tag: V_0_5_1_3~59
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f6e189c5b51b6c403357af995495e4e07d98c476;p=helm.git

Makefiles patched
---

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 7d9c56d6f..e71b71942 100644
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -82,3 +82,11 @@ uninstall:
 ifneq ($(MAKECMDGOALS), depend)
    include .depend   
 endif
+
+ifeq ($(MAKECMDGOALS), all)
+   $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
+endif
+
+ifeq ($(MAKECMDGOALS), opt)
+   $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES_OPT)
+endif
diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 3f9fd7a3b..aa23d24ba 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -1,7 +1,6 @@
 # Warning: the modules must be in compilation order
 MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \
           cic_cache cic_proof_checking cic_textual_parser \
-	  cic_textual_parser2 \
           tex_cic_textual_parser cic_unification mathql mathql_generator \
 	  mathql_interpreter cic_omdoc tactics cic_transformations
 
diff --git a/helm/ocaml/cic_proof_checking/.depend b/helm/ocaml/cic_proof_checking/.depend
index 2698db04e..9249839cd 100644
--- a/helm/ocaml/cic_proof_checking/.depend
+++ b/helm/ocaml/cic_proof_checking/.depend
@@ -1,7 +1,7 @@
 cicLogger.cmo: cicLogger.cmi 
 cicLogger.cmx: cicLogger.cmi 
-cicEnvironment.cmo: cicEnvironment.cmi 
-cicEnvironment.cmx: cicEnvironment.cmi 
+cicEnvironment.cmo: cicLogger.cmi cicEnvironment.cmi 
+cicEnvironment.cmx: cicLogger.cmx cicEnvironment.cmi 
 cicPp.cmo: cicEnvironment.cmi cicPp.cmi 
 cicPp.cmx: cicEnvironment.cmx cicPp.cmi 
 cicSubstitution.cmo: cicEnvironment.cmi cicSubstitution.cmi 
@@ -16,7 +16,7 @@ cicReduction.cmo: cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \
     cicReduction.cmi 
 cicReduction.cmx: cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \
     cicReduction.cmi 
-cicTypeChecker.cmo: cicEnvironment.cmi cicPp.cmi cicReduction.cmi \
-    cicSubstitution.cmi cicTypeChecker.cmi 
-cicTypeChecker.cmx: cicEnvironment.cmx cicPp.cmx cicReduction.cmx \
-    cicSubstitution.cmx cicTypeChecker.cmi 
+cicTypeChecker.cmo: cicEnvironment.cmi cicLogger.cmi cicPp.cmi \
+    cicReduction.cmi cicSubstitution.cmi cicTypeChecker.cmi 
+cicTypeChecker.cmx: cicEnvironment.cmx cicLogger.cmx cicPp.cmx \
+    cicReduction.cmx cicSubstitution.cmx cicTypeChecker.cmi 
diff --git a/helm/ocaml/mathql_interpreter/.depend b/helm/ocaml/mathql_interpreter/.depend
index 7d9b3c625..bbe2948d5 100644
--- a/helm/ocaml/mathql_interpreter/.depend
+++ b/helm/ocaml/mathql_interpreter/.depend
@@ -1,11 +1,9 @@
 mQIConn.cmi: mQIMap.cmi 
 mQIProperty.cmi: mQIConn.cmi 
 mQueryInterpreter.cmi: mQIConn.cmi 
-mQueryTParser.cmo: mQueryTParser.cmi 
-mQueryTParser.cmx: mQueryTParser.cmi 
-mQueryTLexer.cmo: mQueryTParser.cmi 
+mQueryTLexer.cmo: mQueryTParser.cmo 
 mQueryTLexer.cmx: mQueryTParser.cmx 
-mQueryUtil.cmo: mQueryTLexer.cmo mQueryTParser.cmi mQueryUtil.cmi 
+mQueryUtil.cmo: mQueryTLexer.cmo mQueryTParser.cmo mQueryUtil.cmi 
 mQueryUtil.cmx: mQueryTLexer.cmx mQueryTParser.cmx mQueryUtil.cmi 
 mQIUtil.cmo: mQIUtil.cmi 
 mQIUtil.cmx: mQIUtil.cmi