| version 1.3, 2020/01/08 17:29:26 |
version 1.4, 2021/03/24 14:32:47 |
|
|
| # $OpenXM: OpenXM/src/asir2018/Makefile,v 1.2 2018/12/22 01:54:58 kondoh Exp $ |
# $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} |
| Line 22 all-nox: configure-nox |
|
| Line 22 all-nox: configure-nox |
|
| 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* |
| Line 33 fetch: install-pari install-asirgc |
|
| Line 36 fetch: install-pari install-asirgc |
|
| |
|
| 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 |
configure-interval: fetch |
| @if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
| (cd $(ASIR) ; \ |
if [ -z $TARGET_TYPE ]; then \ |
| ./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \ |
(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 |
fi |
| @touch ./.configure_done |
@touch ./.configure_done |
| |
|