version 1.18, 2009/12/03 05:45:35 |
version 1.19, 2012/02/18 05:11:51 |
|
|
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.17 2009/11/07 12:05:42 ohara Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.18 2009/12/03 05:45:35 ohara Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
RM = /bin/rm |
RM = /bin/rm |
MASTER_SITE=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
MASTER_SITE=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
DISTNAME=gmp-4.3.1 |
DISTNAME=gmp-5.0.4 |
DISTFILES=${DISTNAME}.tar.gz |
DISTFILES=${DISTNAME}.tar.bz2 |
WRKSRC=work/${DISTNAME} |
WRKSRC=work/${DISTNAME} |
#PATCHFILES = gmp.diff |
#PATCHFILES = gmp.diff |
PATCHFILES = |
PATCHFILES = |
|
|
|
|
extract: fetch |
extract: fetch |
@if [ ! -f work/.extract_done ]; then \ |
@if [ ! -f work/.extract_done ]; then \ |
cat ${DISTDIR}/${DISTFILES} | (cd work ; tar xzvf -) ; \ |
cat ${DISTDIR}/${DISTFILES} | (cd work ; tar xjvf -) ; \ |
fi |
fi |
@touch work/.extract_done |
@touch work/.extract_done |
|
|
|
|
cat $$i | (cd ${WRKSRC}; patch -p0) ; \ |
cat $$i | (cd ${WRKSRC}; patch -p0) ; \ |
fi ; \ |
fi ; \ |
done ; \ |
done ; \ |
if [ `uname` = Darwin -a `uname -m` = i386 ]; then \ |
|
(cd ${WRKSRC}/mpn/x86; ${RM} *dive_1* */*dive_1* */*/*dive_1* */*mode1o* */*/*mode1o*) ; \ |
|
fi ; \ |
|
fi |
fi |
@touch work/.patch_done |
@touch work/.patch_done |
|
|