odyl_main.cmo: odyl_config.cmo odyl_main.cmi 
odyl_main.cmx: odyl_config.cmx odyl_main.cmi 
odyl.cmo: odyl_config.cmo odyl_main.cmi 
odyl.cmx: odyl_config.cmx odyl_main.cmx