Since 2 days I have CoqIDE failing on Windows with:
C:\cygwin_coq_platform\opam\CP.2023.11.0~8.17~2023.08\lib\lablgtk3-sourceview3 -I ide/coqide/.platform_specific.objs/byte -I ide/coqide/.platform_specific.objs/native -intf-suffix .ml -no-alias-deps -o ide/coqide/.coqide_gui.objs/native/coqide_os_specific.cmx -c -impl ide/coqide/coqide_os_specific.ml)
2 File "ide/coqide/coqide_WIN32.ml.in", line 51, characters 37-68:
3 Error: Unbound value Glib.Io.channel_of_descr_socket
I did some windows compatibility adjustments around this many years back and this seems to have surfaced now. What I don't quite understand is why this fails for CoqIDE 8.17 and 8.18? Was there something back ported?
The last backport on v8.17 was 3 weeks ago and the last commit on v8.18 was 5 months ago, so probably something else is responsible for this change.
Last updated: Oct 13 2024 at 01:02 UTC