On Fri, May 3, 2024 at 6:22 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > In Fedora we enable flambda in our OCaml package. Debian does not. As the person who pushed to get flambda enabled in Fedora, I feel kind of responsible for this. > We recently found that one package (coccinelle) takes much, much > longer to compile when this is enabled. As in one particular file > goes from seconds -> 30 minutes to compile. I investigated and the > difference is entirely explained by enabling flambda, and goes away > when disabled. Apart from this being annoying, it doesn't seem to be > a problem in any other way (for example, the final program doesn't > noticable run faster or slower). Upstream coccinelle seem to be using > Debian and therefore haven't seen the problem. > > Thread about all that: > https://lore.kernel.org/cocci/20240502085433.GA30267@xxxxxxxxxx/ > > This email is mostly to notify that this is happening. I'm not sure > if a single package slowing down compilation means we need to do > anything here, but if anyone else sees similar symptoms, let us know. Wow, that's an amazing blow up in compile time. I note that the file in question is generated by menhir. I remember seeing reports that some menhir features generate code that cause compile times to explode. I can't seem to find a usable link to the menhir mailing list archives at the moment. I can experiment with the different code generation options from menhir and see if anything helps. Also, I was going to contact you about this today, but OCaml 5.2.0RC1 was tagged yesterday. I started doing test builds here: https://copr.fedorainfracloud.org/coprs/jjames/OCaml5.2/ I need to build a few more packages before coccinelle can be attempted, but it will be interesting to see if the build time improves. -- 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
