ctl/ctl_engine.cmo : \
    ctl/pretty_print_ctl.cmi \
    commons/ograph_extended.cmi \
    ctl/flag_ctl.cmi \
    globals/flag.cmi \
    commons/ocamlextra/dumper.cmi \
    commons/common.cmi \
    ctl/ast_ctl.cmi \
    ctl/ctl_engine.cmi
ctl/ctl_engine.cmx : \
    ctl/pretty_print_ctl.cmx \
    commons/ograph_extended.cmx \
    ctl/flag_ctl.cmx \
    globals/flag.cmx \
    commons/ocamlextra/dumper.cmx \
    commons/common.cmx \
    ctl/ast_ctl.cmx \
    ctl/ctl_engine.cmi
