From 2cd7e7b8d1338a4393846e2aa7eb20343661945c Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 4 Oct 2004 09:42:53 +0000 Subject: [PATCH] added dependency on helm-xmldiff --- helm/gTopLevel/.depend | 8 ++------ helm/gTopLevel/Makefile.in | 2 +- 2 files changed, 3 insertions(+), 7 deletions(-) diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend index 5075841eb..82b678e1e 100644 --- a/helm/gTopLevel/.depend +++ b/helm/gTopLevel/.depend @@ -15,14 +15,10 @@ termEditor.cmo: disambiguatingParser.cmi termEditor.cmi termEditor.cmx: disambiguatingParser.cmx termEditor.cmi texTermEditor.cmo: disambiguatingParser.cmi texTermEditor.cmi texTermEditor.cmx: disambiguatingParser.cmx texTermEditor.cmi -xmlDiff.cmo: xmlDiff.cmi -xmlDiff.cmx: xmlDiff.cmi chosenTransformer.cmo: chosenTransformer.cmi chosenTransformer.cmx: chosenTransformer.cmi -termViewer.cmo: chosenTransformer.cmi logicalOperations.cmi xmlDiff.cmi \ - termViewer.cmi -termViewer.cmx: chosenTransformer.cmx logicalOperations.cmx xmlDiff.cmx \ - termViewer.cmi +termViewer.cmo: logicalOperations.cmi termViewer.cmi +termViewer.cmx: logicalOperations.cmx termViewer.cmi invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \ termViewer.cmi invokeTactics.cmi invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \ diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in index 74b93230b..82c3d2821 100644 --- a/helm/gTopLevel/Makefile.in +++ b/helm/gTopLevel/Makefile.in @@ -9,6 +9,7 @@ TEST_REQUIRES = \ helm-cic_textual_parser2 \ helm-cic_textual_parser \ helm-tex_cic_textual_parser \ + helm-xmldiff \ lablgtk2 \ mathml-editor \ lablgtkmathview @@ -44,7 +45,6 @@ INTERFACE_FILES = \ disambiguatingParser.mli \ termEditor.mli \ texTermEditor.mli \ - xmlDiff.mli \ chosenTransformer.mli \ termViewer.mli \ invokeTactics.mli \ -- 2.39.2