I doubt it will help much, but you can get rid of the need to link with menhirLib by removing the option --table in parsing_cocci/Makefile. You will end up with a .ml file of over 100 000 lines, which may cause other problems for the ocaml compiler.
julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
