Stream: Nix toolbox devs & users

Topic: Elpi dev jobs failing


view this post on Zulip Karl Palmskog (Jan 01 2024 at 17:48):

We recently fixed some issues with the development version of Coq-Elpi. However, while opam now works fine, Nix-related Elpi jobs seem to be failing left and right, for example here. What needs to be done to "refresh" Coq-Elpi so it builds in Nix CI with Coq master again?

view this post on Zulip Cyril Cohen (Jan 02 2024 at 08:13):

Hi @Karl Palmskog I guess this is the line which should be fixed?
https://github.com/coq-community/reglang/blob/master/.nix/config.nix#L84

view this post on Zulip Cyril Cohen (Jan 02 2024 at 08:15):

Do you know which branch of coq-elpi should now be compiled against coq master ?

view this post on Zulip Enrico Tassi (Jan 02 2024 at 08:23):

That branch is fine

view this post on Zulip Karl Palmskog (Jan 02 2024 at 09:09):

right, I think the setup with branches and coq-elpi hasn't changed (and should work now), but it was stale for a while

view this post on Zulip Karl Palmskog (Jan 02 2024 at 10:31):

my guess: the coq-elpi package definition in some Nix repository is tied to an earlier version of Elpi than what coq-elpi coq-master supports (it needs Elpi 1.18.1, which I'm not sure has been Nix-packaged yet)

view this post on Zulip Cyril Cohen (Jan 02 2024 at 11:10):

indeed!

view this post on Zulip Cyril Cohen (Jan 02 2024 at 11:17):

https://github.com/coq-community/reglang/pull/69#issue-2062274174

view this post on Zulip Karl Palmskog (Jan 02 2024 at 11:18):

thanks! I try to learn a little Nix at a time, this should be enough to fix similar issues in the future


Last updated: May 25 2024 at 19:02 UTC