![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to configure CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2018|
Return to configure CVS log | Up to [local] / OpenXM_contrib2 / asir2018 |
| version 1.3, 2018/09/27 02:39:36 | version 1.4, 2019/11/12 10:53:22 | ||
|---|---|---|---|
|
|
||
| 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 |