From f6e189c5b51b6c403357af995495e4e07d98c476 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 17 Dec 2003 11:52:28 +0000
Subject: [PATCH] Makefiles patched

---
 helm/ocaml/Makefile.common.in         |  8 ++++++++
 helm/ocaml/Makefile.in                |  1 -
 helm/ocaml/cic_proof_checking/.depend | 12 ++++++------
 helm/ocaml/mathql_interpreter/.depend |  6 ++----
 4 files changed, 16 insertions(+), 11 deletions(-)

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 
-- 
2.39.2