version 1.33, 2015/08/05 14:38:55 |
version 1.38, 2019/03/26 08:07:18 |
|
|
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.32 2015/08/04 05:24:44 noro Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.37 2019/03/23 12:22:09 ohara 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) |
|
# cp -p asir2000 ${PREFIX}/bin/ |
|
|
clean: |
clean: |
(cd ${ASIR} ; ${MAKE} clean) |
(cd ${ASIR} ; ${MAKE} clean) |
|
|
@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 |
|
|