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. Luis _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
