Stream: Coq Platform devs & users

Topic: Status update


view this post on Zulip Michael Soegtrop (Oct 16 2020 at 08:30):

I just wanted to give a short status update. I am still working on getting all my opam patches upstream. This week the gappa package has been merged to main opam which was not that trivial because it also added some C++ infrastructure packages like bison, flex and automake which was a bit of effort to get through opam's multi platform CI (which I learned to appreciate). I would say 90% of my patches are upstream meanwhile, but some still need to propagate to the MinGW opam repo.

One important piece still missing is the adwaita icon theme required by CoqIDE which for whatever reason seams to require slightly different setup and/or test instructions on each Linux distro - the last remaining ones tested in opam CI and failing are OpenSuse and CentOS. I setup the VMs for this yesterday - I have a fairy complete set now :-)

I btw. decided that I am going to support those OS platforms which are tested in opam CI. The largest effort in multi platform support is setting up the test infrastructure and this exists already with the opam CI.

view this post on Zulip Théo Zimmermann (Oct 16 2020 at 12:26):

I btw. decided that I am going to support those OS platforms which are tested in opam CI. The largest effort in multi platform support is setting up the test infrastructure and this exists already with the opam CI.

That's great to hear!


Last updated: Jan 30 2023 at 11:03 UTC