| 1 | asttopopl.cmi: ast_popl.cmo ../parsing_cocci/ast_cocci.cmi |
| 2 | insert_quantifiers.cmi: ast_popl.cmo |
| 3 | popl.cmi: ../ctl/wrapper_ctl.cmi ../engine/lib_engine.cmo ../ctl/ast_ctl.cmo \ |
| 4 | ../parsing_cocci/ast_cocci.cmi |
| 5 | popltoctl.cmi: ../ctl/wrapper_ctl.cmi ../engine/lib_engine.cmo ast_popl.cmo \ |
| 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 |
| 10 | asttopopl.cmo: ../parsing_cocci/pretty_print_cocci.cmi ast_popl.cmo \ |
| 11 | ../parsing_cocci/ast_cocci.cmi asttopopl.cmi |
| 12 | asttopopl.cmx: ../parsing_cocci/pretty_print_cocci.cmx ast_popl.cmx \ |
| 13 | ../parsing_cocci/ast_cocci.cmx asttopopl.cmi |
| 14 | insert_quantifiers.cmo: ../commons/common.cmi ast_popl.cmo \ |
| 15 | ../parsing_cocci/ast_cocci.cmi insert_quantifiers.cmi |
| 16 | insert_quantifiers.cmx: ../commons/common.cmx ast_popl.cmx \ |
| 17 | ../parsing_cocci/ast_cocci.cmx insert_quantifiers.cmi |
| 18 | popl.cmo: ../ctl/wrapper_ctl.cmi popltoctl.cmi ../engine/lib_engine.cmo \ |
| 19 | insert_quantifiers.cmi asttopopl.cmi ../ctl/ast_ctl.cmo \ |
| 20 | ../parsing_cocci/ast_cocci.cmi popl.cmi |
| 21 | popl.cmx: ../ctl/wrapper_ctl.cmx popltoctl.cmx ../engine/lib_engine.cmx \ |
| 22 | insert_quantifiers.cmx asttopopl.cmx ../ctl/ast_ctl.cmx \ |
| 23 | ../parsing_cocci/ast_cocci.cmx popl.cmi |
| 24 | popltoctl.cmo: ../ctl/wrapper_ctl.cmi ../parsing_cocci/visitor_ast.cmi \ |
| 25 | ../engine/lib_engine.cmo flag_popl.cmo ast_popl.cmo ../ctl/ast_ctl.cmo \ |
| 26 | ../parsing_cocci/ast_cocci.cmi popltoctl.cmi |
| 27 | popltoctl.cmx: ../ctl/wrapper_ctl.cmx ../parsing_cocci/visitor_ast.cmx \ |
| 28 | ../engine/lib_engine.cmx flag_popl.cmx ast_popl.cmx ../ctl/ast_ctl.cmx \ |
| 29 | ../parsing_cocci/ast_cocci.cmx popltoctl.cmi |
| 30 | pretty_print_popl.cmo: ../parsing_cocci/pretty_print_cocci.cmi ast_popl.cmo \ |
| 31 | ../parsing_cocci/ast_cocci.cmi pretty_print_popl.cmi |
| 32 | pretty_print_popl.cmx: ../parsing_cocci/pretty_print_cocci.cmx ast_popl.cmx \ |
| 33 | ../parsing_cocci/ast_cocci.cmx pretty_print_popl.cmi |