From 7a14df13a771651973da980eb9ab5c6608ffdcef Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 4 Aug 2017 16:51:30 +0200
Subject: Makefile: install-byte works even if -coqide no

---
 Makefile.ide | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

(limited to 'Makefile.ide')

diff --git a/Makefile.ide b/Makefile.ide
index b534b385b..ecfe92cc5 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -127,21 +127,24 @@ ide/%.cmx: ide/%.ml
 ## Install targets
 ####################
 
-.PHONY: install-coqide install-ide-bin install-ide-toploop install-ide-files install-ide-info install-ide-devfiles install-ide-byte
+.PHONY: install-coqide install-ide-bin install-ide-toploop install-ide-files install-ide-info install-ide-devfiles install-ide-byte install-ide-toploop-byte install-coqide-byte
 
 ifeq ($(HASCOQIDE),no)
 install-coqide: install-ide-toploop
 else
 install-coqide: install-ide-bin install-ide-toploop install-ide-files install-ide-info install-ide-devfiles
 endif
+ifeq ($(HASCOQIDE),no)
+install-coqide-byte: install-ide-toploop-byte
+else
+install-coqide-byte: install-ide-toploop-byte install-ide-byte
+endif
 
 # Apparently, coqide.byte is not meant to be installed
 
 install-ide-byte:
 	$(MKDIR) $(FULLCOQLIB)
 	$(INSTALLSH) $(FULLCOQLIB) $(IDECMA)
-	$(MKDIR) $(FULLCOQLIB)/toploop
-	$(INSTALLBIN) $(IDETOPLOOPCMA) $(FULLCOQLIB)/toploop/
 
 install-ide-bin:
 	$(MKDIR) $(FULLBINDIR)
@@ -151,6 +154,10 @@ install-ide-toploop:
 ifeq ($(BEST),opt)
 	$(INSTALLBIN) $(IDETOPLOOPCMA:.cma=.cmxs) $(FULLCOQLIB)/toploop/
 endif
+install-ide-toploop-byte:
+ifneq ($(BEST),opt)
+	$(INSTALLBIN) $(IDETOPLOOPCMA) $(FULLCOQLIB)/toploop/
+endif
 
 install-ide-devfiles:
 	$(MKDIR) $(FULLCOQLIB)
-- 
cgit v1.2.3