version 1.134, 2004/02/22 06:39:09 |
version 1.137, 2004/03/25 01:52:18 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.133 2003/11/27 12:10:18 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.136 2004/02/26 23:29:46 takayama Exp $ |
|
|
OpenXM_HOME=.. |
OpenXM_HOME=.. |
OpenXM_contrib=../../OpenXM_contrib |
OpenXM_contrib=../../OpenXM_contrib |
Line 81 install: install-oxtags install-util install-asir inst |
|
Line 81 install: install-oxtags install-util install-asir inst |
|
install-k097 install-kan96xx \ |
install-k097 install-kan96xx \ |
install-kxx install-openmath install-oxmath install-pari \ |
install-kxx install-openmath install-oxmath install-pari \ |
install-phc install-tigers install-asir-doc install-asir-contrib \ |
install-phc install-tigers install-asir-doc install-asir-contrib \ |
install-misc install-fep install-uuencoded install-asir-port |
install-misc install-fep install-uuencoded |
|
|
install-oxtags: |
install-oxtags: |
(cd ../doc/OpenXM-web ; make install-exec) |
(cd ../doc/OpenXM-web ; make install-exec) |
Line 219 configure: configure-asir \ |
|
Line 219 configure: configure-asir \ |
|
configure-k097 configure-kan96xx configure-kxx configure-oxmath \ |
configure-k097 configure-kan96xx configure-kxx configure-oxmath \ |
configure-pari configure-gmp |
configure-pari configure-gmp |
|
|
configure-gmp: |
configure-gmp: install-util |
(cd gmp; make configure) |
(cd gmp; make configure) |
|
|
configure-asir: |
configure-asir: |
|
|
install-all-asir-lib: |
install-all-asir-lib: |
(cd asir2000 ; make install-lib-small) |
(cd asir2000 ; make install-lib-small) |
|
|
|
install-document: install-document-kan96xx install-document-asir-contrib |
|
|
|
install-document-kan96xx: install-kan96xx |
|
(cd kan96xx ; make install-document) |
|
install-document-asir-contrib: install-asir-contrib |
|
(cd asir-contrib; make install-document) |
|
|
## Targets for debugging |
## Targets for debugging |
install-for-debug: |
install-for-debug: |