Michael Soegtrop (Aug 12 2022 at 07:39): Michael Soegtrop (Aug 12 2022 at 07:39):@Enrico Tassi : I have CI issues with latest elpi on Windows (the version shipped with Coq Platform 2022.04.1 was fine). The issue is reproducible in CI, but it seems to work in local Windows builds - need to double check. Maybe you can anyway see from the error message what it might be:
(https://github.com/coq/platform/runs/7787507196?check_suite_focus=true#step:5:2345)
On MacOS and Ubuntu it compiles fine.
Enrico Tassi (Aug 12 2022 at 08:31):never seen, and elpi has a win ci now... I can only think about a race which would be a dune bug
Paolo Giarrusso (Aug 12 2022 at 10:02):Makes sense: The only relevant elpi change was moving from camlp5 to menhir, which has special support in dune... maybe that's the buggy code?
Paolo Giarrusso (Aug 12 2022 at 10:03):(that = dune's menhir support, not elpi code I assume)
Enrico Tassi (Aug 12 2022 at 10:21):That's my only guess, I think passing -j1 to dune will prove/disprove my guess
Enrico Tassi (Aug 12 2022 at 10:21):(elpi is small, it won't change much in terms of compile time)
Michael Soegtrop (Aug 12 2022 at 13:37):@Enrico Tassi : so for testing I should just add -j1 to dune in the opam file?
Michael Soegtrop (Aug 12 2022 at 13:44):One more data point: in CI it is 8 out of 8 reproducible (with j2). Locally I used j8 (on a 128GB machine). I will try j2 locally.
Michael Soegtrop (Aug 13 2022 at 06:34):I tried -j 1(not -j1 since the original opam file also used a space). This did not work.
See: https://github.com/coq/platform/runs/7811167660?check_suite_focus=true#step:5:2503
Michael Soegtrop (Aug 13 2022 at 06:34):@Enrico Tassi : this is the main blocker for the release of a 2022.09 preview.
Enrico Tassi (Aug 13 2022 at 19:51):maybe you can post in the dune stream. I'm sorry but I'm on VAC and "it is working here" so I'm a bit out of ideas...
Last updated: Oct 13 2024 at 01:02 UTC