From f6e189c5b51b6c403357af995495e4e07d98c476 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi 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