From b9585af9ef6e280ec1aa53e50833a3fa58c1763c Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 11 Dec 2013 10:35:47 +0100 Subject: Fix CoqIDE compilation under standard version of lablgtk2 We use the win32 specific function only if WIN32 is defined --- ide/coqide_main.ml4 | 1 + 1 file changed, 1 insertion(+) (limited to 'ide/coqide_main.ml4') diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4 index 48983dff7..5c960c444 100644 --- a/ide/coqide_main.ml4 +++ b/ide/coqide_main.ml4 @@ -91,6 +91,7 @@ let () = Coq.killer := win32_kill; Coq.soft_killer := win32_kill; Coq.interrupter := win32_interrupt; + Coq.gio_channel_of_descr_socket := Glib.Io.channel_of_descr_socket; set_win32_path (); reroute_stdout_stderr () END -- cgit v1.2.3