version 1.3, 2003/11/11 10:56:02 |
version 1.5, 2003/11/14 03:04:29 |
|
|
# $OpenXM: OpenXM/src/gc/Makefile-ports,v 1.2 2003/11/10 23:13:38 takayama Exp $ |
# $OpenXM: OpenXM/src/gc/Makefile-ports,v 1.4 2003/11/14 03:00:12 ohara Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
Line 10 DISTFILES=gc6.2.tar.gz |
|
Line 10 DISTFILES=gc6.2.tar.gz |
|
all : build |
all : build |
install : post-install |
install : post-install |
|
|
pre-fetch: |
fetch: |
-@if test ! -f .pre-fetch_done ; \ |
|
then \ |
|
mkdir ${DISTDIR} ; \ |
|
fi |
|
@touch .pre-fetch_done |
|
|
|
|
|
fetch: pre-fetch |
|
@if test ! -f .fetch_done ; \ |
@if test ! -f .fetch_done ; \ |
then \ |
then \ |
if test ! -f ${DISTDIR}/${DISTFILES} ; then \ |
${OpenXM_HOME}/bin/oxfetch.sh ftp://${MASTER_CITES}/pub/OpenXM/misc/${DISTFILES} ${DISTDIR}; \ |
(cd ${DISTDIR}; wget --passive-ftp ftp://$(MASTER_CITES)/pub/OpenXM/misc/$(DISTFILES)) ; \ |
|
fi ; \ |
|
fi |
fi |
@touch .fetch_done |
@touch .fetch_done |
|
|