use dune 3.16.0

[emillon]

(will update PR as release process progresses)

[anmonteiro]

a few issues here

• macOS failures failing to find <atomic.h>
• melange broken on 5.2 (what's this new flags -bin-annot-occurrences?)

[emillon]

• -bin-annot-occurrences is a new flag in 5.2 that tells the compiler to add "shape" information in the cmt files. Dune will use that if available. If dune drives melc like an ocaml compiler, I think you'll have to add an ignored flag.
• the atomic failures do happen on dune 3.15.3 don't they? in that case that's an issue with how 5.2 is built on nix

[anmonteiro]

• the atomic failures do happen on dune 3.15.3 don't they? in that case that's an issue with how 5.2 is built on nix

I don’t remember, but 5.2 has been supported for a while; why would it be a packaging bug when the dune upgrade introduced it?

[anmonteiro]

• the atomic failures do happen on dune 3.15.3 don't they? in that case that's an issue with how 5.2 is built on nix

I don’t remember, but 5.2 has been supported for a while; why would it be a packaging bug when the dune upgrade introduced it?

ah I see it in other places, too. I think it's minisat that's badly packaged upstream.

[anmonteiro]

This now works after having released Melange 4.0.1-52 with support for -bin-annot-occurrences.

[emillon]

great, thanks. I'm keeping this open to test the next alpha.