main.cmo : \
    enter.cmi \
    engine/ctlcocci_integration.cmi \
    commons/common.cmi \
    main.cmi
main.cmx : \
    enter.cmx \
    engine/ctlcocci_integration.cmx \
    commons/common.cmx \
    main.cmi
