Andre

For future reference (for me and others): something is still not 100% right in my Cygwin+MinGW setting, because even if I could install cairo2, I then had issues with lablgtk3....

I'm unable to reproduce any errors on Linux; with Fedora 40, after installing dependencies such as `gtk2-devel` and `lablgtk`, `dune build` just works. Notice that, despite the unusual usage of...

What OS and architecture are you using? I think they might be relevant. I personally never compiled Dune directly, I always installed it via opam (`opam install dune`).

I still believe trying to use opam would be beneficial in the long run, it's nowadays the "standard" way to install most things in OCaml, and I'd not even considered...

Thanks for the tip. I just downgraded to 2.35.2-1 (from 2.36.1-2) and recompiled Why3 and Frama-C, however it still didn't work. I'll try 2.35.1-1, and otherwise try a clean reinstall,...

Just to make sure, is the issue still supposed to happen if I install the OCaml switch `4.12.0+mingw64c`? Because I did so, and it still doesn't work with binutils 2.36...

Ok, thanks for the clarification. I think we have no constraints w.r.t. OCaml versions, so the backport is not very important to us. Just knowing that it will still work...

Thanks for the report. Indeed, I'm afraid this is a "known issue" in the code that we never had the time to look at, and since we only use headache...