version 1.6, 2004/02/24 00:02:10 |
version 1.11, 2004/03/31 01:06:10 |
|
|
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.5 2004/02/23 05:56:32 takayama Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.10 2004/03/26 08:54:07 ohara 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 |
GMP=${OpenXM_contrib}/gmp |
MASTER_SITE=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
RM=rm |
DISTFILES=gmp-4.1.2.tar.gz |
all: |
GMP=gmp-4.1.2 |
@if [ ! -f ./.use_ports ]; then \ |
|
make all-l ; \ |
all : build |
else \ |
|
make -f Makefile-ports all ; \ |
fetch: |
|
-mkdir work |
|
@if [ ! -f work/.fetch_done ]; then \ |
|
${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \ |
|
fi |
|
@touch work/.fetch_done |
|
|
|
extract: fetch |
|
@if [ ! -f work/.extract_done ]; then \ |
|
cat ${DISTDIR}/${DISTFILES} | (cd work ; tar xzvf -) ; \ |
|
fi |
|
@touch work/.extract_done |
|
|
|
patch: extract |
|
@touch work/.patch_done |
|
|
|
configure: patch |
|
@if [ ! -f work/.configure_done ]; then \ |
|
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
|
(cd work/${GMP} ; ./configure --prefix="$$prefix" ) ; \ |
fi |
fi |
install: |
@touch work/.configure_done |
@if [ ! -f ./.use_ports ]; then \ |
|
make install-l ; \ |
build : configure |
else \ |
@if [ ! -f work/.build_done ]; then \ |
make -f Makefile-ports install ; \ |
(cd work/${GMP} ; ${MAKE}) ; \ |
fi |
fi |
all-l: configure-l |
@touch work/.build_done |
-@if [ ! -f ./.make_done ]; then \ |
|
(cd ${GMP} ; make) ; \ |
install: build |
touch ./.make_done ; \ |
-mkdir ${PREFIX}/bin ${PREFIX}/lib |
|
@if [ ! -f work/.install_done ]; then \ |
|
(cd work/${GMP} ; ${MAKE} install) ; \ |
|
for i in config.h gmp-impl.h gmp-mparam.h; do \ |
|
cp work/${GMP}/$$i ${OpenXM_HOME}/include ; \ |
|
done ; \ |
fi |
fi |
install-l: install-exec-l |
@touch work/.install_done |
install-exec-l: all-l |
|
if [ ! -f ./.install_done ]; then \ |
clean: |
(cd ${GMP}; make install-exec) ; \ |
-$(RM) -rf work |
rm -f ${OpenXM_include}/config.h ${OpenXM_include}/gmp-impl.h ${OpenXM_include}/gmp-mparam.h ; \ |
|
cp ${GMP}/gmp.h ${OpenXM_include} ; \ |
distclean: clean |
touch ./.install_done ; \ |
|
fi |
|
configure: |
|
@if [ ! -f ./.use_ports ]; then \ |
|
make configure-l ; \ |
|
fi |
|
configure-l: |
|
if [ ! -f ./.configure_done ]; then \ |
|
(cd ${GMP} ; ./configure --prefix=`pwd`/../../OpenXM ) ; \ |
|
touch ./.configure_done ; \ |
|
fi |
|
clean: |
|
@if [ -f ./.make_done ]; then \ |
|
(cd ${GMP} ; make clean) \ |
|
fi |
|
${RM} -f ./.*done |
|
distclean: |
|
-@if [ -f ./.make_done ]; then \ |
|
(cd ${GMP} ; make distclean) \ |
|
fi |
|
${RM} -f ./.*done |
|