diff options
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 |