From a410de733817ff337cfae1e305cb0283ccebecb1 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Tue, 26 Aug 2014 10:46:18 +0200
Subject: Configure.ml creates metadata to annotate MacOS binaries

---
 Makefile.common | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 7d05f591d..5b90e19db 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -22,8 +22,6 @@ COQTOPEXE:=bin/coqtop$(EXE)
 CHICKENBYTE:=bin/coqchk.byte$(EXE)
 CHICKEN:=bin/coqchk$(EXE)
 
-FAKEIDE:=bin/fake_ide$(EXE)
-
 ifeq ($(CAMLP4),camlp4)
 CAMLP4MOD:=camlp4lib
 else
@@ -95,9 +93,12 @@ GALLINA:=bin/gallina$(EXE)
 COQTEX:=bin/coq-tex$(EXE)
 COQWC:=bin/coqwc$(EXE)
 COQDOC:=bin/coqdoc$(EXE)
+FAKEIDE:=bin/fake_ide$(EXE)
 
 TOOLS:=$(COQDEP) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC) $(COQC)
 
+PRIVATEBINARIES:=$(FAKEIDE) $(COQDEPBOOT)
+
 ###########################################################################
 # Documentation
 ###########################################################################
-- 
cgit v1.2.3