From 258517725bda26d8d7eb273e438998a0c541a93e Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 25 Apr 2019 12:45:50 +0000
Subject: CoqIDE: install icons on macOS

---
 Makefile.ide        | 2 ++
 azure-pipelines.yml | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile.ide b/Makefile.ide
index c580bbc680..4cec7aa443 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -68,6 +68,7 @@ GTKBIN=$(shell pkg-config --variable=prefix gtk+-3.0)/bin
 GTKLIBS=$(shell pkg-config --variable=libdir gtk+-3.0)
 PIXBUFBIN=$(shell pkg-config --variable=prefix gdk-pixbuf-2.0)/bin
 SOURCEVIEWSHARE=$(shell pkg-config --variable=prefix gtksourceview-3.0)/share
+ADWAITASHARE=$(shell ls -d /usr/local/Cellar/adwaita-icon-theme/*)/share
 
 ###########################################################################
 # CoqIde special targets
@@ -257,6 +258,7 @@ $(COQIDEAPP)/Contents/Resources/share: $(COQIDEAPP)/Contents
 	cp -R "$(GTKSHARE)/"themes $@
 	$(MKDIR) $@/glib-2.0/schemas
 	glib-compile-schemas --targetdir=$@/glib-2.0/schemas "$(GTKSHARE)/"glib-2.0/schemas/
+	cp -R "$(ADWAITASHARE)/"icons $@
 
 $(COQIDEAPP)/Contents/Resources/loaders: $(COQIDEAPP)/Contents
 	$(MKDIR) $@
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 6fcc64f77e..f09087b172 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -52,7 +52,7 @@ jobs:
   - script: |
       set -e
       brew update
-      brew install gnu-time opam pkg-config gtksourceview3
+      brew install gnu-time opam pkg-config gtksourceview3 adwaita-icon-theme
       pip3 install macpack
     displayName: 'Install system dependencies'
 
-- 
cgit v1.2.3