| version 1.1, 2018/09/19 05:52:21 |
version 1.4, 2021/03/24 14:32:47 |
|
|
| # $OpenXM$ |
# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.3 2020/01/08 17:29:26 ohara 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 |
| Line 26 all-nox: configure-nox install-pari |
|
| Line 22 all-nox: configure-nox install-pari |
|
| install: all |
install: all |
| (cd ${ASIR} ; ${MAKE} install-openxm) |
(cd ${ASIR} ; ${MAKE} install-openxm) |
| |
|
| |
install-nox: all-nox |
| |
(cd ${ASIR} ; ${MAKE} install-openxm) |
| |
|
| clean: |
clean: |
| (cd ${ASIR} ; ${MAKE} clean) |
(cd ${ASIR} ; ${MAKE} clean) |
| @rm -f ./.make_* ./.configure_* ./.install-* ./.fetch* |
@rm -f ./.make_* ./.configure_* ./.install-* ./.fetch* |
|
|
| 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 $(ASIR) ; \ |
if [ -z $TARGET_TYPE ]; then \ |
| ./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
(cd $(ASIR) ; \ |
| |
./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| |
else \ |
| |
(cd $(ASIR) ; \ |
| |
./configure --host=${TARGET_TYPE} --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| |
fi \ |
| fi |
fi |
| @touch ./.configure_done |
@touch ./.configure_done |
| |
|
| configure-nox: fetch |
configure-nox: fetch |
| @if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
| (cd $(ASIR) ; \ |
if [ -z $TARGET_TYPE ]; then \ |
| ./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
(cd $(ASIR) ; \ |
| |
./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| |
else \ |
| |
(cd $(ASIR) ; \ |
| |
./configure --host=${TARGET_TYPE} --disable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| |
fi \ |
| fi |
fi |
| @touch ./.configure_done |
@touch ./.configure_done |
| |
|
| configure-static: fetch |
configure-static: fetch |
| @if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
| (cd $(ASIR) ; \ |
if [ -z $TARGET_TYPE ]; then \ |
| ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
(cd $(ASIR) ; \ |
| |
./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| |
else \ |
| |
(cd $(ASIR) ; \ |
| |
./configure --host=${TARGET_TYPE} --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| |
fi \ |
| fi |
fi |
| @touch ./.configure_done |
@touch ./.configure_done |
| |
|
| |
configure-interval: fetch |
| |
@if [ ! -f ./.configure_done ]; then \ |
| |
if [ -z $TARGET_TYPE ]; then \ |
| |
(cd $(ASIR) ; \ |
| |
./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \ |
| |
else \ |
| |
(cd $(ASIR) ; \ |
| |
./configure --host=${TARGET_TYPE} --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \ |
| |
fi \ |
| |
fi |
| |
@touch ./.configure_done |
| |
|
| install-pari: |
install-pari: |
| @if [ ! -f ./.install-pari_done ]; then \ |
@if [ ! -f ./.install-pari_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 |