ctl/wrapper_ctl.cmo : \
    globals/flag.cmi \
    ctl/ctl_engine.cmi \
    commons/common.cmi \
    ctl/ast_ctl.cmi \
    ctl/wrapper_ctl.cmi
ctl/wrapper_ctl.cmx : \
    globals/flag.cmx \
    ctl/ctl_engine.cmx \
    commons/common.cmx \
    ctl/ast_ctl.cmx \
    ctl/wrapper_ctl.cmi
