version 1.1, 2003/11/10 11:42:59 |
version 1.3, 2003/11/11 10:56:02 |
|
|
# $OpenXM$ |
# $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 |
|
|
Line 51 post-install: build |
|
Line 53 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) |