[Omake] menhir --infer + ocamldep -natives

Mike Furr furr at cs.umd.edu
Thu May 31 07:05:18 PDT 2007


Aleksey Nogin wrote:
> Between the different failure scenarios you've sent, I am a bit confused 
> which ones remain and which ones were due to having a wrong 
> OCAMLINCLUDES. Could you may be re-state your current understanding of 
> the problem?

Sure.  The problem is that if I have a .mly which builds an .ml file 
with menhir --infer and OCAMLDEP_MODULES_ENABLED=true, omake does not 
add the proper dependencies to the .ml file.  I believe I have created a 
minimal reproducible example of the problem in the attached tgz.  To 
trigger it, simply unpack the tarball and run 'omake test.ml'.

This is on my mac with ocaml 3.10.0.

-Mike
-------------- next part --------------
A non-text attachment was scrubbed...
Name: menhir-prob.tar.gz
Type: application/gzip
Size: 1297 bytes
Desc: not available
Url : http://lists.metaprl.org/pipermail/omake/attachments/20070531/c676d9e0/menhir-prob.tar.bin


More information about the Omake mailing list