diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 21 |
1 files changed, 20 insertions, 1 deletions
@@ -1586,7 +1586,8 @@ fi if ! [ $nan_boxing_given ] ; then printf "Checking whether to use NaN boxing ... " - if [ $SIZEOF_PTR -eq 8 ] ; then + # too experimental: disabled + if false && [ $SIZEOF_PTR -eq 8 ] ; then nan_boxing=y printf "yes\n" else @@ -1601,6 +1602,24 @@ if [ -n "$nan_boxing" ] ; then printf "#define CONFIG_NAN_BOXING 1\n" >> config.h fi +if [ -n "$nan_boxing" ] ; then + printf "Checking how to disable strict aliasing warnings ... " + + cat > conftest.c <<! +int main(void) +{ + return 0; +} +! + + if conftest EXTRA_FLAGS=-Wno-strict-aliasing ; then + printf -- "-Wno-strict-aliasing\n" + diag_flags="$diag_flags -Wno-strict-aliasing" + else + printf "unknown\n" + fi +fi + printf "Checking for intmax_t ... " cat > conftest.c <<! #include <inttypes.h> |