>> 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.
Are there a few build challenges left over for proper configuration checks around the bundling (or other source) of this software library? https://github.com/coccinelle/coccinelle/blob/cd539cd12ad0674d5a8f4c33f6c21ae00aec8e57/configure.ac#L152 https://github.com/coccinelle/coccinelle/blob/db45d7549bdde52f95bf2885ef652a42862854bb/setup/fake-menhir.sh#L5 Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
