===================================================================
RCS file: /home/cvs/OpenXM/src/gmp/Makefile,v
retrieving revision 1.3
retrieving revision 1.14
diff -u -p -r1.3 -r1.14
--- OpenXM/src/gmp/Makefile	2004/02/13 00:47:12	1.3
+++ OpenXM/src/gmp/Makefile	2007/04/03 17:53:28	1.14
@@ -1,35 +1,64 @@
-# $OpenXM: OpenXM/src/gmp/Makefile,v 1.2 2003/09/14 01:19:57 takayama Exp $
+# $OpenXM: OpenXM/src/gmp/Makefile,v 1.13 2007/02/18 05:31:58 ohara 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
+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.1
+DISTFILES=${DISTNAME}.tar.gz
+WRKSRC=work/${DISTNAME}
+PATCHFILES = gmp.diff
 
-all: configure
-	-@if [ ! -f ./.make_done ]; then \
-		(cd ${GMP} ; make) ; \
-		touch ./.make_done ; \
+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 xzvf -) ; \
+	fi 
+	@touch work/.extract_done
+
+patch: extract
+	@if [ ! -f work/.patch_done ]; then \
+        for i in ${PATCHFILES} ; do \
+	        cat $$i | (cd ${WRKSRC}; patch -p0) ; \
+        done ; \
+        if [ `uname` = Darwin -a `uname -m` = i386 ]; then \
+            (cd ${WRKSRC}/mpn/x86; ${RM} *dive_1* */*dive_1* */*/*dive_1* */*mode1o* */*/*mode1o*) ; \
+        fi ; \
 	fi
-install: install-exec
-install-exec: all
-	if [ ! -f ./.install_done ]; then \
-		(cd ${GMP}; make install-exec) ; \
-		cp ${GMP}/gmp.h ${OpenXM_include} ; \
-		touch ./.install_done ; \
+	@touch work/.patch_done
+
+configure: patch
+	@if [ ! -f work/.configure_done ]; then \
+		prefix=`cd ${OpenXM_HOME}; pwd` ; \
+		(cd ${WRKSRC} ; CC=${CC} ./configure --prefix="$$prefix" --enable-cxx) ; \
 	fi
-configure:
-	if [ ! -f ./.configure_done ]; then \
-		(cd ${GMP} ; ./configure --prefix=`pwd`/../../OpenXM ) ; \
-		touch ./.configure_done ; \
+	@touch work/.configure_done
+
+build : configure
+	@if [ ! -f work/.build_done ]; then \
+		(cd ${WRKSRC} ; ${MAKE} CC=${CC}) ; \
 	fi
-clean: 
-	@if [ -f ./.make_done ]; then \
-		(cd ${GMP} ; make clean) \
+	@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; do \
+			cp ${WRKSRC}/$$i ${OpenXM_HOME}/include ; \
+		done ; \
 	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