From 9055359520294ac1089934eb41e1b3b2fe0987a1 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Tue, 22 Jul 2014 17:12:36 +0200
Subject: When I make MacOS binary, I would like to have a coqtop able to speak
 to coqide without building coqide

---
 Makefile.build | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index 6bd6386562..1a16dd6eec 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -323,17 +323,19 @@ $(COQIDEBYTE): $(LINKIDE)
 
 # install targets
 
-.PHONY: install-coqide install-ide-bin install-ide-files install-ide-info install-ide-devfiles
+.PHONY: install-coqide install-ide-bin install-ide-toploop install-ide-files install-ide-info install-ide-devfiles
 
 ifeq ($(HASCOQIDE),no)
 install-coqide:
 else
-install-coqide: install-ide-bin install-ide-files install-ide-info install-ide-devfiles
+install-coqide: install-ide-bin install-ide-toploop install-ide-files install-ide-info install-ide-devfiles
 endif
 
 install-ide-bin:
 	$(MKDIR) $(FULLBINDIR)
 	$(INSTALLBIN) $(COQIDE) $(FULLBINDIR)
+
+install-ide-toploop:
 	$(MKDIR) $(FULLCOQLIB)/toploop
 	$(INSTALLBIN) $(IDETOPLOOPCMA) $(FULLCOQLIB)/toploop/
 ifeq ($(BEST),opt)
-- 
cgit v1.2.3