=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/configure,v retrieving revision 1.69 retrieving revision 1.71 diff -u -p -r1.69 -r1.71 --- OpenXM_contrib2/asir2000/configure 2019/03/26 08:10:13 1.69 +++ OpenXM_contrib2/asir2000/configure 2021/03/24 18:27:09 1.71 @@ -5148,7 +5148,7 @@ elif test `basename ./"${CC}"` = "icc" ; then CFLAGS="-g -O" fi -GC=gc-7.4.2 +GC=gc-7.4.18 # Check whether --with-asir-gc was given. if test "${with_asir_gc+set}" = set; then : @@ -5554,7 +5554,7 @@ else fi -GMPLIB="-L${libdir} -lmpc -lmpfr -lgmp" +GMPLIB="-L${libdir} -lmpfi -lmpc -lmpfr -lgmp" # Check whether --enable-static_gmp was given. if test "${enable_static_gmp+set}" = set; then : enableval=$enable_static_gmp; enable_static_gmp=yes