version 1.69, 2019/03/26 08:10:13 |
version 1.71, 2021/03/24 18:27:09 |
Line 5148 elif test `basename ./"${CC}"` = "icc" ; then |
|
Line 5148 elif test `basename ./"${CC}"` = "icc" ; then |
|
CFLAGS="-g -O" |
CFLAGS="-g -O" |
fi |
fi |
|
|
GC=gc-7.4.2 |
GC=gc-7.4.18 |
|
|
# Check whether --with-asir-gc was given. |
# Check whether --with-asir-gc was given. |
if test "${with_asir_gc+set}" = set; then : |
if test "${with_asir_gc+set}" = set; then : |
|
|
fi |
fi |
|
|
|
|
GMPLIB="-L${libdir} -lmpc -lmpfr -lgmp" |
GMPLIB="-L${libdir} -lmpfi -lmpc -lmpfr -lgmp" |
# Check whether --enable-static_gmp was given. |
# Check whether --enable-static_gmp was given. |
if test "${enable_static_gmp+set}" = set; then : |
if test "${enable_static_gmp+set}" = set; then : |
enableval=$enable_static_gmp; enable_static_gmp=yes |
enableval=$enable_static_gmp; enable_static_gmp=yes |