On Tue, 17 May 2016, Luis R. Rodriguez wrote:
> On Tue, May 17, 2016 at 1:52 PM, Julia Lawall <[email protected]> wrote: > > On Tue, 17 May 2016, Luis R. Rodriguez wrote: > >> Its my understanding that if I don't have parser_cocci_menhir.ml then > >> I need menhir -- but I also was under the impression that menhir would > >> not be required for github users? Can someone confirm? > > > > Once you do make distclean, you need to have menhir installed. But I > > think that if you do a git checkout -- . you would return to a viable > > state. > > Thanks, I tried 'git checkout -f' after 'git clean -f -x -d' and prior > to moving forward made sure to rm -rf menhir. I ended up in the same > place with github: > > make[2]: Entering directory '/sda3/home/mcgrof/devel/coccinelle/parsing_cocci' > /usr/bin/ocamllex.opt lexer_cocci.mll > /usr/bin/ocamllex.opt lexer_cli.mll > /usr/bin/ocamllex.opt lexer_script.mll > /home/mcgrof/devel/coccinelle/setup/fake-menhir.sh menhir --ocamlc > "/usr/bin/ocamlc.opt" --ocamldep "/usr/bin/ocamldep" --table --base > parser_cocci_menhir parser_cocci_menhir.mly > error: the file parser_cocci_menhir.ml is needed, which requires > preprocessing by menhir to obtain it from parser_cocci_menhir.mly. > However, menhir is not enabled. Indeed, it is not there. I guess it was decided that people who use github should have the capability to generate everything from scratch. But I don't really know... Will check. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
