[Omake] Changes in MenhirMulti or OCamlGeneratedFiles

Nick Kidd kidd at cs.wisc.edu
Thu Mar 22 17:37:06 PDT 2007


Hi Aleksey,

Thanks for the quick response.
On Mar 22, 2007, at 4:29 PM, Aleksey Nogin wrote:

> On 22.03.2007 12:36, Nicholas Kidd wrote:
>
>> I recently upgraded to omake 0.9.8.1 via GODI. That all worked  
>> fine; however, omake now fails to build my project. It is  
>> detecting a deadlock on a generated file 'parser.mli'. Was there a  
>> change in detecting dependencies or in the MenhirMulti rules?
>
> Yes, Menhir dependency scanning had a bug, which was fixed.

Good news! I didn't see this in the changelog. Is it documented  
anywhere? As I mentioned, I use GODI for installing most OCaml  
software. The Menhir package that comes with GODI has examples under  
godi/share/doc/menhir/demos. The OMake commands they define take an  
extra "flags" argument (i.e., MenhirMulti(target,sources,flags)). I  
think this is easier than using the global MENHIR_FLAGS variable,  
namely because of the --tokens-only and --external-tokens flags.  
Would it be possible to add this capability to OCaml.om?

>
> In general, the Menhir and the "OCamlGeneratedFiles" just do not  
> play well together (unless you are very careful to do it precisely  
> right). If you are using Menhir and are not running on Mac OS X,  
> your best bet is probably to set OCAMLDEP_MODULES_ENABLED to true.

Alas, I am an OS X user. I have been hoping that this was going to be  
fixed. I'll be looking forward to 0.9.8.2 :)

Thanks,
-Nick





More information about the Omake mailing list