diff options
| author | Vincent Laporte | 2019-04-04 12:01:12 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-04-15 12:17:41 +0000 |
| commit | e288b83845854ac79df0e2c1101d4fb2c5940f88 (patch) | |
| tree | 91555f6fb1022c885efa51ac81da67cb927e83b4 /ide | |
| parent | 9cfc7511daac15d7e5700f6cb0419ca6b67543c9 (diff) | |
[CoqIDE] Fix build system for macOS
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/macos_prehook.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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 |