summaryrefslogtreecommitdiff
path: root/support/syngen/src/depend
diff options
context:
space:
mode:
Diffstat (limited to 'support/syngen/src/depend')
-rw-r--r--support/syngen/src/depend14
1 files changed, 14 insertions, 0 deletions
diff --git a/support/syngen/src/depend b/support/syngen/src/depend
new file mode 100644
index 0000000000..2b7425fe2a
--- /dev/null
+++ b/support/syngen/src/depend
@@ -0,0 +1,14 @@
+boxes.cmi: parser.cmi
+latexcode.cmi: boxes.cmi picture.cmi
+boxes.cmo: parser.cmi boxes.cmi
+boxes.cmx: parser.cmx boxes.cmi
+latexcode.cmo: boxes.cmi picture.cmi latexcode.cmi
+latexcode.cmx: boxes.cmx picture.cmx latexcode.cmi
+lexer.cmo: lexer.cmi
+lexer.cmx: lexer.cmi
+main.cmo: boxes.cmi latexcode.cmi parser.cmi picture.cmi
+main.cmx: boxes.cmx latexcode.cmx parser.cmx picture.cmx
+parser.cmo: lexer.cmi parser.cmi
+parser.cmx: lexer.cmx parser.cmi
+picture.cmo: picture.cmi
+picture.cmx: picture.cmi