-cicNotationPres.cmo: cicNotationPt.cmo cicNotationPres.cmi
-cicNotationPres.cmx: cicNotationPt.cmx cicNotationPres.cmi
+grafiteParser.cmo: grafiteAst.cmo cicNotationPt.cmo cicNotationParser.cmi \
+ grafiteParser.cmi
+grafiteParser.cmx: grafiteAst.cmx cicNotationPt.cmx cicNotationParser.cmx \
+ grafiteParser.cmi
+cicNotationRew.cmo: grafiteAst.cmo cicNotationUtil.cmi cicNotationPt.cmo \
+ cicNotationParser.cmi cicNotationMatcher.cmi cicNotationEnv.cmi \
+ cicNotationRew.cmi
+cicNotationRew.cmx: grafiteAst.cmx cicNotationUtil.cmx cicNotationPt.cmx \
+ cicNotationParser.cmx cicNotationMatcher.cmx cicNotationEnv.cmx \
+ cicNotationRew.cmi
+cicNotationPres.cmo: cicNotationUtil.cmi cicNotationPt.cmo \
+ cicNotationPres.cmi cicNotationPp.cmi cicNotationPres.cmi
+cicNotationPres.cmx: cicNotationUtil.cmx cicNotationPt.cmx \
+ cicNotationPres.cmx cicNotationPp.cmx cicNotationPres.cmi