On Fri, May 3, 2024 at 11:18 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > I tested the tip of the 5.1 branch upstream and that still had the > issue. I didn't test 5.2. Here's a build with OCaml 5.2.0rc1: https://copr.fedorainfracloud.org/coprs/jjames/OCaml5.2/build/7416844/ As you can see, the build times are still terrible. I tried switching from menhir's default code backend to its table backend, and compilation of the emitted file was so fast it was below the level of (my) perception. The tradeoff between the code and table backends is described in Section 1, Foreword, here: http://cambium.inria.fr/~fpottier/menhir/manual.html I don't know what percentage of the total runtime coccinelle spends in the parser, but if it is a small percentage, then maybe the small slowdown from using the table backend is worth the massive decrease in build time. -- Jerry James http://www.jamezone.org/ -- _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
