+common/options.cmo: lib/cps.cmx
+common/options.cmx: lib/cps.cmx
+common/hierarchy.cmi:
+common/hierarchy.cmo: lib/cps.cmx common/hierarchy.cmi
+common/hierarchy.cmx: lib/cps.cmx common/hierarchy.cmi
+common/output.cmi:
+common/output.cmo: common/options.cmx lib/log.cmi common/output.cmi
+common/output.cmx: common/options.cmx lib/log.cmx common/output.cmi
+common/entity.cmo: common/options.cmx lib/nUri.cmi automath/aut.cmx
+common/entity.cmx: common/options.cmx lib/nUri.cmx automath/aut.cmx
+common/library.cmi: common/entity.cmx
+common/library.cmo: lib/nUri.cmi common/hierarchy.cmi common/entity.cmx \
+ lib/cps.cmx common/library.cmi
+common/library.cmx: lib/nUri.cmx common/hierarchy.cmx common/entity.cmx \
+ lib/cps.cmx common/library.cmi