--- /dev/null
+grafiteTypes.cmi:
+nCicCoercDeclaration.cmi: grafiteTypes.cmi
+grafiteEngine.cmi: grafiteTypes.cmi
+grafiteTypes.cmo: grafiteTypes.cmi
+grafiteTypes.cmx: grafiteTypes.cmi
+nCicCoercDeclaration.cmo: grafiteTypes.cmi nCicCoercDeclaration.cmi
+nCicCoercDeclaration.cmx: grafiteTypes.cmx nCicCoercDeclaration.cmi
+grafiteEngine.cmo: nCicCoercDeclaration.cmi grafiteTypes.cmi \
+ grafiteEngine.cmi
+grafiteEngine.cmx: nCicCoercDeclaration.cmx grafiteTypes.cmx \
+ grafiteEngine.cmi