From 4d4e82ae48d34c4930a4e176db8ee54ac5ca2fab Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 6 Jun 2018 17:49:27 +0200
Subject: Ensure compatibility with Menhir before and after version 20180530
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Inspired by and adapted from pull request #235 by Benoît Viguier.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2001656f..64658255 100644
--- a/Makefile
+++ b/Makefile
@@ -227,7 +227,7 @@ driver/Version.ml: VERSION
 	>driver/Version.ml
 
 cparser/Parser.v: cparser/Parser.vy
-	$(MENHIR) --coq-lib-path compcert.cparser.MenhirLib --coq cparser/Parser.vy
+	$(MENHIR) $(MENHIR_FLAGS) --coq cparser/Parser.vy
 
 depend: $(GENERATED) depend1
 
-- 
cgit