From: Enrico Tassi Date: Fri, 19 Dec 2008 10:10:18 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4360 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=912780aaffd1e3a107a837dac1443ad2476e94b7;p=helm.git ... --- diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile index 9565ddb29..1c937a855 100644 --- a/helm/software/components/Makefile +++ b/helm/software/components/Makefile @@ -33,10 +33,10 @@ MODULES = \ disambiguation \ cic_disambiguation \ lexicon \ - grafite_engine \ ng_kernel \ ng_refiner \ ng_disambiguation \ + grafite_engine \ grafite_parser \ tptp_grafite \ $(NULL) diff --git a/helm/software/components/cic_disambiguation/.depend.opt b/helm/software/components/cic_disambiguation/.depend.opt index 9fd0c6639..e9bd1168f 100644 --- a/helm/software/components/cic_disambiguation/.depend.opt +++ b/helm/software/components/cic_disambiguation/.depend.opt @@ -1,6 +1,6 @@ -disambiguateChoices.cmo: disambiguateChoices.cmi -disambiguateChoices.cmx: disambiguateChoices.cmi cicDisambiguate.cmo: cicDisambiguate.cmi cicDisambiguate.cmx: cicDisambiguate.cmi +disambiguateChoices.cmo: disambiguateChoices.cmi +disambiguateChoices.cmx: disambiguateChoices.cmi number_notation.cmo: disambiguateChoices.cmi number_notation.cmx: disambiguateChoices.cmx diff --git a/helm/software/components/cic_proof_checking/.depend.opt b/helm/software/components/cic_proof_checking/.depend.opt index 5669c0845..5d83fd0f3 100644 --- a/helm/software/components/cic_proof_checking/.depend.opt +++ b/helm/software/components/cic_proof_checking/.depend.opt @@ -22,5 +22,7 @@ freshNamesGenerator.cmo: cicTypeChecker.cmi cicSubstitution.cmi \ freshNamesGenerator.cmi freshNamesGenerator.cmx: cicTypeChecker.cmx cicSubstitution.cmx \ freshNamesGenerator.cmi -cicDischarge.cmo: cicTypeChecker.cmi cicEnvironment.cmi cicDischarge.cmi -cicDischarge.cmx: cicTypeChecker.cmx cicEnvironment.cmx cicDischarge.cmi +cicDischarge.cmo: cicTypeChecker.cmi cicSubstitution.cmi cicEnvironment.cmi \ + cicDischarge.cmi +cicDischarge.cmx: cicTypeChecker.cmx cicSubstitution.cmx cicEnvironment.cmx \ + cicDischarge.cmi