diff options
-rw-r--r-- | configure.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.in b/configure.in index d5bb5cf06..b9d240891 100644 --- a/configure.in +++ b/configure.in @@ -212,8 +212,9 @@ case "$target" in os_64bit=yes cclist="gcc c89 cc" gmp_cflags64_gcc="$gmp_cflags64_gcc -mWHAT -D_LONG_LONG_LIMB" - gmp_cflags64_c89="$gmp_cflags64_cc +DA2.0 +e +O2 -D_LONG_LONG_LIMB" - gmp_cflags64_cc="$gmp_cflags64_cc +DA2.0 +e +O2 -D_LONG_LONG_LIMB" + # +O2 to cc triggers bug in mpz/powm.c (1.4) + gmp_cflags64_c89="+DA2.0 +e +O3 -D_LONG_LONG_LIMB" + gmp_cflags64_cc="+DA2.0 +e +O3 -D_LONG_LONG_LIMB" gmp_cflags_c89="$gmp_cflags_cc +O2" gmp_cflags_cc="$gmp_cflags_cc +O2" ;; |