Commit | Line | Data |
---|---|---|
3a314143 C |
1 | ctl_engine.cmi: ../commons/ograph_extended.cmi ast_ctl.cmo |
2 | pretty_print_ctl.cmi: ast_ctl.cmo | |
3 | wrapper_ctl.cmi: ctl_engine.cmi ast_ctl.cmo | |
4 | ast_ctl.cmo: | |
5 | ast_ctl.cmx: | |
0708f913 | 6 | ctl_engine.cmo: pretty_print_ctl.cmi ../commons/ograph_extended.cmi \ |
190f1acf C |
7 | flag_ctl.cmo ../globals/flag.cmo ../commons/common.cmi ast_ctl.cmo \ |
8 | ctl_engine.cmi | |
0708f913 | 9 | ctl_engine.cmx: pretty_print_ctl.cmx ../commons/ograph_extended.cmx \ |
190f1acf C |
10 | flag_ctl.cmx ../globals/flag.cmx ../commons/common.cmx ast_ctl.cmx \ |
11 | ctl_engine.cmi | |
3a314143 C |
12 | flag_ctl.cmo: |
13 | flag_ctl.cmx: | |
0708f913 | 14 | pretty_print_ctl.cmo: flag_ctl.cmo ../commons/common.cmi ast_ctl.cmo \ |
3a314143 | 15 | pretty_print_ctl.cmi |
0708f913 | 16 | pretty_print_ctl.cmx: flag_ctl.cmx ../commons/common.cmx ast_ctl.cmx \ |
3a314143 | 17 | pretty_print_ctl.cmi |
0708f913 | 18 | test_ctl.cmo: wrapper_ctl.cmi ../commons/ograph_extended.cmi ctl_engine.cmi \ |
3a314143 | 19 | ast_ctl.cmo |
0708f913 | 20 | test_ctl.cmx: wrapper_ctl.cmx ../commons/ograph_extended.cmx ctl_engine.cmx \ |
3a314143 | 21 | ast_ctl.cmx |
0708f913 | 22 | wrapper_ctl.cmo: ../globals/flag.cmo ctl_engine.cmi ../commons/common.cmi \ |
3a314143 | 23 | ast_ctl.cmo wrapper_ctl.cmi |
0708f913 | 24 | wrapper_ctl.cmx: ../globals/flag.cmx ctl_engine.cmx ../commons/common.cmx \ |
3a314143 | 25 | ast_ctl.cmx wrapper_ctl.cmi |