version 1.175, 2016/09/23 05:37:43 |
version 1.176, 2016/09/26 05:41:30 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.174 2016/09/23 03:04:22 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.175 2016/09/23 05:37:43 takayama Exp $ |
|
|
OpenXM_HOME=.. |
OpenXM_HOME=.. |
OpenXM_contrib2=../../OpenXM_contrib2 |
OpenXM_contrib2=../../OpenXM_contrib2 |
Line 348 install-for-debug: |
|
Line 348 install-for-debug: |
|
(cd kxx; ${MAKE} install-for-debug) |
(cd kxx; ${MAKE} install-for-debug) |
(cd k097; ${MAKE} install-for-debug) |
(cd k097; ${MAKE} install-for-debug) |
(cd ${BINDIR}; rm -f asir; ln -s ../../OpenXM_contrib2/asir2000/asir .) |
(cd ${BINDIR}; rm -f asir; ln -s ../../OpenXM_contrib2/asir2000/asir .) |
|
(cd ${BINDIR}; rm -f ox_pari; ln -s ../../OpenXM/src/ox_pari/ox_pari .) |
|
|
fetch: |
fetch: |
-@for i in gc gmp gnuplot pari tigers; do \ |
-@for i in gc gmp gnuplot pari tigers; do \ |