still a working copy, now towards a cleaner implementation ...

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

diff --git a/helm/ocaml/cic_disambiguation/.depend b/helm/ocaml/cic_disambiguation/.depend
index 16d57692ab8b70e04ab885d060a8267772ba73bb..90354741c9a54ae5f76d6c5bbdf419c0447b4253 100644 (file)
--- a/helm/ocaml/cic_disambiguation/.depend
+++ b/helm/ocaml/cic_disambiguation/.depend
@@ -1,9 +1,21 @@
 pp.cmi: ast.cmi 
+disambiguate.cmi: ast.cmi disambiguate_struct.cmo disambiguate_types.cmi 
+parser.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 
+disambiguate_struct.cmo: disambiguate_types.cmi 
+disambiguate_struct.cmx: disambiguate_types.cmi 
+parser.cmo: ast.cmi lexer.cmi parser.cmi 
+parser.cmx: ast.cmi lexer.cmx parser.cmi 
+disambiguate.cmo: ast.cmi disambiguate_struct.cmo disambiguate_types.cmi \
+    parser.cmi disambiguate.cmi 
+disambiguate.cmx: ast.cmi disambiguate_struct.cmx disambiguate_types.cmi \
+    parser.cmx disambiguate.cmi 
+logic_notation.cmo: ast.cmi parser.cmi 
+logic_notation.cmx: ast.cmi parser.cmx 
+arit_notation.cmo: ast.cmi parser.cmi 
+arit_notation.cmx: ast.cmi parser.cmx