version 1.135, 2004/02/23 11:38:36 |
version 1.136, 2004/02/26 23:29:46 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.134 2004/02/22 06:39:09 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.135 2004/02/23 11:38:36 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) |