version 1.32, 2008/09/13 01:50:31 |
version 1.33, 2018/09/07 07:13:04 |
|
|
%% $OpenXM: OpenXM/install.txt,v 1.31 2008/06/03 00:24:49 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 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. |
|
|
If you are interested in using and do not like to build from the source |
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. |
code, we recommend you to use MathLibre DVD. |
The OpenXM packagea is preinstalled in these systems. |
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 67 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. |
|
|
|
|
|
|
|