===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2018/configure,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM_contrib2/asir2018/configure	2018/09/27 02:39:36	1.3
+++ OpenXM_contrib2/asir2018/configure	2019/11/12 10:53:22	1.4
@@ -5566,7 +5566,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