From 2b636a03f937fcb6739f48f10b60323d80a84bca Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 7 Jan 2011 14:26:38 +0000
Subject: MacOS integration if `pkg-config --exists ige-mac-integration`,
 coqide.opt will be able to open files by double-clik in finder on Darwin.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13779 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/Makefile.template | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index 8000c6169f..cd92fc4461 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -138,6 +138,9 @@ STRIP=STRIPCOMMAND
 
 # CoqIde (no/byte/opt)
 HASCOQIDE=COQIDEOPT
+IDEOPTFLAGS=MACIGEFLAGS
+IDEOPTDEPS=MACIGEFILE
+IDEOPTP4=MACIGEP4
 
 # Defining REVISION
 CHECKEDOUT=CHECKEDOUTSOURCETREE
-- 
cgit v1.2.3