===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/lib/Makefile.in,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -p -r1.30 -r1.31
--- OpenXM_contrib2/asir2000/lib/Makefile.in	2015/08/06 09:01:27	1.30
+++ OpenXM_contrib2/asir2000/lib/Makefile.in	2016/09/22 07:15:33	1.31
@@ -146,6 +146,7 @@ GCINC = @GCINC@
 GCLIB = @GCLIB@
 GC_CONFIGURE_ARGS = @GC_CONFIGURE_ARGS@
 GC_DISTDIR = @GC_DISTDIR@
+GMPLIB = @GMPLIB@
 GREP = @GREP@
 INSTALL = @INSTALL@
 INSTALL_DATA = @INSTALL_DATA@