From e288b83845854ac79df0e2c1101d4fb2c5940f88 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 4 Apr 2019 12:01:12 +0000
Subject: [CoqIDE] Fix build system for macOS

---
 ide/macos_prehook.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'ide')

diff --git a/ide/macos_prehook.ml b/ide/macos_prehook.ml
index d668788954..dc8fd0e85d 100644
--- a/ide/macos_prehook.ml
+++ b/ide/macos_prehook.ml
@@ -24,13 +24,13 @@ let () = Unix.putenv "GTK_DATA_PREFIX" resources_dir
 let () = Unix.putenv "GTK_EXE_PREFIX" resources_dir
 let () = Unix.putenv "GTK_PATH" resources_dir
 let () =
-  Unix.putenv "GTK2_RC_FILES" (Filename.concat etc_dir "gtk-2.0/gtkrc")
+  Unix.putenv "GTK3_RC_FILES" (Filename.concat etc_dir "gtk-3.0/gtkrc")
 let () =
   Unix.putenv "GTK_IM_MODULE_FILE"
-   (Filename.concat etc_dir "gtk-2.0/gtk-immodules.loaders")
+   (Filename.concat etc_dir "gtk-3.0/gtk-immodules.loaders")
 let () =
   Unix.putenv "GDK_PIXBUF_MODULE_FILE"
-   (Filename.concat etc_dir "gtk-2.0/gdk-pixbuf.loaders")
+   (Filename.concat etc_dir "gtk-3.0/gdk-pixbuf.loaders")
 let () = Unix.putenv "PANGO_LIBDIR" lib_dir
 let () = Unix.putenv "PANGO_SYSCONFIGDIR" etc_dir
 let () = Unix.putenv "CHARSETALIASDIR" lib_dir
-- 
cgit v1.2.3