| version 1.2, 2003/09/14 01:19:57 |
version 1.7, 2004/03/25 01:52:18 |
|
|
| # $OpenXM: OpenXM/src/gmp/Makefile,v 1.1 2003/09/02 14:24:43 takayama Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.6 2004/02/24 00:02:10 takayama Exp $ |
| OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
| OpenXM_contrib=${OpenXM_HOME}/../OpenXM_contrib |
PREFIX=${OpenXM_HOME} |
| OpenXM_lib=${OpenXM_HOME}/lib |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
| OpenXM_include=${OpenXM_HOME}/include |
RM = /bin/rm -rf |
| GMP=${OpenXM_contrib}/gmp |
MASTER_CITES=ftp.math.kobe-u.ac.jp |
| RM=rm |
# MASTER_CITES2 = |
| |
#DISTFILES=gmp-3.1.tar.gz |
| |
#GMP=gmp-3.1 |
| |
DISTFILES=gmp-4.1.2.tar.gz |
| |
GMP=gmp-4.1.2 |
| |
|
| all: configure |
all : build |
| -@if [ ! -f ./.make_done ]; then \ |
install : post-install |
| (cd ${GMP} ; make) ; \ |
|
| touch ./.make_done ; \ |
fetch: |
| |
@if test ! -f .fetch_done ; \ |
| |
then \ |
| |
${OpenXM_HOME}/bin/oxfetch.sh ftp://${MASTER_CITES}/pub/OpenXM/misc/${DISTFILES} ${DISTDIR}; \ |
| |
fi |
| |
@touch .fetch_done |
| |
|
| |
patch : fetch |
| |
@if test ! -f .patch_done ; \ |
| |
then \ |
| |
$(RM) work ; \ |
| |
mkdir work ; \ |
| |
(cd work ; tar xzvf ../${DISTDIR}/${DISTFILES} ) ; \ |
| |
fi |
| |
@touch .patch_done |
| |
# (cd work; patch -c -p0 <../patch-aa ; patch -c -p0 <../patch-bb ; patch -c -p0 <../patch-cc) ; \ |
| |
|
| |
build : patch |
| |
@if test ! -f .build_done ; \ |
| |
then \ |
| |
(cd work/${GMP} ; ./configure --prefix `pwd`/../../../../../OpenXM ; make ) ; \ |
| fi |
fi |
| install: install-exec |
@touch .build_done |
| install-exec: all |
|
| if [ ! -f ./.install_done ]; then \ |
post-install: build |
| (cd ${GMP}; make install-exec) ; \ |
@if test ! -f .post-install_done ; \ |
| cp ${GMP}/gmp.h ${OpenXM_include} ; \ |
then \ |
| touch ./.install_done ; \ |
if [ ! -d ${PREFIX}/lib ]; then mkdir ${PREFIX}/lib ; fi ; \ |
| |
if [ ! -d ${PREFIX}/bin ]; then mkdir ${PREFIX}/bin ; fi ; \ |
| |
(cd work/${GMP} ; make install) ; \ |
| |
(cd work/${GMP} ; cp gmp-impl.h config.h gmp-mparam.h ../../${OpenXM_HOME}/include) ; \ |
| fi |
fi |
| configure: |
@touch .post-install_done |
| if [ ! -f ./.configure_done ]; then \ |
|
| (cd ${GMP} ; ./configure --prefix=`pwd`/../../OpenXM ) ; \ |
clean: |
| touch ./.configure_done ; \ |
$(RM) .*_done |
| fi |
-(cd work/${GMP} ; make clean) |
| clean: |
distclean: |
| ${RM} -f ./.*done |
$(RM) .*_done ./.use_ports |
| @if [ -f ./.make_done ]; then \ |
-(cd work/${GMP} ; make distclean) |
| (cd ${GMP} ; make clean) \ |
|
| fi |
|
| distclean: |
|
| ${RM} -f ./.*done |
|
| -@if [ -f ./.make_done ]; then \ |
|
| (cd ${GMP} ; make distclean) \ |
|
| fi |
|