HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| c491d8ee 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 \ |
| 690d68d1 C |
7 | flag_ctl.cmo ../globals/flag.cmo ../commons/ocamlextra/dumper.cmi \ |
| 8 | ../commons/common.cmi ast_ctl.cmo ctl_engine.cmi | |
| 0708f913 | 9 | ctl_engine.cmx: pretty_print_ctl.cmx ../commons/ograph_extended.cmx \ |
| 690d68d1 C |
10 | flag_ctl.cmx ../globals/flag.cmx ../commons/ocamlextra/dumper.cmx \ |
| 11 | ../commons/common.cmx ast_ctl.cmx ctl_engine.cmi | |
| c491d8ee C |
12 | flag_ctl.cmo: |
| 13 | flag_ctl.cmx: | |
| 0708f913 | 14 | pretty_print_ctl.cmo: flag_ctl.cmo ../commons/common.cmi ast_ctl.cmo \ |
| c491d8ee | 15 | pretty_print_ctl.cmi |
| 0708f913 | 16 | pretty_print_ctl.cmx: flag_ctl.cmx ../commons/common.cmx ast_ctl.cmx \ |
| c491d8ee | 17 | pretty_print_ctl.cmi |
| 0708f913 | 18 | test_ctl.cmo: wrapper_ctl.cmi ../commons/ograph_extended.cmi ctl_engine.cmi \ |
| c491d8ee | 19 | ast_ctl.cmo |
| 0708f913 | 20 | test_ctl.cmx: wrapper_ctl.cmx ../commons/ograph_extended.cmx ctl_engine.cmx \ |
| c491d8ee | 21 | ast_ctl.cmx |
| 0708f913 | 22 | wrapper_ctl.cmo: ../globals/flag.cmo ctl_engine.cmi ../commons/common.cmi \ |
| c491d8ee | 23 | ast_ctl.cmo wrapper_ctl.cmi |
| 0708f913 | 24 | wrapper_ctl.cmx: ../globals/flag.cmx ctl_engine.cmx ../commons/common.cmx \ |
| c491d8ee | 25 | ast_ctl.cmx wrapper_ctl.cmi |