diff options
Diffstat (limited to 'test/.depend')
| -rw-r--r-- | test/.depend | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/test/.depend b/test/.depend deleted file mode 100644 index ac5de61e8e..0000000000 --- a/test/.depend +++ /dev/null @@ -1,28 +0,0 @@ -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 |