Stream: Dune devs & users

Topic: Coq Roadmap for 3.5


view this post on Zulip Emilio Jesús Gallego Arias (Sep 20 2022 at 12:30):

Hi folks, this is the current things in the roadmap for 3.5, in case someone would like to help:

Not likely to make it: support for user-contrib, tho the first point is essential for this (as to allow Dune to query for Coq's default dir)

Also, there are quite a few items to do upstream, usually grouped in the Dune project https://github.com/coq/coq/projects/15

view this post on Zulip Gaëtan Gilbert (Sep 20 2022 at 12:48):

Coq test suite port

How's this related to the dune version? Does it need some dune feature or bugfix?

view this post on Zulip Emilio Jesús Gallego Arias (Sep 20 2022 at 14:38):

Gaëtan Gilbert said:

Coq test suite port

How's this related to the dune version? Does it need some dune feature or bugfix?

Not essentially, but IMHO there are many little things we could do to improve Dune's test runners based on the test-suite need, and of course the (include ...) PR is pretty necessary for us.


Last updated: Feb 04 2023 at 02:03 UTC