]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/binaries/transcript/.depend.opt
4ee9ad4e61836051d85210afc6a8714a0325400a
[helm.git] / helm / software / components / binaries / transcript / .depend.opt
1 gallina8Parser.cmi: types.cmx
2 grafiteParser.cmi: types.cmx
3 grafite.cmi: types.cmx
4 engine.cmi:
5 types.cmo:
6 types.cmx:
7 options.cmo:
8 options.cmx:
9 gallina8Parser.cmo: types.cmx options.cmx gallina8Parser.cmi
10 gallina8Parser.cmx: types.cmx options.cmx gallina8Parser.cmi
11 gallina8Lexer.cmo: options.cmx gallina8Parser.cmi
12 gallina8Lexer.cmx: options.cmx gallina8Parser.cmx
13 grafiteParser.cmo: types.cmx options.cmx grafiteParser.cmi
14 grafiteParser.cmx: types.cmx options.cmx grafiteParser.cmi
15 grafiteLexer.cmo: options.cmx grafiteParser.cmi
16 grafiteLexer.cmx: options.cmx grafiteParser.cmx
17 grafite.cmo: types.cmx options.cmx grafite.cmi
18 grafite.cmx: types.cmx options.cmx grafite.cmi
19 engine.cmo: types.cmx options.cmx grafiteParser.cmi grafiteLexer.cmx \
20     grafite.cmi gallina8Parser.cmi gallina8Lexer.cmx engine.cmi
21 engine.cmx: types.cmx options.cmx grafiteParser.cmx grafiteLexer.cmx \
22     grafite.cmx gallina8Parser.cmx gallina8Lexer.cmx engine.cmi
23 top.cmo: options.cmx engine.cmi
24 top.cmx: options.cmx engine.cmx