Return to configure CVS log | Up to [local] / OpenXM_contrib2 / asir2000 |
version 1.66, 2016/09/23 03:03:39 | version 1.67, 2017/03/12 04:51:49 | ||
---|---|---|---|
|
|
||
fi | fi | ||
GMPLIB="-L ${libdir} -lmpc -lmpfr -lgmp" | GMPLIB="-L${libdir} -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 |