From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 9 Apr 2009 09:31:01 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~4101
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3edcb0d830e88edf4bd897c35cb0f7c645a755be;p=helm.git

...
---

diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile
index b9c7c651b..9a1cf19b8 100644
--- a/helm/software/components/Makefile
+++ b/helm/software/components/Makefile
@@ -25,6 +25,7 @@ MODULES =			\
 	library			\
 	acic_content		\
 	grafite			\
+	ng_cic_content		\
 	content_pres		\
 	cic_unification		\
 	whelp			\
@@ -36,7 +37,6 @@ MODULES =			\
 	ng_kernel		\
 	ng_refiner		\
 	ng_disambiguation	\
-	ng_cic_content		\
 	grafite_parser          \
 	ng_tactics		\
 	grafite_engine          \
diff --git a/helm/software/components/binaries/transcript/.depend.opt b/helm/software/components/binaries/transcript/.depend.opt
index 5e2c3e23c..b64d148de 100644
--- a/helm/software/components/binaries/transcript/.depend.opt
+++ b/helm/software/components/binaries/transcript/.depend.opt
@@ -1,5 +1,10 @@
 v8Parser.cmi: types.cmx 
 grafite.cmi: types.cmx 
+engine.cmi: 
+types.cmo: 
+types.cmx: 
+options.cmo: 
+options.cmx: 
 v8Parser.cmo: types.cmx options.cmx v8Parser.cmi 
 v8Parser.cmx: types.cmx options.cmx v8Parser.cmi 
 v8Lexer.cmo: v8Parser.cmi options.cmx 
diff --git a/helm/software/components/ng_cic_content/.depend.opt b/helm/software/components/ng_cic_content/.depend.opt
new file mode 100644
index 000000000..31202f452
--- /dev/null
+++ b/helm/software/components/ng_cic_content/.depend.opt
@@ -0,0 +1,3 @@
+nTermCicContent.cmi: 
+nTermCicContent.cmo: nTermCicContent.cmi 
+nTermCicContent.cmx: nTermCicContent.cmi