HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 3a314143 C |
1 | asttopopl.cmi: ast_popl.cmo ../parsing_cocci/ast_cocci.cmi |
| 2 | insert_quantifiers.cmi: ast_popl.cmo | |
| 951c7801 | 3 | popl.cmi: ../ctl/wrapper_ctl.cmi ../engine/lib_engine.cmo ../ctl/ast_ctl.cmo \ |
| 3a314143 | 4 | ../parsing_cocci/ast_cocci.cmi |
| 951c7801 | 5 | popltoctl.cmi: ../ctl/wrapper_ctl.cmi ../engine/lib_engine.cmo ast_popl.cmo \ |
| 3a314143 C |
6 | ../ctl/ast_ctl.cmo ../parsing_cocci/ast_cocci.cmi |
| 7 | pretty_print_popl.cmi: ast_popl.cmo | |
| 8 | ast_popl.cmo: ../parsing_cocci/ast_cocci.cmi | |
| 9 | ast_popl.cmx: ../parsing_cocci/ast_cocci.cmx | |
| 951c7801 | 10 | asttopopl.cmo: ../parsing_cocci/pretty_print_cocci.cmi ast_popl.cmo \ |
| 3a314143 | 11 | ../parsing_cocci/ast_cocci.cmi asttopopl.cmi |
| 951c7801 | 12 | asttopopl.cmx: ../parsing_cocci/pretty_print_cocci.cmx ast_popl.cmx \ |
| 3a314143 C |
13 | ../parsing_cocci/ast_cocci.cmx asttopopl.cmi |
| 14 | flag_popl.cmo: | |
| 15 | flag_popl.cmx: | |
| 951c7801 | 16 | insert_quantifiers.cmo: ../commons/common.cmi ast_popl.cmo \ |
| 3a314143 | 17 | ../parsing_cocci/ast_cocci.cmi insert_quantifiers.cmi |
| 951c7801 | 18 | insert_quantifiers.cmx: ../commons/common.cmx ast_popl.cmx \ |
| 3a314143 | 19 | ../parsing_cocci/ast_cocci.cmx insert_quantifiers.cmi |
| 951c7801 C |
20 | popl.cmo: ../ctl/wrapper_ctl.cmi popltoctl.cmi ../engine/lib_engine.cmo \ |
| 21 | insert_quantifiers.cmi asttopopl.cmi ../ctl/ast_ctl.cmo \ | |
| 3a314143 | 22 | ../parsing_cocci/ast_cocci.cmi popl.cmi |
| 951c7801 C |
23 | popl.cmx: ../ctl/wrapper_ctl.cmx popltoctl.cmx ../engine/lib_engine.cmx \ |
| 24 | insert_quantifiers.cmx asttopopl.cmx ../ctl/ast_ctl.cmx \ | |
| 3a314143 | 25 | ../parsing_cocci/ast_cocci.cmx popl.cmi |
| 951c7801 C |
26 | popltoctl.cmo: ../ctl/wrapper_ctl.cmi ../parsing_cocci/visitor_ast.cmi \ |
| 27 | ../engine/lib_engine.cmo flag_popl.cmo ast_popl.cmo ../ctl/ast_ctl.cmo \ | |
| 3a314143 | 28 | ../parsing_cocci/ast_cocci.cmi popltoctl.cmi |
| 951c7801 C |
29 | popltoctl.cmx: ../ctl/wrapper_ctl.cmx ../parsing_cocci/visitor_ast.cmx \ |
| 30 | ../engine/lib_engine.cmx flag_popl.cmx ast_popl.cmx ../ctl/ast_ctl.cmx \ | |
| 3a314143 | 31 | ../parsing_cocci/ast_cocci.cmx popltoctl.cmi |
| 951c7801 | 32 | pretty_print_popl.cmo: ../parsing_cocci/pretty_print_cocci.cmi ast_popl.cmo \ |
| 3a314143 | 33 | ../parsing_cocci/ast_cocci.cmi pretty_print_popl.cmi |
| 951c7801 | 34 | pretty_print_popl.cmx: ../parsing_cocci/pretty_print_cocci.cmx ast_popl.cmx \ |
| 3a314143 | 35 | ../parsing_cocci/ast_cocci.cmx pretty_print_popl.cmi |