===================================================================
RCS file: /home/cvs/OpenXM/src/gmp/Makefile,v
retrieving revision 1.15
retrieving revision 1.18
diff -u -p -r1.15 -r1.18
--- OpenXM/src/gmp/Makefile	2008/02/13 10:46:40	1.15
+++ OpenXM/src/gmp/Makefile	2009/12/03 05:45:35	1.18
@@ -1,10 +1,10 @@
-# $OpenXM: OpenXM/src/gmp/Makefile,v 1.14 2007/04/03 17:53:28 ohara Exp $
+# $OpenXM: OpenXM/src/gmp/Makefile,v 1.17 2009/11/07 12:05:42 ohara Exp $
 OpenXM_HOME=../..
 PREFIX=${OpenXM_HOME}
 DISTDIR=${OpenXM_HOME}/../OpenXM_dist
 RM = /bin/rm
 MASTER_SITE=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/
-DISTNAME=gmp-4.2.2
+DISTNAME=gmp-4.3.1
 DISTFILES=${DISTNAME}.tar.gz
 WRKSRC=work/${DISTNAME}
 #PATCHFILES = gmp.diff
@@ -27,8 +27,10 @@ extract: fetch
 
 patch: extract
 	@if [ ! -f work/.patch_done ]; then \
-        for i in ${PATCHFILES} ; do \
-	        cat $$i | (cd ${WRKSRC}; patch -p0) ; \
+        for i in ${PATCHFILES} "" ; do \
+            if [ -f "$$i" ]; then \
+	            cat $$i | (cd ${WRKSRC}; patch -p0) ; \
+            fi ; \
         done ; \
         if [ `uname` = Darwin -a `uname -m` = i386 ]; then \
             (cd ${WRKSRC}/mpn/x86; ${RM} *dive_1* */*dive_1* */*/*dive_1* */*mode1o* */*/*mode1o*) ; \