wrappi_boilerplate.cmi:
wrappi_boilerplate.cmo: wrappi_pr.cmi wrappi_boilerplate.cmi
wrappi_boilerplate.cmx: wrappi_pr.cmx wrappi_boilerplate.cmi
wrappi_c.cmi:
wrappi_c.cmo: wrappi_pr.cmi wrappi_boilerplate.cmi wrappi_c.cmi
wrappi_c.cmx: wrappi_pr.cmx wrappi_boilerplate.cmx wrappi_c.cmi
wrappi_main.cmo: wrappi_pr.cmi wrappi_c.cmi
wrappi_main.cmx: wrappi_pr.cmx wrappi_c.cmx
wrappi_pr.cmi:
wrappi_pr.cmo: wrappi_pr.cmi
wrappi_pr.cmx: wrappi_pr.cmi