-pxpUriResolver.cmo: csc_pxp_reader.cmo
-pxpUriResolver.cmx: csc_pxp_reader.cmx
+pxpUriResolver.cmi: csc_pxp_reader.cmi
+csc_pxp_reader.cmo: csc_pxp_reader.cmi
+csc_pxp_reader.cmx: csc_pxp_reader.cmi
+pxpUriResolver.cmo: csc_pxp_reader.cmi pxpUriResolver.cmi
+pxpUriResolver.cmx: csc_pxp_reader.cmx pxpUriResolver.cmi