From 7639e423db4174787b1eeb2647f31539cfaa3326 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Thu, 6 Mar 2014 18:20:07 +0100
Subject: make install-coqlight installs DLLCOQRUN and LIBCOQRUN

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

diff --git a/Makefile.build b/Makefile.build
index 7bfc6f9539..363f5574e7 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -673,7 +673,11 @@ install-library-light:
 	$(INSTALLSH) $(FULLCOQLIB) $(LIBFILESLIGHT) $(INITPLUGINS)
 	rm -f $(FULLCOQLIB)/revision
 	-$(INSTALLLIB) revision $(FULLCOQLIB)
+ifndef CUSTOM
+	$(INSTALLLIB) $(DLLCOQRUN) $(FULLCOQLIB)
+endif
 ifeq ($(BEST),opt)
+	$(INSTALLLIB) $(LIBCOQRUN) $(FULLCOQLIB)
 	$(INSTALLSH)  $(FULLCOQLIB) $(INITPLUGINSOPT)
 endif
 
-- 
cgit v1.2.3