diff options
author | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-07-21 15:50:20 +0200 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-07-22 17:13:32 +0200 |
commit | a088d03434417e935df3c75f81a954eadbdfc2b8 (patch) | |
tree | dcd5a5d4372236a46838106a13f3bf9a9e071dd2 /Makefile.common | |
parent | 4271bebb68b09ddcc0d283ab16acaab399e22f13 (diff) |
A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle
The created bundle contains only coqide and gtk (no coqtop, no stdlib)
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 11 |
1 files changed, 11 insertions, 0 deletions
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 |