Stream: Coq devs & plugin devs

Topic: Help with opam package


view this post on Zulip Chantal Keller (Jun 07 2023 at 09:57):

Hi
I am stuck on this PR because the compilation error is a Coq one.
Thanks for your help!

view this post on Zulip Karl Palmskog (Jun 07 2023 at 11:26):

it may be the usual dune executable/file problem. Could someone with more Dune knowledge than me confirm maybe? I have no idea how one can get non-erroring CI runs when this problem occurs.

view this post on Zulip Karl Palmskog (Jun 07 2023 at 11:28):

@Chantal Keller how about breaking out the non-development packages (not in extra-dev but released opam repo) into a different PR? They could likely be merged quite quickly then.

view this post on Zulip Gaëtan Gilbert (Jun 07 2023 at 11:34):

cc @Emilio Jesús Gallego Arias @Ali Caglayan

view this post on Zulip Ali Caglayan (Jun 07 2023 at 11:57):

very perculiar, I am not able to reproduce the error locally.

view this post on Zulip Ali Caglayan (Jun 07 2023 at 11:58):

Dune is complaining about a malformed dune file, however the 8.14 branch seems to be ok.

view this post on Zulip Ali Caglayan (Jun 07 2023 at 12:10):

trying again now

view this post on Zulip Ali Caglayan (Jun 07 2023 at 12:12):

really strange still not able to reproduce


Last updated: Feb 27 2024 at 23:01 UTC