===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/configure,v
retrieving revision 1.69
retrieving revision 1.70
diff -u -p -r1.69 -r1.70
--- OpenXM_contrib2/asir2000/configure	2019/03/26 08:10:13	1.69
+++ OpenXM_contrib2/asir2000/configure	2019/11/12 10:52:04	1.70
@@ -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