grafiteAst.cmx :
grafiteAstPp.cmx : \
    grafiteAst.cmx \
    grafiteAstPp.cmi
grafiteAstPp.cmi : \
    grafiteAst.cmx