From: Stefano Zacchiroli Date: Wed, 14 Jan 2004 18:04:41 +0000 (+0000) Subject: removed ui_logger, now in external module logger X-Git-Tag: V_0_5_1_3~41 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=31540d9f3436e7a3bc0fa5b097c7d81af80ec07f;p=helm.git removed ui_logger, now in external module logger --- diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend index af4bb9a3c..e7f7c2d1d 100644 --- a/helm/gTopLevel/.depend +++ b/helm/gTopLevel/.depend @@ -1,14 +1,13 @@ -disambiguate.cmi: ui_logger.cmi termEditor.cmi: disambiguate.cmi texTermEditor.cmi: disambiguate.cmi -invokeTactics.cmi: termEditor.cmi termViewer.cmi ui_logger.cmi +invokeTactics.cmi: termEditor.cmi termViewer.cmi hbugs.cmi: invokeTactics.cmi proofEngine.cmo: proofEngine.cmi proofEngine.cmx: proofEngine.cmi logicalOperations.cmo: proofEngine.cmi logicalOperations.cmi logicalOperations.cmx: proofEngine.cmx logicalOperations.cmi -disambiguate.cmo: ui_logger.cmi disambiguate.cmi -disambiguate.cmx: ui_logger.cmx disambiguate.cmi +disambiguate.cmo: disambiguate.cmi +disambiguate.cmx: disambiguate.cmi termEditor.cmo: disambiguate.cmi termEditor.cmi termEditor.cmx: disambiguate.cmx termEditor.cmi texTermEditor.cmo: disambiguate.cmi texTermEditor.cmi @@ -18,16 +17,12 @@ xmlDiff.cmx: xmlDiff.cmi termViewer.cmo: logicalOperations.cmi xmlDiff.cmi termViewer.cmi termViewer.cmx: logicalOperations.cmx xmlDiff.cmx termViewer.cmi invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \ - termViewer.cmi ui_logger.cmi invokeTactics.cmi + termViewer.cmi invokeTactics.cmi invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \ - termViewer.cmx ui_logger.cmx invokeTactics.cmi + termViewer.cmx invokeTactics.cmi hbugs.cmo: invokeTactics.cmi proofEngine.cmi hbugs.cmi hbugs.cmx: invokeTactics.cmx proofEngine.cmx hbugs.cmi -ui_logger.cmo: ui_logger.cmi -ui_logger.cmx: ui_logger.cmi gTopLevel.cmo: hbugs.cmi invokeTactics.cmi logicalOperations.cmi \ - proofEngine.cmi termEditor.cmi termViewer.cmi texTermEditor.cmi \ - ui_logger.cmi + proofEngine.cmi termEditor.cmi termViewer.cmi texTermEditor.cmi gTopLevel.cmx: hbugs.cmx invokeTactics.cmx logicalOperations.cmx \ - proofEngine.cmx termEditor.cmx termViewer.cmx texTermEditor.cmx \ - ui_logger.cmx + proofEngine.cmx termEditor.cmx termViewer.cmx texTermEditor.cmx diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile index 437e41c21..89102f855 100644 --- a/helm/gTopLevel/Makefile +++ b/helm/gTopLevel/Makefile @@ -2,8 +2,8 @@ BIN_DIR = /usr/local/bin REQUIRES = lablgtkmathview helm-cic_textual_parser helm-tex_cic_textual_parser \ helm-cic_proof_checking helm-xml gdome2-xslt helm-cic_unification \ helm-mathql helm-mathql_interpreter helm-mathql_generator \ - helm-tactics threads hbugs-client mathml-editor \ - helm-cic_transformations + helm-tactics threads hbugs-client mathml-editor \ + helm-cic_transformations helm-logger PREDICATES = "gnome,init,glade" OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o OCAMLFIND = ocamlfind @@ -25,7 +25,7 @@ stop: INTERFACE_FILES = \ proofEngine.mli logicalOperations.mli disambiguate.mli \ termEditor.mli texTermEditor.mli xmlDiff.mli termViewer.mli \ - invokeTactics.mli hbugs.mli ui_logger.mli + invokeTactics.mli hbugs.mli DEPOBJS = $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) gTopLevel.ml