From: Enrico Tassi <enrico.tassi@inria.fr>
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