version 1.2, 2015/02/21 06:20:36 |
version 1.3, 2015/08/04 05:52:22 |
|
|
# $OpenXM: OpenXM/src/mpfr/Makefile,v 1.1 2008/10/30 07:59:46 takayama Exp $ |
# $OpenXM: OpenXM/src/mpfr/Makefile,v 1.2 2015/02/21 06:20:36 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=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
DISTNAME=mpfr-2.3.2 |
DISTNAME=mpfr-3.1.3 |
DISTFILES=${DISTNAME}.tar.gz |
DISTFILES=${DISTNAME}.tar.bz2 |
WRKSRC=work/${DISTNAME} |
WRKSRC=work/${DISTNAME} |
#PATCHFILES = mpfr.diff |
#PATCHFILES = mpfr.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 |
|
|
|
|
configure: patch |
configure: patch |
@if [ ! -f work/.configure_done ]; then \ |
@if [ ! -f work/.configure_done ]; then \ |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
(cd ${WRKSRC} ; CC=${CC} ./configure --prefix="$$prefix" --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include") ; \ |
(cd ${WRKSRC} ; CC=${CC} ./configure --prefix="$$prefix" --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe) ; \ |
fi |
fi |
@touch work/.configure_done |
@touch work/.configure_done |
|
|