From 912780aaffd1e3a107a837dac1443ad2476e94b7 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 19 Dec 2008 10:10:18 +0000 Subject: [PATCH] ... --- helm/software/components/Makefile | 2 +- helm/software/components/cic_disambiguation/.depend.opt | 4 ++-- helm/software/components/cic_proof_checking/.depend.opt | 6 ++++-- 3 files changed, 7 insertions(+), 5 deletions(-) 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 -- 2.39.2