grafiteSync.cmi: grafiteTypes.cmi 
grafiteEngine.cmi: grafiteTypes.cmi 
grafiteTypes.cmo: grafiteTypes.cmi 
grafiteTypes.cmx: grafiteTypes.cmi 
grafiteSync.cmo: grafiteTypes.cmi grafiteSync.cmi 
grafiteSync.cmx: grafiteTypes.cmx grafiteSync.cmi 
grafiteEngine.cmo: grafiteTypes.cmi grafiteSync.cmi grafiteEngine.cmi 
grafiteEngine.cmx: grafiteTypes.cmx grafiteSync.cmx grafiteEngine.cmi