===================================================================
RCS file: /home/cvs/OpenXM/src/gmp/Makefile,v
retrieving revision 1.21
retrieving revision 1.23
diff -u -p -r1.21 -r1.23
--- OpenXM/src/gmp/Makefile	2015/09/28 05:52:13	1.21
+++ OpenXM/src/gmp/Makefile	2017/03/31 01:20:06	1.23
@@ -1,10 +1,10 @@
-# $OpenXM: OpenXM/src/gmp/Makefile,v 1.20 2015/02/21 06:20:36 ohara Exp $
+# $OpenXM: OpenXM/src/gmp/Makefile,v 1.22 2017/03/30 13:17:15 takayama Exp $
 OpenXM_HOME=../..
 PREFIX=${OpenXM_HOME}
 DISTDIR=${OpenXM_HOME}/../OpenXM_dist
 RM = /bin/rm
 MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/
-DISTNAME=gmp-5.0.4
+DISTNAME=gmp-6.1.2
 DISTFILES=${DISTNAME}.tar.bz2
 WRKSRC=work/${DISTNAME}
 #PATCHFILES = gmp.diff
@@ -68,7 +68,7 @@ install: build
 	-mkdir ${PREFIX}/bin ${PREFIX}/lib
 	@if [ ! -f work/.install_done ]; then \
 		(cd ${WRKSRC} ; ${MAKE} install) ; \
-		for i in config.h gmp-impl.h gmp-mparam.h fib_table.h mp_bases.h; do \
+		for i in config.h gmp-impl.h gmp-mparam.h fib_table.h mp_bases.h fac_table.h ; do \
 			cp ${WRKSRC}/$$i ${OpenXM_HOME}/include ; \
 		done ; \
 	fi