src/basic_rg/brgValidity.cmx src/basic_rg/brgType.cmx \
src/basic_rg/brgReduction.cmx src/basic_rg/brgEnvironment.cmx \
src/basic_rg/brg.cmx src/basic_rg/brgUntrusted.cmi
-src/basic_rg/brgGrafite.cmi : src/basic_rg/brg.cmx
+src/basic_rg/brgGrafite.cmi :
src/basic_rg/brgGrafite.cmo : src/common/options.cmx src/common/layer.cmi \
src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
src/common/alpha.cmi src/basic_rg/brgGrafite.cmi
src/basic_rg/brgGrafite.cmx : src/common/options.cmx src/common/layer.cmx \
src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
src/common/alpha.cmx src/basic_rg/brgGrafite.cmi
-src/basic_rg/brgGallina.cmi : src/basic_rg/brg.cmx
+src/basic_rg/brgGallina.cmi :
src/basic_rg/brgGallina.cmo : src/common/options.cmx src/common/layer.cmi \
src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
src/common/alpha.cmi src/basic_rg/brgGallina.cmi
src/basic_rg/brgGallina.cmx : src/common/options.cmx src/common/layer.cmx \
src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
src/common/alpha.cmx src/basic_rg/brgGallina.cmi
-src/basic_rg/brgLP.cmi : src/basic_rg/brg.cmx
+src/basic_rg/brgLP.cmi :
src/basic_rg/brgLP.cmo : src/common/options.cmx src/common/layer.cmi \
src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brg.cmx \
src/common/alpha.cmi src/basic_rg/brgLP.cmi