From 2a95acfe2892d982cda1fcd7c7a921c8e25f16d4 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 28 Jun 2017 12:26:40 -0400
Subject: Also quote $(COQLIB)/grammar

In case COQLIB has backslashes, as it does on Windows, or spaces---
 tools/CoqMakefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index 4f967e6336..3027bf92d2 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -150,7 +150,7 @@ else
 CAMLP4EXTEND=
 endif
 
-PP:=-pp '$(CAMLP4O) -I $(CAMLLIB) -I $(COQLIB)/grammar compat5.cmo $(CAMLP4EXTEND) $(GRAMMARS) $(CAMLP4OPTIONS) -impl'
+PP:=-pp '$(CAMLP4O) -I $(CAMLLIB) -I "$(COQLIB)/grammar" compat5.cmo $(CAMLP4EXTEND) $(GRAMMARS) $(CAMLP4OPTIONS) -impl'
 
 COQLIBINSTALL = $(COQLIB)user-contrib
 COQDOCINSTALL = $(DOCDIR)user-contrib
-- 
cgit v1.2.3