OpenXM/install.txt - diff

Return to install.txt CVS log

Up to [local] / OpenXM

Diff for /OpenXM/install.txt between version 1.22 and 1.30

version 1.22, 2003/09/03 00:20:39

version 1.30, 2008/02/18 06:36:12

Line 1

%% $OpenXM: OpenXM/install.txt,v 1.21 2003/08/03 20:27:21 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.

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 15 These files will be generated from install.oxweave by

make

in the source distribution.

As to the 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.

-------- An instruction for a quick installation from the source code ---

(cd OpenXM/src ; make make install)

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)

Line 33 or (cd OpenXM/rc ; make )

Line 44 or (cd OpenXM/rc ; make )

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

Line 40 OpenXM/Risa/Asir.

Line 55 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.

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>