Index: gecode-4.4.0/gecode.m4
===================================================================
--- gecode-4.4.0.orig/gecode.m4	2017-03-19 08:59:58.000000000 +0200
+++ gecode-4.4.0/gecode.m4	2017-03-19 08:59:58.000000000 +0200
@@ -1458,7 +1458,8 @@
           AC_SUBST(HAVE_FLEXBISON, "no")
         else
           if bison --version | \
-            grep -e ' 2\.[[3-9]][[0-9]]*' >/dev/null 2>&1
+            grep -e ' 2\.[[3-9]][[0-9]]*' >/dev/null 2>&1 ||
+	     bison --version | grep -qe ' 3.[[0-9]].*$'
           then
             AC_MSG_RESULT(yes)
             AC_SUBST(HAVE_FLEXBISON, "yes")
Index: gecode-4.4.0/gecode/flatzinc/parser.yxx
===================================================================
--- gecode-4.4.0.orig/gecode/flatzinc/parser.yxx	2015-01-05 08:33:06.000000000 +0200
+++ gecode-4.4.0/gecode/flatzinc/parser.yxx	2017-03-19 08:59:58.000000000 +0200
@@ -35,7 +35,8 @@
  *
  */
 
-%pure-parser
+%define api.pure full
+%lex-param {YYLEX_PARAM}
 %parse-param {void *parm}
 %{
 #define YYPARSE_PARAM parm
