diff options
Diffstat (limited to 'config/gnu-flags')
| -rw-r--r-- | config/gnu-flags | 33 |
1 files changed, 16 insertions, 17 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index 7e69ede..d8a45a6 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -131,15 +131,27 @@ if test "X-gcc" = "X-$cc_vendor"; then H5_CFLAGS="$H5_CFLAGS $arch" + ################ + # Optimization # + ################ + + if test $cc_vers_major -le 4; then + HIGH_OPT_CFLAGS="-O3" + DEBUG_OPT_CFLAGS= + else + HIGH_OPT_CFLAGS="-O3" + DEBUG_OPT_CFLAGS="-Og" + fi + ############## # Production # ############## # NDEBUG is handled explicitly by the configure script if test $cc_vers_major -le 4; then - PROD_CFLAGS= + PROD_CFLAGS=$HIGH_OPT_CFLAGS else - PROD_CFLAGS="-fstdarg-opt" + PROD_CFLAGS=$HIGH_OPT_CFLAGS "-fstdarg-opt" fi ######### @@ -149,9 +161,9 @@ if test "X-gcc" = "X-$cc_vendor"; then # NDEBUG is handled explicitly by the configure script # -g is handled by the symbols flags if test $cc_vers_major -le 4; then - DEBUG_CFLAGS= + DEBUG_CFLAGS=$DEBUG_OPT_CFLAGS else - DEBUG_CFLAGS="-ftrapv -fno-common" + DEBUG_CFLAGS=$DEBUG_OPT_CFLAGS "-ftrapv -fno-common" fi ########### @@ -167,19 +179,6 @@ if test "X-gcc" = "X-$cc_vendor"; then PROFILE_CFLAGS="-pg" - ################ - # Optimization # - ################ - - if test $cc_vers_major -le 4; then - HIGH_OPT_CFLAGS="-O3" - DEBUG_OPT_CFLAGS= - else - HIGH_OPT_CFLAGS="-O3" - DEBUG_OPT_CFLAGS="-Og" - fi - NO_OPT_CFLAGS="-O0" - ############ # Warnings # ############ |