globals/iteration.cmo : \
    globals/flag.cmi \
    commons/common.cmi \
    globals/iteration.cmi
globals/iteration.cmx : \
    globals/flag.cmx \
    commons/common.cmx \
    globals/iteration.cmi
