diff options
| author | Thomas Munro | 2024-11-27 02:43:18 +0000 |
|---|---|---|
| committer | Thomas Munro | 2024-11-27 03:13:59 +0000 |
| commit | 70cf253d18da103864037011bead1683a96502dc (patch) | |
| tree | 1529fe83619c0b4b3e817f9476cf3428f7ee798e /configure.in | |
| parent | 12c8faaa7b59b99d56ddb730480645725bf4fa76 (diff) | |
If a C23 compiler is detected, try asking for C17.REL9_6_STABLE
Branches before 16 can't be compiled with a C23 compiler (see
deprecation warnings silenced by commit f9a56e72, and non-back-patchable
changes made in 16 by commit 1c27d16e). Test __STDC_VERSION__, and if
it's above C17 then try appending -std=gnu17. The test is done with the
user's CFLAGS, so an acceptable language version can also be configured
manually that way.
This is done in branches 15 and older, back to 9.2, per policy of
keeping them buildable with modern tools.
Discussion: https://postgr.es/m/87o72eo9iu.fsf%40gentoo.org
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 0646054ec18..3863daccc97 100644 --- a/configure.in +++ b/configure.in @@ -425,6 +425,26 @@ else fi fi +# We use C constructs that became invalid in C23. Check if the compiler +# reports a standard higher than C17, with the flags selected above (so the +# user can control the language level explicitly to avoid the gcc/clang-only +# fallback logic below if preferred). +AC_MSG_CHECKING([whether $CC reports a C standard higher than ISO C17]) +AC_COMPILE_IFELSE([AC_LANG_PROGRAM([], [@%:@if __STDC_VERSION__ > 201710L +choke me +@%:@endif])], [POSTC17=no], [POSTC17=yes]) +AC_MSG_RESULT(${POSTC17}) + +# If a too recent standard was detected with the user's CFLAGS, try asking for +# C17 with GNU extensions explicitly. +if test "$POSTC17" = yes; then + old_CFLAGS="$CFLAGS" + PGAC_PROG_CC_CFLAGS_OPT([-std=gnu17]) + if test "$CFLAGS" = "$old_CFLAGS"; then + AC_MSG_ERROR([cannot proceed]) + fi +fi + # CFLAGS we determined above will be added back at the end user_CFLAGS=$CFLAGS CFLAGS="" |