===================================================================
RCS file: /home/cvs/OpenXM/src/gmp/Makefile,v
retrieving revision 1.6
retrieving revision 1.24
diff -u -p -r1.6 -r1.24
--- OpenXM/src/gmp/Makefile	2004/02/24 00:02:10	1.6
+++ OpenXM/src/gmp/Makefile	2021/03/24 14:32:47	1.24
@@ -1,51 +1,87 @@
-# $OpenXM: OpenXM/src/gmp/Makefile,v 1.5 2004/02/23 05:56:32 takayama Exp $
+# $OpenXM: OpenXM/src/gmp/Makefile,v 1.23 2017/03/31 01:20:06 takayama Exp $
 OpenXM_HOME=../..
-OpenXM_contrib=${OpenXM_HOME}/../OpenXM_contrib
-OpenXM_lib=${OpenXM_HOME}/lib
-OpenXM_include=${OpenXM_HOME}/include
-GMP=${OpenXM_contrib}/gmp
-RM=rm
-all:
-	@if [ ! -f ./.use_ports ]; then \
-		make all-l ; \
-	else \
-		make -f Makefile-ports all ; \
+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-6.1.2
+DISTFILES=${DISTNAME}.tar.bz2
+WRKSRC=work/${DISTNAME}
+#PATCHFILES = gmp.diff
+PATCHFILES = 
+
+all : build 
+
+fetch:
+	-mkdir work
+	@if [ ! -f work/.fetch_done ]; then \
+		${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \
+	fi 
+	@touch work/.fetch_done
+
+extract: fetch
+	@if [ ! -f work/.extract_done ]; then \
+	    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
-install:
-	@if [ ! -f ./.use_ports ]; then \
-		make install-l ; \
-	else \
-		make -f Makefile-ports install ; \
+	@touch work/.patch_done
+
+configure : patch
+	@if [ ! -f work/.configure_done ]; then \
+		prefix=`cd ${OpenXM_HOME}; pwd` ; \
+		if [ -z $TARGET_TYPE ]; then \
+			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 ; \
+	    	else \
+		  make configure-cross ; \
+		fi ; \
 	fi
-all-l: configure-l
-	-@if [ ! -f ./.make_done ]; then \
-		(cd ${GMP} ; make) ; \
-		touch ./.make_done ; \
+	@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)
+configure-cross:
+	prefix=`cd ${OpenXM_HOME}; pwd`  ; \
+	(cd ${WRKSRC}; CC=${CC} ./configure --host=${TARGET_TYPE} --prefix=$$prefix --enable-cxx)
+
+build : configure
+	@if [ ! -f work/.build_done ]; then \
+		(cd ${WRKSRC} ; ${MAKE} CC=${CC}) ; \
 	fi
-install-l: install-exec-l
-install-exec-l: all-l
-	if [ ! -f ./.install_done ]; then \
-		(cd ${GMP}; make install-exec) ; \
-		rm -f ${OpenXM_include}/config.h ${OpenXM_include}/gmp-impl.h ${OpenXM_include}/gmp-mparam.h ; \
-		cp ${GMP}/gmp.h ${OpenXM_include} ; \
-		touch ./.install_done ; \
+	@touch work/.build_done
+
+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 fac_table.h ; do \
+			cp ${WRKSRC}/$$i ${OpenXM_HOME}/include ; \
+		done ; \
 	fi
-configure:
-	@if [ ! -f ./.use_ports ]; then \
-		make configure-l ; \
-	fi
-configure-l:
-	if [ ! -f ./.configure_done ]; then \
-		(cd ${GMP} ; ./configure --prefix=`pwd`/../../OpenXM ) ; \
-		touch ./.configure_done ; \
-	fi
-clean: 
-	@if [ -f ./.make_done ]; then \
-		(cd ${GMP} ; make clean) \
-	fi
-	${RM} -f ./.*done
-distclean: 
-	-@if [ -f ./.make_done ]; then \
-		(cd ${GMP} ; make distclean) \
-	fi
-	${RM} -f ./.*done
+	@touch work/.install_done
+
+clean:
+	-${RM} -rf work
+
+distclean: clean