On Mon, Feb 27, 2012 at 1:34 PM, Julia Lawall <julia.lawall at lip6.fr> wrote: >Did you get it from git or from the web page? Git. Now I did do the make distclean and install menhir from a source drop. I'm getting lots further. I think your supposition was right, that there was an r9 file lurking in the git tree. ron