OpenXM/install.txt - diff

Return to install.txt CVS log

Up to [local] / OpenXM

version 1.26, 2004/02/23 11:38:36

version 1.29, 2004/03/31 01:42:58

Line 1

%% $OpenXM: OpenXM/install.txt,v 1.25 2004/02/13 02:28:55 takayama Exp $

%% $OpenXM: OpenXM/install.txt,v 1.28 2004/03/25 02:01:15 takayama Exp $

The OpenXM package is a package of mathematical software systems.

They are integrated with the OpenXM protocols.

The OpenXM protocol provides an infrastructure for free, or open source

The OpenXM protocol provides an infrastructure for

mathematical software systems.

As to installation procedures,

Line 48 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

See the manual of wget for details.