From 0d48fd07e551d3cedd616126400b00464a137835 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 11 May 2016 15:24:39 +0200
Subject: configure: bump Menhir required version to 20160303

Earlier versions of Menhir run into "string too long" errors in Coq when building on a 32-bit platform.
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index 433c7b13..6ffc139e 100755
--- a/configure
+++ b/configure
@@ -314,7 +314,7 @@ else
   ocaml_opt_comp=false
 fi
 
-MENHIR_REQUIRED=20151110
+MENHIR_REQUIRED=20160303
 echo "Testing Menhir... " | tr -d '\n'
 menhir_ver=`menhir --version 2>/dev/null | sed -n -e 's/^.*version \([0-9]*\).*$/\1/p'`
 case "$menhir_ver" in
-- 
cgit