From 5411b109d3a8575fdc012b51bbc418ad84dc686f Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 25 Apr 2019 10:07:34 +0000
Subject: CoqIDE: fix open-file dialog on macOS

---
 Makefile.ide | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile.ide b/Makefile.ide
index 8f9088a04a..c580bbc680 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -255,6 +255,8 @@ $(COQIDEAPP)/Contents/Resources/share: $(COQIDEAPP)/Contents
 	$(INSTALLLIB) "$(SOURCEVIEWSHARE)/"gtksourceview-3.0/styles/{styles.rng,classic.xml} $@/gtksourceview-3.0/styles/
 	cp -R "$(GTKSHARE)/"locale $@
 	cp -R "$(GTKSHARE)/"themes $@
+	$(MKDIR) $@/glib-2.0/schemas
+	glib-compile-schemas --targetdir=$@/glib-2.0/schemas "$(GTKSHARE)/"glib-2.0/schemas/
 
 $(COQIDEAPP)/Contents/Resources/loaders: $(COQIDEAPP)/Contents
 	$(MKDIR) $@
-- 
cgit v1.2.3