| version 1.33, 2015/08/05 14:38:55 |
version 1.36, 2018/12/22 01:54:58 |
|
|
| # $OpenXM: OpenXM/src/asir2000/Makefile,v 1.32 2015/08/04 05:24:44 noro Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.35 2017/03/31 06:11:01 fujimoto Exp $ |
| |
|
| OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
| PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
| Line 17 all: configure install-pari |
|
| Line 17 all: configure install-pari |
|
| fi |
fi |
| @touch ./.make_done |
@touch ./.make_done |
| |
|
| |
all-nox: configure-nox install-pari |
| |
@if [ ! -f ./.make_done ]; then \ |
| |
(cd ${ASIR} ; ${MAKE} all) \ |
| |
fi |
| |
@touch ./.make_done |
| |
|
| install: all |
install: all |
| (cd ${ASIR} ; ${MAKE} install-openxm) |
(cd ${ASIR} ; ${MAKE} install-openxm) |
| |
|
|
|
| @if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
| (cd $(ASIR) ; \ |
(cd $(ASIR) ; \ |
| ./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| |
fi |
| |
@touch ./.configure_done |
| |
|
| |
configure-nox: fetch |
| |
@if [ ! -f ./.configure_done ]; then \ |
| |
(cd $(ASIR) ; \ |
| |
./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| |
fi |
| |
@touch ./.configure_done |
| |
|
| |
configure-static: fetch |
| |
@if [ ! -f ./.configure_done ]; then \ |
| |
(cd $(ASIR) ; \ |
| |
./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| |
fi |
| |
@touch ./.configure_done |
| |
|
| |
configure-interval: fetch |
| |
@if [ ! -f ./.configure_done ]; then \ |
| |
(cd $(ASIR) ; \ |
| |
./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \ |
| fi |
fi |
| @touch ./.configure_done |
@touch ./.configure_done |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to Makefile CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir2000