From 43e3768ae50a1a4ab3dbb77cdd46b3a810f31453 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
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(+)

(limited to 'Makefile.install')

diff --git a/Makefile.install b/Makefile.install
index 4800f8f3f..55229deb9 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