diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/gnu-flags | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index 93f044a..e1fa51d 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -27,6 +27,7 @@ if test X = "X$cc_flags_set"; then cc_vers_major=`echo $cc_version | cut -f1 -d.` cc_vers_minor=`echo $cc_version | cut -f2 -d.` cc_vers_patch=`echo $cc_version | cut -f3 -d.` + test -n "$cc_vers_patch" || cc_vers_patch=0 cc_vers_all=`expr $cc_vers_major '*' 1000000 + $cc_vers_minor '*' 1000 + $cc_vers_patch` fi @@ -120,6 +121,26 @@ case "$cc_vendor-$cc_version" in cc_flags_set=yes ;; + gcc-2.95) + # General + CFLAGS="$CFLAGS -Wsign-compare" + + # Production + PROD_CFLAGS="$ARCH -O6 $NOFP -Wno-shadow" + PROD_CPPFLAGS= + + # Debug + DEBUG_CFLAGS="-g -fverbose-asm -Wno-shadow" + DEBUG_CPPFLAGS="-DH5F_OPT_SEEK=0 -DH5F_LOW_DFLT=H5F_LOW_SEC2" + + # Profile + PROFILE_CFLAGS=-pg + PROFILE_CPPFLAGS= + + # Flags are set + cc_flags_set=yes + ;; + egcs-2.*|pgcc-2.*) # General CFLAGS="$CFLAGS -Wsign-compare" |