version 1.1, 2003/11/10 11:42:59 |
version 1.4, 2003/11/14 03:00:12 |
|
|
# $OpenXM$ |
# $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 |
|
|
Line 51 post-install: build |
|
Line 43 post-install: build |
|
@touch .post-install_done |
@touch .post-install_done |
|
|
clean: |
clean: |
$(RM) work .*_done |
$(RM) .*_done |
-(cd work/gc6.2 ; make clean) |
-(cd work/gc6.2 ; make clean) |
distclean: |
distclean: |
$(RM) work .*_done |
$(RM) .*_done ./.use_ports |
-(cd work/gc6.2 ; make distclean) |
-(cd work/gc6.2 ; make distclean) |