diff options
| author | Vincent Laporte | 2019-04-25 12:45:50 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-04-25 13:24:25 +0000 |
| commit | 258517725bda26d8d7eb273e438998a0c541a93e (patch) | |
| tree | 299cd9d22758b2af254968230d3279f293751001 /Makefile.ide | |
| parent | 5411b109d3a8575fdc012b51bbc418ad84dc686f (diff) | |
CoqIDE: install icons on macOS
Diffstat (limited to 'Makefile.ide')
| -rw-r--r-- | Makefile.ide | 2 |
1 files changed, 2 insertions, 0 deletions
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) $@ |