Stream: Elpi users & devs

Topic: Issues with latest Elpi on Windows


view this post on Zulip 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.

view this post on Zulip Enrico Tassi (Aug 12 2022 at 08:31):

never seen, and elpi had a win ci now... I can only think about a race which would be a dune bug

view this post on Zulip 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?

view this post on Zulip Paolo Giarrusso (Aug 12 2022 at 10:03):

(that = dune's menhir support, not elpi code I assume)

view this post on Zulip Enrico Tassi (Aug 12 2022 at 10:21):

That's my only guess, I think passing -j1 to dune will prove/disprove my guess

view this post on Zulip Enrico Tassi (Aug 12 2022 at 10:21):

(elpi is small, it won't change much in terms of compile time)

view this post on Zulip Michael Soegtrop (Aug 12 2022 at 13:37):

@Enrico Tassi : so for testing I should just add -j1 to dune in the opam file?

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Michael Soegtrop (Aug 13 2022 at 06:34):

@Enrico Tassi : this is the main blocker for the release of a 2022.09 preview.

view this post on Zulip 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: Feb 04 2023 at 01:03 UTC