| version 1.1, 2008/10/30 07:59:46 |
version 1.6, 2021/03/24 14:32:47 |
|
|
| # $OpenXM$ |
# $OpenXM: OpenXM/src/mpfr/Makefile,v 1.5 2015/09/28 12:30:57 takayama 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://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 |
| |
|
|
|
| fi |
fi |
| @touch work/.patch_done |
@touch work/.patch_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") ; \ |
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 |
fi |
| @touch work/.configure_done |
@touch work/.configure_done |
| |
|
| |
configure-cygwin: |
| |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
| |
(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe --enable-static --disable-shared) |
| |
configure-msys: |
| |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
| |
(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe --build=x86_64-w64-mingw32 --disable-thread-safe --enable-static --disable-shared ) |
| |
configure-others: |
| |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
| |
(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe) |
| |
configure-cross: |
| |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
| |
(cd ${WRKSRC}; CC=${CC} ./configure --host=${TARGET_TYPE} --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe) |
| |
|
| build : configure |
build : configure |
| @if [ ! -f work/.build_done ]; then \ |
@if [ ! -f work/.build_done ]; then \ |