version 1.2, 2018/12/22 01:54:58 |
version 1.3, 2020/01/08 17:29:26 |
|
|
# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.1 2018/09/19 05:52:21 noro Exp $ |
# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.2 2018/12/22 01:54:58 kondoh Exp $ |
|
|
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
|
# Original. http://www.hboehm.info/gc/gc_source |
|
DISTNAME=gc-7.4.2 |
|
DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.4.0.tar.gz |
|
|
|
ASIR = ../../../OpenXM_contrib2/asir2018 |
ASIR = ../../../OpenXM_contrib2/asir2018 |
PARI = ../pari |
PARI = ../pari |
|
ASIR_GC = ../asir-gc |
|
|
all: configure install-pari |
all: configure |
@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 |
|
|
all-nox: configure-nox install-pari |
all-nox: configure-nox |
@if [ ! -f ./.make_done ]; then \ |
@if [ ! -f ./.make_done ]; then \ |
(cd ${ASIR} ; ${MAKE} all) \ |
(cd ${ASIR} ; ${MAKE} all) \ |
fi |
fi |
|
|
distclean: clean |
distclean: clean |
@cat BINARIES | xargs -t rm -rf |
@cat BINARIES | xargs -t rm -rf |
|
|
fetch: |
fetch: install-pari install-asirgc |
@if [ ! -f .fetch_done ]; then \ |
|
for i in ${DISTFILES}; do \ |
|
${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}$$i ${DISTDIR}; \ |
|
done \ |
|
fi |
|
@touch .fetch_done |
|
|
|
configure: fetch |
configure: fetch |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
|
|
(cd ${PARI} ; ${MAKE} install) \ |
(cd ${PARI} ; ${MAKE} install) \ |
fi |
fi |
@touch ./.install-pari_done |
@touch ./.install-pari_done |
|
|
|
install-asirgc: |
|
@if [ ! -f ./.install-asirgc_done ]; then \ |
|
(cd ${ASIR_GC} ; ${MAKE} install) \ |
|
fi |
|
@touch ./.install-asirgc_done |