version 1.23, 2003/09/13 01:46:27 |
version 1.28, 2004/03/25 02:01:15 |
|
|
%% $OpenXM: OpenXM/install.txt,v 1.22 2003/09/03 00:20:39 takayama Exp $ |
%% $OpenXM: OpenXM/install.txt,v 1.27 2004/02/24 06:16:31 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. |
The OpenXM protocol provides an infrastructure for free, or open source |
The OpenXM protocol provides an infrastructure for |
mathematical software systems. |
mathematical software systems. |
|
|
As to installation procedures, |
As to installation procedures, |
Line 15 These files will be generated from install.oxweave by |
|
Line 15 These files will be generated from install.oxweave by |
|
make |
make |
in the source distribution. |
in the source distribution. |
|
|
As to the copyright notice, see the directory Copyright. |
As to the licence of OpenXM, see the directory Copyright (BSD, Fujitsu, ...). |
|
We understand that you agree with our licence when you started "make". |
|
If you provide binaries generated to "users", you need to let users know |
|
that we understand that once an user starts our system, he/she agrees |
|
with our licence. |
|
|
-------- An instruction for a quick installation from the source code --- |
-------- An instruction for a quick installation from the source code --- |
(cd OpenXM/src ; make install) |
(cd OpenXM/src ; make install) |
Line 33 or (cd OpenXM/rc ; make ) |
|
Line 37 or (cd OpenXM/rc ; make ) |
|
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. |
You can start Risa/Asir by the command "asir", which is called |
You can start Risa/Asir by the command "asir", which is called |
Line 40 OpenXM/Risa/Asir. |
|
Line 48 OpenXM/Risa/Asir. |
|
It is build by (cd OpenXM/src ; make install-asir-contrib) |
It is build by (cd OpenXM/src ; make install-asir-contrib) |
The manual of Risa/Asir and Asir-contrib can be found in the |
The manual of Risa/Asir and Asir-contrib can be found in the |
OpenXM/doc directory and http://www.openxm.org |
OpenXM/doc directory and http://www.openxm.org |
|
|
|
-------------- |
|
gc and gmp will be automatically downloaded from ftp.math.kobe-u.ac.jp |
|
and stored in OpenXM_dist (OpenXM/../OpenXM_dist). |
|
If you cannot connect the ftp server directory, |
|
please download the files at ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gc* |
|
and ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gmp* |
|
under OpenXM_dist by hand before make. |
|
|
|
|
|
|