pconfig.cmo : \
    pconfig.cmi
pconfig.cmx : \
    pconfig.cmi
pconfig.cmi :
warnings.cmi :
