version 1.3, 2000/01/09 16:28:09 |
version 1.31, 2015/02/21 06:20:36 |
|
|
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.2 2000/01/09 15:57:25 maekawa Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.30 2012/08/27 05:05:57 noro Exp $ |
|
|
|
OpenXM_HOME=../.. |
|
PREFIX=${OpenXM_HOME} |
|
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
|
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
|
# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/ |
|
#DISTNAME=gc-7.2b |
|
DISTNAME=gc6.8 |
|
DISTFILES=${DISTNAME}.tar.gz |
|
|
ASIR = ../../../OpenXM_contrib2/asir2000 |
ASIR = ../../../OpenXM_contrib2/asir2000 |
|
PARI = ../pari |
|
|
all: configure |
all: configure install-pari |
@if [ ! -f ./.make_done ]; then \ |
@if [ ! -f ./.make_done ]; then \ |
(cd $(ASIR) ; make all) \ |
(cd ${ASIR} ; ${MAKE} all) \ |
fi |
fi |
@touch ./.make_done |
@touch ./.make_done |
|
|
install: all |
install: all |
(cd $(ASIR) ; make install ; make install2) |
(cd ${ASIR} ; ${MAKE} install-openxm) |
|
|
clean: |
clean: |
(cd $(ASIR) ; make clean) |
(cd ${ASIR} ; ${MAKE} clean) |
@rm -f ./.make_done ./.configure_done |
@rm -f ./.make_* ./.configure_* ./.install-* ./.fetch* |
|
|
distclean: |
distclean: clean |
@cat BINARIES | xargs -t rm -rf |
@cat BINARIES | xargs -t rm -rf |
|
|
configure: |
fetch: |
|
@if [ ! -f .fetch_done ]; then \ |
|
for i in ${DISTFILES}; do \ |
|
${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \ |
|
done \ |
|
fi |
|
@touch .fetch_done |
|
|
|
configure: fetch |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
(cd $(ASIR) ; ./configure ; xmkmf -a ; make depend) \ |
(cd $(ASIR) ; \ |
|
./configure --enable-plot --with-pari --prefix="`cd ../../OpenXM; pwd`") \ |
fi |
fi |
@touch ./.configure_done |
@touch ./.configure_done |
|
|
|
install-pari: |
|
@if [ ! -f ./.install-pari_done ]; then \ |
|
(cd ${PARI} ; ${MAKE} install) \ |
|
fi |
|
@touch ./.install-pari_done |