-engine.cmo : types.cmo options.cmo grafiteParser.cmi grafiteLexer.cmo \
- grafite.cmi gallina8Parser.cmi gallina8Lexer.cmo engine.cmi
-engine.cmx : types.cmx options.cmx grafiteParser.cmx grafiteLexer.cmx \
- grafite.cmx gallina8Parser.cmx gallina8Lexer.cmx engine.cmi
+grafite.cmi : types.cmo
+grafiteLexer.cmo : options.cmo grafiteParser.cmi
+grafiteLexer.cmx : options.cmx grafiteParser.cmx
+grafiteParser.cmo : types.cmo options.cmo grafiteParser.cmi
+grafiteParser.cmx : types.cmx options.cmx grafiteParser.cmi
+grafiteParser.cmi : types.cmo
+options.cmo :
+options.cmx :