3244 |
*) |
*) |
3245 |
(cd gmp ; ./configure) ;; |
(cd gmp ; ./configure) ;; |
3246 |
esac |
esac |
3247 |
|
test -e gmp/mpn/add_n.* || cp gmp/mpn/generic/*.c gmp/mpn/ |
3248 |
GMP=1 |
GMP=1 |
3249 |
cat >> confdefs.h <<\EOF |
cat >> confdefs.h <<\EOF |
3250 |
#define GMP 1 |
#define GMP 1 |
3259 |
# redhat/cygnus released for some reason a buggy version of gcc, |
# redhat/cygnus released for some reason a buggy version of gcc, |
3260 |
# which no one else released. Catch that here. |
# which no one else released. Catch that here. |
3261 |
echo $ac_n "checking Checking for buggy gcc version from redhat""... $ac_c" 1>&6 |
echo $ac_n "checking Checking for buggy gcc version from redhat""... $ac_c" 1>&6 |
3262 |
echo "configure:3262: checking Checking for buggy gcc version from redhat" >&5 |
echo "configure:3263: checking Checking for buggy gcc version from redhat" >&5 |
3263 |
if 2>&1 $CC -v | fgrep "gcc version 2.96" > /dev/null |
if 2>&1 $CC -v | fgrep "gcc version 2.96" > /dev/null |
3264 |
then |
then |
3265 |
BROKEN_O4_OPT=1 |
BROKEN_O4_OPT=1 |