From ff7aa1352d4171724963bb834e09a6abdf0e630e Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 27 Oct 2015 09:45:33 +0100
Subject: Allow the MENHIR_INCLUDE path to be set by environment. Bug 17481

---
 Makefile.menhir | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'Makefile.menhir')

diff --git a/Makefile.menhir b/Makefile.menhir
index 74bd14e2..e845352d 100644
--- a/Makefile.menhir
+++ b/Makefile.menhir
@@ -14,7 +14,7 @@
 
 # Executable.
 
-MENHIR = menhir 
+MENHIR = menhir
 
 # This flag can be set to true or false. It controls whether we use
 # Menhir's table back-end or code back-end. The table back-end is a
@@ -28,7 +28,7 @@ MENHIR_TABLE = true
 ifeq ($(MENHIR_TABLE),true)
   MENHIR_MODE = --table
 else
-  MENHIR_MODE = 
+  MENHIR_MODE =
 endif
 
 # Options.
@@ -68,7 +68,7 @@ ifeq ($(MENHIR_TABLE),true)
 
   MENHIR_SUGGESTION = $(MENHIR) $(MENHIR_MODE) --suggest-comp-flags
 
-  MENHIR_INCLUDES := $(shell \
+  MENHIR_INCLUDES ?= $(shell \
     if $(MENHIR_SUGGESTION) | grep -e "-package" >/dev/null ; then \
       echo "-I `ocamlfind query menhirLib`" ; \
     else \
@@ -80,4 +80,3 @@ else
   MENHIR_INCLUDES =
 
 endif
-
-- 
cgit