X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Fbinaries%2Ftranscript%2F.depend;fp=components%2Fbinaries%2Ftranscript%2F.depend;h=5e737a14aa313f7922740fe01b6c4c838993e1c5;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/components/binaries/transcript/.depend b/components/binaries/transcript/.depend
new file mode 100644
index 000000000..5e737a14a
--- /dev/null
+++ b/components/binaries/transcript/.depend
@@ -0,0 +1,12 @@
+v8Parser.cmi: types.cmo 
+grafite.cmi: types.cmo 
+v8Parser.cmo: types.cmo v8Parser.cmi 
+v8Parser.cmx: types.cmx v8Parser.cmi 
+v8Lexer.cmo: v8Parser.cmi 
+v8Lexer.cmx: v8Parser.cmx 
+grafite.cmo: types.cmo grafite.cmi 
+grafite.cmx: types.cmx grafite.cmi 
+engine.cmo: v8Parser.cmi v8Lexer.cmo types.cmo grafite.cmi engine.cmi 
+engine.cmx: v8Parser.cmx v8Lexer.cmx types.cmx grafite.cmx engine.cmi 
+top.cmo: engine.cmi 
+top.cmx: engine.cmx