Stream: Coq devs & plugin devs

Topic: CoqIDE Failing in Coq Platform CI on Windows since 2 days


view this post on Zulip Michael Soegtrop (Feb 02 2024 at 10:09):

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?

view this post on Zulip Théo Zimmermann (Feb 05 2024 at 15:06):

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