...

diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile
index b9c7c651b14fbd148ce7d435e67a2c4ea9df20d7..9a1cf19b8e46ac151c932c5e3c563e95a322d50c 100644 (file)
--- 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 5e2c3e23cb9144f654cabb4f8763947c572dcc3e..b64d148de2aa649f3a052a87e532dff7840e9c5b 100644 (file)
--- 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 (file)
index 0000000..31202f4
--- /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