version 1.29, 2012/05/30 19:24:33 |
version 1.36, 2018/12/22 01:54:58 |
|
|
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.28 2012/05/09 06:18:06 ohara Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.35 2017/03/31 06:11:01 fujimoto Exp $ |
|
|
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
MASTER_SITE=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/ |
# Original. http://www.hboehm.info/gc/gc_source |
DISTNAME=gc-7.2b |
DISTNAME=gc-7.4.2 |
DISTFILES=${DISTNAME}.tar.gz |
DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.4.0.tar.gz |
|
|
ASIR = ../../../OpenXM_contrib2/asir2000 |
ASIR = ../../../OpenXM_contrib2/asir2000 |
PARI = ../pari |
PARI = ../pari |
Line 17 all: configure install-pari |
|
Line 17 all: configure install-pari |
|
fi |
fi |
@touch ./.make_done |
@touch ./.make_done |
|
|
|
all-nox: configure-nox install-pari |
|
@if [ ! -f ./.make_done ]; then \ |
|
(cd ${ASIR} ; ${MAKE} all) \ |
|
fi |
|
@touch ./.make_done |
|
|
install: all |
install: all |
(cd ${ASIR} ; ${MAKE} install-openxm) |
(cd ${ASIR} ; ${MAKE} install-openxm) |
|
|
|
|
fetch: |
fetch: |
@if [ ! -f .fetch_done ]; then \ |
@if [ ! -f .fetch_done ]; then \ |
for i in ${DISTFILES}; do \ |
for i in ${DISTFILES}; do \ |
${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \ |
${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}$$i ${DISTDIR}; \ |
done \ |
done \ |
fi |
fi |
@touch .fetch_done |
@touch .fetch_done |
|
|
configure: fetch |
configure: fetch |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
(cd $(ASIR) ; \ |
(cd $(ASIR) ; \ |
./configure --enable-plot --with-pari --prefix="`cd ../../OpenXM; pwd`") \ |
./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
|
fi |
|
@touch ./.configure_done |
|
|
|
configure-nox: fetch |
|
@if [ ! -f ./.configure_done ]; then \ |
|
(cd $(ASIR) ; \ |
|
./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
|
fi |
|
@touch ./.configure_done |
|
|
|
configure-static: fetch |
|
@if [ ! -f ./.configure_done ]; then \ |
|
(cd $(ASIR) ; \ |
|
./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
|
fi |
|
@touch ./.configure_done |
|
|
|
configure-interval: fetch |
|
@if [ ! -f ./.configure_done ]; then \ |
|
(cd $(ASIR) ; \ |
|
./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \ |
fi |
fi |
@touch ./.configure_done |
@touch ./.configure_done |
|
|