X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2F.depend;h=7bc924760abdd2678fceec3840d89bac5c397f3d;hb=refs%2Fheads%2Fmatita-lablgtk3;hp=60d32461b8ff18f78a2e0b32cf334af9b00860e8;hpb=cc16727f34114cee287e6a81b80f68657c656725;p=helm.git

diff --git a/helm/software/components/extlib/.depend b/helm/software/components/extlib/.depend
index 60d32461b..7bc924760 100644
--- a/helm/software/components/extlib/.depend
+++ b/helm/software/components/extlib/.depend
@@ -1,14 +1,30 @@
-componentsConf.cmo: componentsConf.cmi 
-componentsConf.cmx: componentsConf.cmi 
-hExtlib.cmo: hExtlib.cmi 
-hExtlib.cmx: hExtlib.cmi 
-hMarshal.cmo: hExtlib.cmi hMarshal.cmi 
-hMarshal.cmx: hExtlib.cmx hMarshal.cmi 
-patternMatcher.cmo: patternMatcher.cmi 
-patternMatcher.cmx: patternMatcher.cmi 
-hLog.cmo: hLog.cmi 
-hLog.cmx: hLog.cmi 
-trie.cmo: trie.cmi 
-trie.cmx: trie.cmi 
-refCounter.cmo: refCounter.cmi 
-refCounter.cmx: refCounter.cmi 
+componentsConf.cmi :
+hExtlib.cmi :
+hMarshal.cmi :
+patternMatcher.cmi :
+hLog.cmi :
+trie.cmi :
+discrimination_tree.cmi :
+hTopoSort.cmi :
+refCounter.cmi :
+graphvizPp.cmi :
+componentsConf.cmo : componentsConf.cmi
+componentsConf.cmx : componentsConf.cmi
+hExtlib.cmo : hExtlib.cmi
+hExtlib.cmx : hExtlib.cmi
+hMarshal.cmo : hExtlib.cmi hMarshal.cmi
+hMarshal.cmx : hExtlib.cmx hMarshal.cmi
+patternMatcher.cmo : patternMatcher.cmi
+patternMatcher.cmx : patternMatcher.cmi
+hLog.cmo : hLog.cmi
+hLog.cmx : hLog.cmi
+trie.cmo : trie.cmi
+trie.cmx : trie.cmi
+discrimination_tree.cmo : trie.cmi discrimination_tree.cmi
+discrimination_tree.cmx : trie.cmx discrimination_tree.cmi
+hTopoSort.cmo : hTopoSort.cmi
+hTopoSort.cmx : hTopoSort.cmi
+refCounter.cmo : refCounter.cmi
+refCounter.cmx : refCounter.cmi
+graphvizPp.cmo : graphvizPp.cmi
+graphvizPp.cmx : graphvizPp.cmi