diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/configure b/configure index 73fa5e4b6c3..ffc604afe8f 100755 --- a/configure +++ b/configure @@ -4424,6 +4424,19 @@ fi test -n "$YACC" && break done + +if test "$YACC"; then + if bison --version | sed q | $AWK '{ if ($4 < 1.875) exit 0; else exit 1;}'; then + { echo "$as_me:$LINENO: WARNING: +*** The installed version of Bison is too old. PostgreSQL needs +*** Bison version 1.875 or later." >&5 +echo "$as_me: WARNING: +*** The installed version of Bison is too old. PostgreSQL needs +*** Bison version 1.875 or later." >&2;} + unset YACC + fi +fi + if test -z "$YACC"; then { echo "$as_me:$LINENO: WARNING: *** Without Bison you will not be able to build PostgreSQL from CVS or |