version 1.5, 2022/09/07 03:20:07 |
version 1.6, 2022/09/07 05:58:08 |
|
|
# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.4 2021/03/24 14:32:47 fujimoto Exp $ |
# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.5 2022/09/07 03:20:07 ohara Exp $ |
|
|
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
Line 36 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 \ |
if [ -z $TARGET_TYPE ]; then \ |
if [ -z "${TARGET_TYPE}" ]; then \ |
(cd $(ASIR) ; \ |
(cd $(ASIR) ; \ |
./configure --enable-plot --enable-fep --prefix="`cd ../../OpenXM; pwd`") \ |
./configure --enable-plot --enable-fep --prefix="`cd ../../OpenXM; pwd`") \ |
else \ |
else \ |
|
|
|
|
configure-nox: fetch |
configure-nox: fetch |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
if [ -z $TARGET_TYPE ]; then \ |
if [ -z "${TARGET_TYPE}" ]; then \ |
(cd $(ASIR) ; \ |
(cd $(ASIR) ; \ |
./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
else \ |
else \ |
Line 60 configure-nox: fetch |
|
Line 60 configure-nox: fetch |
|
|
|
configure-static: fetch |
configure-static: fetch |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
if [ -z $TARGET_TYPE ]; then \ |
if [ -z "${TARGET_TYPE}" ]; then \ |
(cd $(ASIR) ; \ |
(cd $(ASIR) ; \ |
./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
else \ |
else \ |
Line 72 configure-static: fetch |
|
Line 72 configure-static: fetch |
|
|
|
configure-interval: fetch |
configure-interval: fetch |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
if [ -z $TARGET_TYPE ]; then \ |
if [ -z "${TARGET_TYPE}" ]; then \ |
(cd $(ASIR) ; \ |
(cd $(ASIR) ; \ |
./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \ |
./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \ |
else \ |
else \ |