grafiteLexer.cmx: options.cmx grafiteParser.cmx
grafite.cmo: types.cmo options.cmo grafite.cmi
grafite.cmx: types.cmx options.cmx grafite.cmi
-engine.cmo: types.cmo options.cmo grafite.cmi gallina8Parser.cmi \
- gallina8Lexer.cmo engine.cmi
-engine.cmx: types.cmx options.cmx grafite.cmx gallina8Parser.cmx \
- gallina8Lexer.cmx engine.cmi
+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
top.cmo: options.cmo engine.cmi
top.cmx: options.cmx engine.cmx