version 1.25, 2004/02/13 02:28:55 |
version 1.26, 2004/02/23 11:38:36 |
|
|
%% $OpenXM: OpenXM/install.txt,v 1.24 2004/02/13 00:51:23 takayama Exp $ |
%% $OpenXM: OpenXM/install.txt,v 1.25 2004/02/13 02:28:55 takayama Exp $ |
|
|
The OpenXM package is a package of mathematical software systems. |
The OpenXM package is a package of mathematical software systems. |
They are integrated with the OpenXM protocols. |
They are integrated with the OpenXM protocols. |
Line 36 or (cd OpenXM/rc ; make ) |
|
Line 36 or (cd OpenXM/rc ; make ) |
|
(cd OpenXM/src ; make install-asir2000 ; make install-k097 ) |
(cd OpenXM/src ; make install-asir2000 ; make install-k097 ) |
You will get only asir and kan/sm1. |
You will get only asir and kan/sm1. |
(cd OpenXM/rc ; make install) |
(cd OpenXM/rc ; make install) |
|
|
|
------- Generating html/ps documents under OpenXM/doc |
|
After installation, |
|
(cd OpenXM/src ; make install-document) |
|
|
------------------------------------------- |
------------------------------------------- |
Risa/Asir with asir-contrib is the main client system in the OpenXM project. |
Risa/Asir with asir-contrib is the main client system in the OpenXM project. |