version 1.10, 2004/03/26 08:54:07 |
version 1.12, 2004/12/01 07:06:19 |
|
|
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.9 2004/03/25 04:54:36 takayama Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.11 2004/03/31 01:06:10 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/ |
DISTFILES=gmp-4.1.2.tar.gz |
DISTFILES=gmp-4.1.4.tar.gz |
GMP=gmp-4.1.2 |
GMP=gmp-4.1.4 |
|
|
all : build |
all : build |
|
|
|
|
|
|
configure: patch |
configure: patch |
@if [ ! -f work/.configure_done ]; then \ |
@if [ ! -f work/.configure_done ]; then \ |
(cd work/${GMP} ; ./configure --prefix `cd ../..; cd ${OpenXM_HOME}; pwd`) ; \ |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
|
(cd work/${GMP} ; ./configure --prefix="$$prefix" ) ; \ |
fi |
fi |
@touch work/.configure_done |
@touch work/.configure_done |
|
|