ocsipersist.cmi:
ocsipersist.cmo: ../../baselib/ocsigen_messages.cmi \
    ../../server/ocsigen_extensions.cmi ../../baselib/ocsigen_config.cmi \
    ocsipersist.cmi
ocsipersist.cmx: ../../baselib/ocsigen_messages.cmx \
    ../../server/ocsigen_extensions.cmx ../../baselib/ocsigen_config.cmx \
    ocsipersist.cmi
