===================================================================
RCS file: /home/cvs/OpenXM/src/gmp/Makefile,v
retrieving revision 1.10
retrieving revision 1.23
diff -u -p -r1.10 -r1.23
--- OpenXM/src/gmp/Makefile	2004/03/26 08:54:07	1.10
+++ OpenXM/src/gmp/Makefile	2017/03/31 01:20:06	1.23
@@ -1,11 +1,14 @@
-# $OpenXM: OpenXM/src/gmp/Makefile,v 1.9 2004/03/25 04:54:36 takayama 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=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/
-DISTFILES=gmp-4.1.2.tar.gz
-GMP=gmp-4.1.2
+MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/
+DISTNAME=gmp-6.1.2
+DISTFILES=${DISTNAME}.tar.bz2
+WRKSRC=work/${DISTNAME}
+#PATCHFILES = gmp.diff
+PATCHFILES = 
 
 all : build 
 
@@ -18,36 +21,60 @@ fetch:
 
 extract: fetch
 	@if [ ! -f work/.extract_done ]; then \
-	    cat ${DISTDIR}/${DISTFILES} | (cd work ; tar xzvf -) ; \
+	    cat ${DISTDIR}/${DISTFILES} | (cd work ; tar xjvf -) ; \
 	fi 
 	@touch work/.extract_done
 
 patch: extract
+	@if [ ! -f work/.patch_done ]; then \
+        for i in ${PATCHFILES} "" ; do \
+            if [ -f "$$i" ]; then \
+	            cat $$i | (cd ${WRKSRC}; patch -p0) ; \
+            fi ; \
+        done ; \
+	fi
 	@touch work/.patch_done
 
-configure: patch
+configure : patch
 	@if [ ! -f work/.configure_done ]; then \
-		(cd work/${GMP} ; ./configure --prefix `cd ../..; cd ${OpenXM_HOME}; pwd`) ; \
+		prefix=`cd ${OpenXM_HOME}; pwd` ; \
+		if [  "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \
+		  make configure-cygwin ; \
+		elif [  "`uname | sed -e 's/_.*$$//'`" = "MSYS" ];  then \
+		  make configure-msys ; \
+		else \
+		  make configure-others ; \
+		fi ; \
 	fi
 	@touch work/.configure_done
 
+configure-cygwin:
+	prefix=`cd ${OpenXM_HOME}; pwd`  ; \
+	(cd ${WRKSRC}; CC=${CC} ./configure  --prefix=$$prefix --enable-cxx --enable-static --disable-shared)
+configure-msys:
+	prefix=`cd ${OpenXM_HOME}; pwd`  ; \
+	(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --enable-cxx --build=x86_64-w64-mingw32  )
+configure-others:
+	prefix=`cd ${OpenXM_HOME}; pwd`  ; \
+	(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --enable-cxx)
+
 build : configure
 	@if [ ! -f work/.build_done ]; then \
-		(cd work/${GMP} ; ${MAKE}) ; \
+		(cd ${WRKSRC} ; ${MAKE} CC=${CC}) ; \
 	fi
 	@touch work/.build_done
 
 install: build
 	-mkdir ${PREFIX}/bin ${PREFIX}/lib
 	@if [ ! -f work/.install_done ]; then \
-		(cd work/${GMP} ; ${MAKE} install) ; \
-		for i in config.h gmp-impl.h gmp-mparam.h; do \
-			cp work/${GMP}/$$i ${OpenXM_HOME}/include ; \
+		(cd ${WRKSRC} ; ${MAKE} install) ; \
+		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
 	@touch work/.install_done
 
 clean:
-	-$(RM) -rf work
+	-${RM} -rf work
 
 distclean: clean