@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:
On MacOS and Ubuntu it compiles fine.
never seen, and elpi had a win ci now... I can only think about a race which would be a dune bug
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?
(that = dune's menhir support, not elpi code I assume)
That's my only guess, I think passing
-j1 to dune will prove/disprove my guess
(elpi is small, it won't change much in terms of compile time)
@Enrico Tassi : so for testing I should just add
-j1 to dune in the opam file?
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.
-j1 since the original opam file also used a space). This did not work.
@Enrico Tassi : this is the main blocker for the release of a 2022.09 preview.
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: Feb 04 2023 at 01:03 UTC