version 1.13, 2000/01/18 12:29:09 |
version 1.32, 2008/09/13 01:50:31 |
|
|
%% $OpenXM: OpenXM/install.txt,v 1.12 1999/12/15 03:30:12 takayama Exp $ |
%% $OpenXM: OpenXM/install.txt,v 1.31 2008/06/03 00:24:49 takayama Exp $ |
|
|
The OpenXM package is a package of mathematical softwares. |
The OpenXM package is a package of mathematical software systems. |
The OpenXM protocol provides a infrastructure for free, or open source |
They are integrated with the OpenXM protocols. |
mathematical softwares. |
The OpenXM protocol provides an infrastructure for |
|
mathematical software systems. |
|
|
As to installation procedures, |
As to installation procedures, |
see doc/install-eg.txt in English |
see doc/install-en.txt in English |
and |
and |
see doc/install-jp.txt in Japanese. |
see doc/install-ja.txt in Japanese. |
|
|
These files will be generated from install.oxweave by |
These files will be generated from install.oxweave by |
cd doc |
cd doc |
make |
make |
in a source distribution. |
in the source distribution. |
|
|
As to 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. |
|
|
|
If you are interested in using and do not like to build from the source |
|
code, we recommend you to use Knoppix/Math DVD or the VMware/Knoppix/Math. |
|
The OpenXM packagea is preinstalled in these systems. |
|
|
|
-------- An instruction for a quick installation from the source code --- |
|
During the installation, some library souces are automatically downloaded |
|
by the wget command. If you are in a firewall and cannot use even the passive |
|
ftp, the environmental variable ftp_proxy may help you. |
|
See the document of wget. 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) |
|
You will get binaries, libraries, and documents under |
|
OpenXM/bin, OpenXM/lib, OpenXM/doc |
|
(cd OpenXM/rc ; make install) |
|
Shell scripts to start "asir", "sm1", ... will be copied to |
|
/usr/local/bin [You need do "make install" as a super user.] |
|
or (cd OpenXM/rc ; make ) |
|
and include dot.bashrc or dot.cshrc generated from your .bashrc or .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, |
|
(cd OpenXM/src ; make install-asir2000 ; make install-k097 ) |
|
You will get only asir and kan/sm1. |
|
(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. |
|
You can start Risa/Asir by the command "asir", which is called |
|
OpenXM/Risa/Asir. |
|
It is build by (cd OpenXM/src ; make install-asir-contrib) |
|
The manual of Risa/Asir and Asir-contrib can be found in the |
|
OpenXM/doc directory and http://www.openxm.org |
|
|
|
-------------- |
|
gc and gmp will be automatically downloaded from |
|
ftp.math.kobe-u.ac.jp/pub/OpenXM/misc |
|
and stored in OpenXM_dist (OpenXM/../OpenXM_dist) by wget. |
|
If you cannot connect to 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. |
|
If you can connect to the ftp server via a proxy server, |
|
specify your ftp proxy server in ~/.wgetrc as |
|
ftp_proxy = http://proxy.yoyodyne.com:18023/ |
|
See the manual of wget for details. |
|
|
|
|
|
|