Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03 about coq-serapi HOT 12 CLOSED

Hi @MSoegtropIMC , I'd like to release a new vesrsion once Coq 8.17 is released.

I have proposed a different organization of the Opam package setup in coq/opam#2442 which should helps towards removing this step for packages like SerAPI.

from coq-serapi.

@ejgallego : Just a reminder that Coq 8.17.0 is released. As far as I can tell there is no updated opam package for coq-serapi yet.

from coq-serapi.

@ejgallego : I just saw your PR on the opam repo. I will take your PR as local opam patch in Coq Platform and see if this works for me and if so gor for it in the beta.

from coq-serapi.

Dear Michael, indeed I'd suggest to use the official coq-serapi opam package that was just released.

from coq-serapi.

Note that I found a problem with newer serapi's failing to compile on windows due to file paths becoming too long!

That's unfortunate, and while it can be solved by renaming a directory, it seems still an issue in general for win support.

from coq-serapi.

I just started to work on Windows - let me see into what issues I run.

from coq-serapi.

Path length is likely the least problem - the main problem is that the MinGW repo is not updated any more - no dune.3.7.0, not coq.8.17.0, ... I can only live on Windows cause of the Coq Platform local patch repo where I copy all these packages.

from coq-serapi.

Yes that's a problem, maybe you could submit pull requests to https://github.com/ocaml-opam/opam-repository-mingw ?

Note that that repos already contains 4.14.1 for example.

from coq-serapi.

I understand you are aware of https://discuss.ocaml.org/t/sunsetting-opam-repository-mingw/11632 ?

from coq-serapi.

I generate the windows binaries using github CI + that repos, and they work kinda fine; modulo some fine tuning.

from coq-serapi.

@ejgallego : I shortened the path and serapi now just so works (4 chars extra with the default path). I add a test on the root path length and work with the OCaml team to remove unnecessary restrictions.

I close this issue.

For the records: I am using coq-serapi.8.17.0+0.17.0 in the 8.17 pick of Coq Platform 2023.03.

And thanks for the pointer to the new MinGW repo - this info came after I decided what to do on Windows for the 2023.03 release. I will try to update to the new repo.

from coq-serapi.

Thanks @MSoegtropIMC , I'm glad to hear that path shortening did work. It is a very annoying patch to carry but on the other hand it is easy to address.

Do you have an upstream OCaml issue about the path length limitation?

from coq-serapi.