version 1.28, 2004/03/25 02:01:15 |
version 1.33, 2018/09/07 07:13:04 |
|
|
%% $OpenXM: OpenXM/install.txt,v 1.27 2004/02/24 06:16:31 takayama Exp $ |
%% $OpenXM: OpenXM/install.txt,v 1.32 2008/09/13 01:50: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. |
Line 21 If you provide binaries generated to "users", you need |
|
Line 21 If you provide binaries generated to "users", you need |
|
that we understand that once an user starts our system, he/she agrees |
that we understand that once an user starts our system, he/she agrees |
with our licence. |
with our licence. |
|
|
|
If you are interested in using and do not like to build from the source |
|
code, we recommend you to use MathLibre DVD. |
|
The OpenXM package is preinstalled in these systems. |
|
A Debian network is also distributed at http://www.openxm.org |
|
|
-------- An instruction for a quick installation from the source code --- |
-------- An instruction for a quick installation from the source code --- |
|
During the installation, some library souces are automatically downloaded |
|
by the wget or the curl command. All necessary library sources are downloaded in |
|
OpenXM_dist at the same level of OpenXM. If you are offline, please put |
|
all library sources necessary in this directory by hand. |
|
|
(cd OpenXM/src ; make install) |
(cd OpenXM/src ; make install) |
You will get binaries, libraries, and documents under |
You will get binaries, libraries, and documents under |
OpenXM/bin, OpenXM/lib, OpenXM/doc |
OpenXM/bin, OpenXM/lib, OpenXM/doc |
(cd OpenXM/rc ; make install) |
(cd OpenXM/rc ; make install) |
Shell scripts to start "asir", "sm1", ... will be copied to |
Shell scripts to start "asir", "sm1", ... will be copied to |
/usr/local/bin |
/usr/local/bin [You need do "make install" as a super user.] |
or (cd OpenXM/rc ; make ) |
or (cd OpenXM/rc ; make ) |
and include dot.bashrc or dot.cshrc generated from your .bashrc or .cshrc |
and include dot.bashrc or dot.cshrc generated from your .bashrc or .cshrc |
by the command source; source dot.bashrc or source dot.cshrc. |
by the command source; source dot.bashrc or source dot.cshrc. |
|
|
|
If you do not like to change your .bashrc or .cshrc, use the command |
|
/usr/local/bin/openxm to start our program. For example, |
|
openxm asir |
|
starts the asir under the OpenXM environement. |
|
|
------- If you need only asir and kan, |
------- If you need only asir and kan, |
(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. |
Line 50 The manual of Risa/Asir and Asir-contrib can be found |
|
Line 65 The manual of Risa/Asir and Asir-contrib can be found |
|
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 |
gc and gmp will be automatically downloaded from |
and stored in OpenXM_dist (OpenXM/../OpenXM_dist). |
http://www.math.kobe-u.ac.jp/pub/OpenXM/misc |
If you cannot connect the ftp server directory, |
and stored in OpenXM_dist (OpenXM/../OpenXM_dist) by wget or curl. |
please download the files at ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gc* |
If you cannot connect to the ftp server directory, |
and ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gmp* |
please download the files at www.math.kobe-u.ac.jp/pub/OpenXM/misc/gc* |
|
and www.math.kobe-u.ac.jp/pub/OpenXM/misc/gmp* |
under OpenXM_dist by hand before make. |
under OpenXM_dist by hand before make. |
|
|
|
|