version 1.2, 2003/11/10 23:13:38 |
version 1.3, 2003/11/11 10:56:02 |
|
|
# $OpenXM: OpenXM/src/gc/Makefile-ports,v 1.1 2003/11/10 11:42:59 takayama Exp $ |
# $OpenXM: OpenXM/src/gc/Makefile-ports,v 1.2 2003/11/10 23:13:38 takayama Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
|
|
fetch: pre-fetch |
fetch: pre-fetch |
@if test ! -f .fetch_done ; \ |
@if test ! -f .fetch_done ; \ |
then \ |
then \ |
(cd ${DISTDIR}; wget --passive-ftp ftp://$(MASTER_CITES)/pub/OpenXM/misc/$(DISTFILES)) ; \ |
if test ! -f ${DISTDIR}/${DISTFILES} ; then \ |
|
(cd ${DISTDIR}; wget --passive-ftp ftp://$(MASTER_CITES)/pub/OpenXM/misc/$(DISTFILES)) ; \ |
|
fi ; \ |
fi |
fi |
@touch .fetch_done |
@touch .fetch_done |
|
|