version 1.31, 2008/06/03 00:24:49 |
version 1.33, 2018/09/07 07:13:04 |
|
|
%% $OpenXM: OpenXM/install.txt,v 1.30 2008/02/18 06:36:12 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 |
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 |
by the wget or the curl command. All necessary library sources are downloaded in |
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 |
OpenXM_dist at the same level of OpenXM. If you are offline, please put |
all library sources necessary in this directory by hand. |
all library sources necessary in this directory by hand. |
|
|
Line 63 OpenXM/doc directory and http://www.openxm.org |
|
Line 66 OpenXM/doc directory and http://www.openxm.org |
|
|
|
-------------- |
-------------- |
gc and gmp will be automatically downloaded from |
gc and gmp will be automatically downloaded from |
ftp.math.kobe-u.ac.jp/pub/OpenXM/misc |
http://www.math.kobe-u.ac.jp/pub/OpenXM/misc |
and stored in OpenXM_dist (OpenXM/../OpenXM_dist) by wget. |
and stored in OpenXM_dist (OpenXM/../OpenXM_dist) by wget or curl. |
If you cannot connect to the ftp server directory, |
If you cannot connect to the ftp server directory, |
please download the files at ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gc* |
please download the files at www.math.kobe-u.ac.jp/pub/OpenXM/misc/gc* |
and ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gmp* |
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. |
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. |
|
|
|
|
|
|
|