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
---
 Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 9e45758c48..b2581776a7 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -220,7 +220,7 @@ LINKCMX:=$(CONFIG:.cmo=.cmx) $(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa)
 IDECMA:=ide/ide.cma
 
 LINKIDE:=$(LINKCMO) $(IDECMA) ide/coqide_main.ml
-LINKIDEOPT:=$(LINKCMX) $(IDECMA:.cma=.cmxa) ide/coqide_main.ml
+LINKIDEOPT:=$(IDEOPTDEPS) $(LINKCMX) $(IDECMA:.cma=.cmxa) ide/coqide_main_opt.ml
 
 # modules known by the toplevel of Coq
 
-- 
cgit v1.2.3