new experimental cic textual parser: checkin

[helm.git] / helm / ocaml / cic_disambiguation / .depend

diff --git a/helm/ocaml/cic_disambiguation/.depend b/helm/ocaml/cic_disambiguation/.depend
new file mode 100644 (file)
index 0000000..16d5769
--- /dev/null
+++ b/helm/ocaml/cic_disambiguation/.depend
@@ -0,0 +1,9 @@
+pp.cmi: ast.cmi 
+pp.cmo: ast.cmi pp.cmi 
+pp.cmx: ast.cmi pp.cmi 
+macro.cmo: macro.cmi 
+macro.cmx: macro.cmi 
+lexer.cmo: macro.cmi lexer.cmi 
+lexer.cmx: macro.cmx lexer.cmi 
+parser.cmo: ast.cmi lexer.cmi 
+parser.cmx: ast.cmi lexer.cmx