From a088d03434417e935df3c75f81a954eadbdfc2b8 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Mon, 21 Jul 2014 15:50:20 +0200
Subject: A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle

The created bundle contains only coqide and gtk (no coqtop, no stdlib)
---
 Makefile.common | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 8a70273ad..4bc203197 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -43,6 +43,8 @@ MKDIR:=install -d
 
 COQIDEBYTE:=bin/coqide.byte$(EXE)
 COQIDE:=bin/coqide$(EXE)
+COQIDEAPP:=bin/CoqIDE_$(VERSION).app
+COQIDEINAPP:=$(COQIDEAPP)/Contents/MacOS/coqide
 
 ifeq ($(BEST),opt)
 OPT:=opt
@@ -362,6 +364,15 @@ DOCMLIS=$(wildcard ./lib/*.mli ./intf/*.mli ./kernel/*.mli ./library/*.mli \
 DOT=dot
 ODOCDOTOPTS=-dot -dot-reduce
 
+###########################################################################
+# GTK for Coqide MacOS bundle
+###########################################################################
+
+GTKSHARE=$(shell pkg-config --variable=prefix gtk+-2.0)/share
+GTKBIN=$(shell pkg-config --variable=prefix gtk+-2.0)/bin
+GTKLIBS=$(shell pkg-config --variable=libdir gtk+-2.0)
+
+
 # For emacs: 
 # Local Variables: 
 # mode: makefile 
-- 
cgit v1.2.3