version 1.27, 2004/02/24 06:16:31 |
version 1.30, 2008/02/18 06:36:12 |
|
|
%% $OpenXM: OpenXM/install.txt,v 1.26 2004/02/23 11:38:36 takayama Exp $ |
%% $OpenXM: OpenXM/install.txt,v 1.29 2004/03/31 01:42:58 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 22 that we understand that once an user starts our system |
|
Line 22 that we understand that once an user starts our system |
|
with our licence. |
with our licence. |
|
|
-------- 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 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) |
(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 |
Line 48 OpenXM/Risa/Asir. |
|
Line 55 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/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. |
|
|
|
|
|
|