diff options
| author | Joe Conway <mail@joeconway.com> | 2017-01-02 13:51:32 -0800 |
|---|---|---|
| committer | Joe Conway <mail@joeconway.com> | 2017-01-02 13:51:32 -0800 |
| commit | 3f9479603caca249fb3643871c24c6fa55a339b4 (patch) | |
| tree | 9271283f8ce158e7b94a394df10e91f08d64c686 | |
| parent | 49832227b2fad0e1137d535c3a1906813c8ebb31 (diff) | |
Silence Bison deprecation warnings
Bison >=3.0 issues warnings about
%name-prefix="base_yy"
instead of the now preferred
%name-prefix "base_yy"
but the latter doesn't work with Bison 2.3 or less. So for now we
silence the deprecation warnings.
Back-patch to 9.2 and 9.3 -- the newer branches already have this fix.
Author: Peter Eisentraut
Discussion: https://postgr.es/m/677.1483384145%40sss.pgh.pa.us
| -rw-r--r-- | config/programs.m4 | 8 | ||||
| -rwxr-xr-x | configure | 8 |
2 files changed, 16 insertions, 0 deletions
diff --git a/config/programs.m4 b/config/programs.m4 index 24cdc21bddc..de5d625bedc 100644 --- a/config/programs.m4 +++ b/config/programs.m4 @@ -23,6 +23,14 @@ if test "$BISON"; then *** Bison version 1.875 or later is required, but this is $pgac_bison_version.]) BISON="" fi + # Bison >=3.0 issues warnings about %name-prefix="base_yy", instead + # of the now preferred %name-prefix "base_yy", but the latter + # doesn't work with Bison 2.3 or less. So for now we silence the + # deprecation warnings. + if echo "$pgac_bison_version" | $AWK '{ if ([$]4 >= 3) exit 0; else exit 1;}' + then + BISONFLAGS="$BISONFLAGS -Wno-deprecated" + fi fi if test -z "$BISON"; then diff --git a/configure b/configure index 2db33ad9385..85c3492e2d7 100755 --- a/configure +++ b/configure @@ -7401,6 +7401,14 @@ $as_echo "$as_me: WARNING: *** Bison version 1.875 or later is required, but this is $pgac_bison_version." >&2;} BISON="" fi + # Bison >=3.0 issues warnings about %name-prefix="base_yy", instead + # of the now preferred %name-prefix "base_yy", but the latter + # doesn't work with Bison 2.3 or less. So for now we silence the + # deprecation warnings. + if echo "$pgac_bison_version" | $AWK '{ if ($4 >= 3) exit 0; else exit 1;}' + then + BISONFLAGS="$BISONFLAGS -Wno-deprecated" + fi fi if test -z "$BISON"; then |