diff options
Diffstat (limited to 'ocaml-binary-annot/test/.depend')
| -rw-r--r-- | ocaml-binary-annot/test/.depend | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/ocaml-binary-annot/test/.depend b/ocaml-binary-annot/test/.depend new file mode 100644 index 0000000000..ac5de61e8e --- /dev/null +++ b/ocaml-binary-annot/test/.depend @@ -0,0 +1,28 @@ +KB/equations.cmi: KB/terms.cmi +KB/kb.cmi: KB/equations.cmi KB/terms.cmi +KB/orderings.cmi: KB/terms.cmi +KB/equations.cmo: KB/equations.cmi KB/terms.cmi +KB/equations.cmx: KB/equations.cmi KB/terms.cmx +KB/kb.cmo: KB/kb.cmi KB/equations.cmi KB/terms.cmi +KB/kb.cmx: KB/kb.cmi KB/equations.cmx KB/terms.cmx +KB/kbmain.cmo: KB/kb.cmi KB/orderings.cmi KB/equations.cmi KB/terms.cmi +KB/kbmain.cmx: KB/kb.cmx KB/orderings.cmx KB/equations.cmx KB/terms.cmx +KB/orderings.cmo: KB/orderings.cmi KB/terms.cmi +KB/orderings.cmx: KB/orderings.cmi KB/terms.cmx +KB/terms.cmo: KB/terms.cmi +KB/terms.cmx: KB/terms.cmi +Lex/grammar.cmi: Lex/syntax.cmo +Lex/gram_aux.cmo: Lex/syntax.cmo +Lex/gram_aux.cmx: Lex/syntax.cmx +Lex/grammar.cmo: Lex/grammar.cmi Lex/gram_aux.cmo Lex/syntax.cmo +Lex/grammar.cmx: Lex/grammar.cmi Lex/gram_aux.cmx Lex/syntax.cmx +Lex/lexgen.cmo: Lex/syntax.cmo +Lex/lexgen.cmx: Lex/syntax.cmx +Lex/main.cmo: Lex/lexgen.cmo Lex/output.cmo Lex/grammar.cmi \ + Lex/scanner.cmo Lex/syntax.cmo Lex/scan_aux.cmo +Lex/main.cmx: Lex/lexgen.cmx Lex/output.cmx Lex/grammar.cmx \ + Lex/scanner.cmx Lex/syntax.cmx Lex/scan_aux.cmx +Lex/output.cmo: Lex/syntax.cmo +Lex/output.cmx: Lex/syntax.cmx +Lex/scanner.cmo: Lex/syntax.cmo Lex/scan_aux.cmo Lex/grammar.cmi +Lex/scanner.cmx: Lex/syntax.cmx Lex/scan_aux.cmx Lex/grammar.cmx |