Stream: Dune devs & users

Topic: recommended using coq version

Karl Palmskog (Sep 23 2021 at 15:28):

@Emilio Jesús Gallego Arias is (using coq 0.3) now the recommended default for everyone using Dune for Coq in CI and so on? And what would be the corresponding lang dune and opam dune version bounds?

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:32):

Hi @Karl Palmskog , I think it is safe to recommend 0.3; the documentation says:
" 0.3: support for (mode native), requires Coq >= 8.10 (and dune >= 2.9 for Coq >= 8.14)."

however you need to pick the readthedocs unstable branch, not sure if the stable is updating correctly

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:33):

If that's not very clear, it means that Dune 2.9 includes special support for 8.14 new native warnings

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:33):

otherwise you get noise

Karl Palmskog (Sep 23 2021 at 15:33):

ah, the "dune >= 2.9 for Coq >= 8.14" is really hard to specify

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:33):

actually it is not a big deal, you get noise if dune 0.2 and Coq < 8.14, which can be disabled with -w

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:34):

I hope anyways that for Dune 3.0 due this fall/winter we can arrive to Coq lang 1.0

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:34):

we will see

Karl Palmskog (Sep 23 2021 at 15:35):

hmm, based on above, I'm inclined to start specifying:

(lang dune 2.9)
(using coq 0.3)

and setting in the opam file: "dune" {>= "2.9"}

any obvious drawbacks if this is used across many Coq versions?

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:47):

Only works for Coq >= 8.10

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:47):

other than that, not any obvious ones

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:47):

note that dune 2.8 is very close to 2.9

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:47):

and coq lang 0.2 is almost identical to 0.3

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:48):

so other than the bits for 8.14 there is little difference between 2.8 and 2.9

Emilio Jesús Gallego Arias (Sep 23 2021 at 15:48):

The opam file should produce the correct dune version if it is generated by the way

Karl Palmskog (Sep 23 2021 at 15:58):

OK, 8.9 is usually driving me nuts anyway

Last updated: Oct 13 2024 at 01:02 UTC