From 43e3768ae50a1a4ab3dbb77cdd46b3a810f31453 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Fri, 13 Oct 2017 13:27:06 -0400
Subject: Fix BZ#5785 (make install -j broken)

This adds back `$(MKDIR) $(FULLCOQLIB)/toploop`, which was lost between
8.6 and 8.7.
---
 Makefile.install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.install b/Makefile.install
index 4800f8f3fa..55229deb96 100644
--- a/Makefile.install
+++ b/Makefile.install
@@ -77,6 +77,7 @@ endif
 install-byte: install-coqide-byte
 	$(MKDIR) $(FULLBINDIR)
 	$(INSTALLBIN) $(COQTOPBYTE) $(FULLBINDIR)
+	$(MKDIR) $(FULLCOQLIB)/toploop
 	$(INSTALLBIN) $(TOPLOOPCMA) $(FULLCOQLIB)/toploop/
 	$(INSTALLSH) $(FULLCOQLIB) $(LINKCMO) $(PLUGINS)
 ifndef CUSTOM
-- 
cgit v1.2.3


From 30c476f28a655b30a7c6ccbf547c7a12005351ab Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Fri, 13 Oct 2017 15:04:07 -0400
Subject: Fix some more missing mkdir lines to Makefile.ide

---
 Makefile.ide | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile.ide b/Makefile.ide
index 542d8c252d..7593a9f2ea 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -153,10 +153,12 @@ install-ide-bin:
 
 install-ide-toploop:
 ifeq ($(BEST),opt)
+	$(MKDIR) $(FULLCOQLIB)/toploop/
 	$(INSTALLBIN) $(IDETOPLOOPCMA:.cma=.cmxs) $(FULLCOQLIB)/toploop/
 endif
 install-ide-toploop-byte:
 ifneq ($(BEST),opt)
+	$(MKDIR) $(FULLCOQLIB)/toploop/
 	$(INSTALLBIN) $(IDETOPLOOPCMA) $(FULLCOQLIB)/toploop/
 endif
 
-- 
cgit v1.2.3