Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
47 lines (46 sloc) 2.85 KB
cocci.cmi: commons/common.cmi parsing_cocci/ast_cocci.cmi
testing.cmi: commons/common.cmi parsing_cocci/ast_cocci.cmi
cocci.cmo: parsing_cocci/visitor_ast.cmi parsing_c/unparse_hrule.cmi \
parsing_c/unparse_c.cmi parsing_c/type_annoter_c.cmi \
engine/transformation_c.cmi python/pycocci.cmo \
engine/pretty_print_engine.cmi parsing_cocci/pretty_print_cocci.cmi \
popl09/popl.cmi parsing_c/parsing_hacks.cmi parsing_cocci/parse_cocci.cmi \
parsing_c/parse_c.cmi commons/ograph_extended.cmi engine/lib_engine.cmo \
parsing_c/flag_parsing_c.cmo ctl/flag_ctl.cmo flag_cocci.cmo \
globals/flag.cmo engine/ctltotex.cmi engine/ctlcocci_integration.cmi \
parsing_c/cpp_ast_c.cmi parsing_c/control_flow_c.cmi \
parsing_c/compare_c.cmi commons/common.cmi engine/asttomember.cmi \
engine/asttoctl2.cmi parsing_c/ast_to_flow.cmi \
parsing_cocci/ast_cocci.cmi parsing_c/ast_c.cmo cocci.cmi
cocci.cmx: parsing_cocci/visitor_ast.cmx parsing_c/unparse_hrule.cmx \
parsing_c/unparse_c.cmx parsing_c/type_annoter_c.cmx \
engine/transformation_c.cmx python/pycocci.cmx \
engine/pretty_print_engine.cmx parsing_cocci/pretty_print_cocci.cmx \
popl09/popl.cmx parsing_c/parsing_hacks.cmx parsing_cocci/parse_cocci.cmx \
parsing_c/parse_c.cmx commons/ograph_extended.cmx engine/lib_engine.cmx \
parsing_c/flag_parsing_c.cmx ctl/flag_ctl.cmx flag_cocci.cmx \
globals/flag.cmx engine/ctltotex.cmx engine/ctlcocci_integration.cmx \
parsing_c/cpp_ast_c.cmx parsing_c/control_flow_c.cmx \
parsing_c/compare_c.cmx commons/common.cmx engine/asttomember.cmx \
engine/asttoctl2.cmx parsing_c/ast_to_flow.cmx \
parsing_cocci/ast_cocci.cmx parsing_c/ast_c.cmx cocci.cmi
main.cmo: testing.cmi parsing_c/test_parsing_c.cmi python/pycocci.cmo \
parsing_c/parse_c.cmi extra/kbuild.cmi popl09/flag_popl.cmo \
parsing_cocci/flag_parsing_cocci.cmo parsing_c/flag_parsing_c.cmo \
engine/flag_matcher.cmo ctl/flag_ctl.cmo flag_cocci.cmo globals/flag.cmo \
engine/ctlcocci_integration.cmi globals/config.cmo commons/common.cmi \
cocci.cmi
main.cmx: testing.cmx parsing_c/test_parsing_c.cmx python/pycocci.cmx \
parsing_c/parse_c.cmx extra/kbuild.cmx popl09/flag_popl.cmx \
parsing_cocci/flag_parsing_cocci.cmx parsing_c/flag_parsing_c.cmx \
engine/flag_matcher.cmx ctl/flag_ctl.cmx flag_cocci.cmx globals/flag.cmx \
engine/ctlcocci_integration.cmx globals/config.cmx commons/common.cmx \
cocci.cmx
testing.cmo: parsing_cocci/pretty_print_cocci.cmi \
parsing_cocci/parse_cocci.cmi flag_cocci.cmo globals/flag.cmo \
globals/config.cmo parsing_c/compare_c.cmi commons/common.cmi cocci.cmi \
testing.cmi
testing.cmx: parsing_cocci/pretty_print_cocci.cmx \
parsing_cocci/parse_cocci.cmx flag_cocci.cmx globals/flag.cmx \
globals/config.cmx parsing_c/compare_c.cmx commons/common.cmx cocci.cmx \
testing.cmi
Something went wrong with that request. Please try again.