@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?

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

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

otherwise you get noise

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

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

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

we will see

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?

Only works for Coq >= 8.10

other than that, not any obvious ones

note that dune 2.8 is very close to 2.9

and coq lang 0.2 is almost identical to 0.3

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

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

OK, 8.9 is usually driving me nuts anyway

Last updated: Oct 16 2021 at 07:02 UTC