Emilio Jesús Gallego Arias (Sep 20 2022 at 12:30): 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
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?
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: Apr 20 2024 at 03:40 UTC