[Cocci] 1.0.0-rc23 release - Menhir updates

Julia Lawall julia.lawall at lip6.fr
Tue Dec 16 15:51:23 CET 2014


On Tue, 16 Dec 2014, SF Markus Elfring wrote:

> > - Some parsing and pretty printing improvements.
>
> Dear Julia,
>
> I have installed the current parser generator "Menhir 20141215"
> on my openSUSE Tumbleweed system a moment ago.
>
> The corresponding build works a bit longer for your software
> when I try a configuration variant out with the simple command
> "./configure --enable-release".
> Unfortunately, I stumble on another surprise then.
>
> elfring at Sonne:~/Projekte/Coccinelle/1.0.0-rc23> LANG=C make all
> ...
> /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parser_cocci_menhir.ml
> File "parser_cocci_menhir.ml", line 1879, characters 8-321:
> Error: The record field MenhirLib.EngineTypes.stack is not mutable
> Makefile:126: recipe for target 'parser_cocci_menhir.cmx' failed
> make[6]: *** [parser_cocci_menhir.cmx] Error 2
> make[6]: Leaving directory '/home/elfring/Projekte/Coccinelle/1.0.0-rc23/parsing_cocci'
> Makefile:82: recipe for target 'all.opt' failed
> ...
>
> How should this implementation detail be resolved?
>
> Do I need to reuse an older Menhir software library here?

I haven't tried the new version of menhir.  Thanks for the warning.
Perhaps you can use the old version for the moment.

julia


More information about the Cocci mailing list