--- /dev/null
+grafiteAstPp.cmi: grafiteAst.cmo
+grafiteParser.cmi: grafiteAst.cmo
+cicNotation.cmi: grafiteAst.cmo
+grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi
+grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi
+grafiteParser.cmo: grafiteAst.cmo grafiteParser.cmi
+grafiteParser.cmx: grafiteAst.cmx grafiteParser.cmi
+cicNotation.cmo: grafiteParser.cmi grafiteAst.cmo cicNotation.cmi
+cicNotation.cmx: grafiteParser.cmx grafiteAst.cmx cicNotation.cmi