version 1.3, 2020/01/08 17:29:26 |
version 1.5, 2022/09/07 03:20:07 |
|
|
# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.2 2018/12/22 01:54:58 kondoh Exp $ |
# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.4 2021/03/24 14:32:47 fujimoto 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 --enable-fep --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 |
|
|