===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/configure.in,v
retrieving revision 1.47
retrieving revision 1.48
diff -u -p -r1.47 -r1.48
--- OpenXM_contrib2/asir2000/configure.in	2016/08/24 05:33:58	1.47
+++ OpenXM_contrib2/asir2000/configure.in	2016/09/22 07:15:33	1.48
@@ -1,4 +1,4 @@
-dnl $OpenXM: OpenXM_contrib2/asir2000/configure.in,v 1.46 2015/08/06 18:21:22 ohara Exp $
+dnl $OpenXM: OpenXM_contrib2/asir2000/configure.in,v 1.47 2016/08/24 05:33:58 ohara Exp $
 
 AC_INIT(asir,1.15)
 AC_CONFIG_SRCDIR([LICENSE])
@@ -108,6 +108,15 @@ if test ${enable_plot:=no} != no ; then
     AC_DEFINE([DO_PLOT])
 fi
 AM_CONDITIONAL([USE_PLOT],[test "$enable_plot" = yes])
+
+GMPLIB="-lmpc -lmpfr -lgmp"
+AC_ARG_ENABLE([static_gmp],
+[  --enable-static-gmp     force to link statically with gmp. [[no]]],
+[enable_static_gmp=yes],[enable_static_gmp=no])
+if test ${enable_static_gmp:=no} != no ; then
+    GMPLIB="libmpc.a libmpfr.a libgmp.a"
+fi
+AC_SUBST([GMPLIB])
 
 AC_ARG_ENABLE([interval],
 [  --enable-interval       enable interval feature. [[no]]],