version 1.2, 2003/11/10 23:13:38 |
version 1.4, 2003/11/14 03:00:12 |
|
|
# $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.3 2003/11/11 10:56:02 takayama 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 \ |
(cd ${DISTDIR}; wget --passive-ftp ftp://$(MASTER_CITES)/pub/OpenXM/misc/$(DISTFILES)) ; \ |
${OpenXM_HOME}/bin/oxfetch.sh ftp://${MASTER_CITES}/pub/OpenXM/misc/${DISTFILES} ${DISTDIR}; \ |
fi |
fi |
@touch .fetch_done |
@touch .fetch_done |
|
|