version 1.20, 2003/03/07 15:55:05 |
version 1.24, 2005/07/14 02:56:52 |
|
|
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.19 2003/03/07 07:40:33 ohara Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.23 2003/09/02 14:26:07 takayama Exp $ |
|
|
|
OpenXM_HOME=../.. |
|
PREFIX=${OpenXM_HOME} |
|
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
|
MASTER_SITE=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
|
# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/ |
|
DISTNAME=gc6.5 |
|
DISTFILES=${DISTNAME}.tar.gz |
|
|
ASIR = ../../../OpenXM_contrib2/asir2000 |
ASIR = ../../../OpenXM_contrib2/asir2000 |
ASIR_PARI = ../../../OpenXM_contrib2/asir2000-pari |
ASIR_PARI = ../../../OpenXM_contrib2/asir2000-pari |
ASIR_SMALL = ../../../OpenXM_contrib2/asir2000-small |
ASIR_SMALL = ../../../OpenXM_contrib2/asir2000-small |
PARI = ../pari |
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 |
Line 35 install-lib-with-pari: with-pari |
|
Line 43 install-lib-with-pari: with-pari |
|
install-lib-small: small |
install-lib-small: small |
(cd $(ASIR_SMALL) ; make install-libasir) |
(cd $(ASIR_SMALL) ; make install-libasir) |
|
|
|
install-libasir-gc: configure |
|
(cd $(ASIR) ; make install-libasir-gc) |
|
|
clean: |
clean: |
(cd $(ASIR) ; make clean) |
(cd $(ASIR) ; make clean) |
-@if [ -d $(ASIR_PARI) ]; then (cd $(ASIR_PARI) ; make clean) fi |
-@if [ -d $(ASIR_PARI) ]; then (cd $(ASIR_PARI) ; make clean) fi |
-@if [ -d $(ASIR_SMALL) ]; then (cd $(ASIR_SMALL) ; make clean) fi |
-@if [ -d $(ASIR_SMALL) ]; then (cd $(ASIR_SMALL) ; make clean) fi |
@rm -f ./.make_* ./.configure_* ./.install-* |
@rm -f ./.make_* ./.configure_* ./.install-* ./.fetch* |
|
|
distclean: clean |
distclean: clean |
@rm -rf $(ASIR_PARI) |
@rm -rf $(ASIR_PARI) |
@rm -rf $(ASIR_SMALL) |
@rm -rf $(ASIR_SMALL) |
@cat BINARIES | xargs -t rm -rf |
@cat BINARIES | xargs -t rm -rf |
|
|
configure: install-pari |
fetch: |
|
@if [ ! -f .fetch_done ]; then \ |
|
${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \ |
|
fi |
|
@touch .fetch_done |
|
|
|
configure: fetch |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
(cd $(ASIR) ; \ |
(cd $(ASIR) ; \ |
CFLAGS="-O -g" ./configure --enable-plot --with-pari \ |
./configure --enable-plot --with-pari --prefix="`cd ../../OpenXM; pwd`") \ |
--prefix="`cd ../../OpenXM; pwd`") \ |
|
fi |
fi |
@touch ./.configure_done |
@touch ./.configure_done |
|
|
Line 58 configure-with-pari: configure |
|
Line 74 configure-with-pari: configure |
|
-@if [ ! -f ./.configure_with_pari_done ]; then \ |
-@if [ ! -f ./.configure_with_pari_done ]; then \ |
mkdir $(ASIR_PARI) ; \ |
mkdir $(ASIR_PARI) ; \ |
(cd $(ASIR_PARI) ; ../../OpenXM/bin/lndir.sh ../asir2000 ; \ |
(cd $(ASIR_PARI) ; ../../OpenXM/bin/lndir.sh ../asir2000 ; \ |
CFLAGS="-O -g" ./configure --with-pari \ |
rm -f config.status config.log ; \ |
--prefix="`cd ../../OpenXM; pwd`") \ |
./configure --with-pari --prefix="`cd ../../OpenXM; pwd`") \ |
fi |
fi |
@touch ./.configure_with_pari_done |
@touch ./.configure_with_pari_done |
|
|
Line 67 configure-small: configure |
|
Line 83 configure-small: configure |
|
-@if [ ! -f ./.configure_small_done ]; then \ |
-@if [ ! -f ./.configure_small_done ]; then \ |
mkdir $(ASIR_SMALL) ; \ |
mkdir $(ASIR_SMALL) ; \ |
(cd $(ASIR_SMALL) ; ../../OpenXM/bin/lndir.sh ../asir2000 ; \ |
(cd $(ASIR_SMALL) ; ../../OpenXM/bin/lndir.sh ../asir2000 ; \ |
CFLAGS="-O -g" ./configure \ |
rm -f config.status config.log ; \ |
--prefix="`cd ../../OpenXM; pwd`") \ |
./configure --prefix="`cd ../../OpenXM; pwd`") \ |
fi |
fi |
@touch ./.configure_small_done |
@touch ./.configure_small_done |
|
|
configure-xmkmf: install-pari |
configure-xmkmf: |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
(cd $(ASIR) ; ./configure-xmkmf -plot -pari ) \ |
(cd $(ASIR) ; ./configure-xmkmf -plot -pari ) \ |
fi |
fi |