From 9a0385e1283a8445df1832354d7849b5683a17a6 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 27 Nov 2008 21:23:03 +0000 Subject: [PATCH] ... --- helm/software/components/grafite_parser/.depend | 6 ++---- helm/software/components/grafite_parser/.depend.opt | 6 ++---- helm/software/components/grafite_parser/Makefile | 1 - 3 files changed, 4 insertions(+), 9 deletions(-) diff --git a/helm/software/components/grafite_parser/.depend b/helm/software/components/grafite_parser/.depend index 168732022..9fb3357e7 100644 --- a/helm/software/components/grafite_parser/.depend +++ b/helm/software/components/grafite_parser/.depend @@ -5,10 +5,8 @@ grafiteParser.cmo: grafiteParser.cmi grafiteParser.cmx: grafiteParser.cmi cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi -multiPassDisambiguator.cmo: multiPassDisambiguator.cmi -multiPassDisambiguator.cmx: multiPassDisambiguator.cmi -grafiteDisambiguate.cmo: multiPassDisambiguator.cmi grafiteDisambiguate.cmi -grafiteDisambiguate.cmx: multiPassDisambiguator.cmx grafiteDisambiguate.cmi +grafiteDisambiguate.cmo: grafiteDisambiguate.cmi +grafiteDisambiguate.cmx: grafiteDisambiguate.cmi grafiteWalker.cmo: grafiteParser.cmi grafiteWalker.cmi grafiteWalker.cmx: grafiteParser.cmx grafiteWalker.cmi print_grammar.cmo: print_grammar.cmi diff --git a/helm/software/components/grafite_parser/.depend.opt b/helm/software/components/grafite_parser/.depend.opt index 168732022..9fb3357e7 100644 --- a/helm/software/components/grafite_parser/.depend.opt +++ b/helm/software/components/grafite_parser/.depend.opt @@ -5,10 +5,8 @@ grafiteParser.cmo: grafiteParser.cmi grafiteParser.cmx: grafiteParser.cmi cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi -multiPassDisambiguator.cmo: multiPassDisambiguator.cmi -multiPassDisambiguator.cmx: multiPassDisambiguator.cmi -grafiteDisambiguate.cmo: multiPassDisambiguator.cmi grafiteDisambiguate.cmi -grafiteDisambiguate.cmx: multiPassDisambiguator.cmx grafiteDisambiguate.cmi +grafiteDisambiguate.cmo: grafiteDisambiguate.cmi +grafiteDisambiguate.cmx: grafiteDisambiguate.cmi grafiteWalker.cmo: grafiteParser.cmi grafiteWalker.cmi grafiteWalker.cmx: grafiteParser.cmx grafiteWalker.cmi print_grammar.cmo: print_grammar.cmi diff --git a/helm/software/components/grafite_parser/Makefile b/helm/software/components/grafite_parser/Makefile index ace33c397..ef263f3d8 100644 --- a/helm/software/components/grafite_parser/Makefile +++ b/helm/software/components/grafite_parser/Makefile @@ -5,7 +5,6 @@ INTERFACE_FILES = \ dependenciesParser.mli \ grafiteParser.mli \ cicNotation2.mli \ - multiPassDisambiguator.mli \ grafiteDisambiguate.mli \ grafiteWalker.mli \ print_grammar.mli \ -- 2.39.2