-v8Parser.cmo: types.cmo options.cmo v8Parser.cmi
-v8Parser.cmx: types.cmx options.cmx v8Parser.cmi
-v8Lexer.cmo: v8Parser.cmi options.cmo
-v8Lexer.cmx: v8Parser.cmx options.cmx
+engine.cmi:
+types.cmo:
+types.cmx:
+options.cmo:
+options.cmx:
+gallina8Parser.cmo: types.cmo options.cmo gallina8Parser.cmi
+gallina8Parser.cmx: types.cmx options.cmx gallina8Parser.cmi
+gallina8Lexer.cmo: options.cmo gallina8Parser.cmi
+gallina8Lexer.cmx: options.cmx gallina8Parser.cmx
+grafiteParser.cmo: types.cmo options.cmo grafiteParser.cmi
+grafiteParser.cmx: types.cmx options.cmx grafiteParser.cmi
+grafiteLexer.cmo: options.cmo grafiteParser.cmi
+grafiteLexer.cmx: options.cmx grafiteParser.cmx