OpenXM/install.txt - diff

Return to install.txt CVS log

Up to [local] / OpenXM

Diff for /OpenXM/install.txt between version 1.29 and 1.33

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

version 1.33, 2018/09/07 07:13:04

Line 1

%% $OpenXM: OpenXM/install.txt,v 1.28 2004/03/25 02:01:15 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.

They are integrated with the OpenXM protocols.

Line 21 If you provide binaries generated to "users", you need

that we understand that once an user starts our system, he/she agrees

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

During the installation, some library souces are automatically downloaded

by the wget or the curl command. 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)

Shell scripts to start "asir", "sm1", ... will be copied to

/usr/local/bin

/usr/local/bin [You need do "make install" as a super user.]

or (cd OpenXM/rc ; make )

and include dot.bashrc or dot.cshrc generated from your .bashrc or .cshrc

by the command source; source dot.bashrc or source dot.cshrc.

If you do not like to change your .bashrc or .cshrc, use the command

/usr/local/bin/openxm to start our program. For example,

openxm asir

starts the asir under the OpenXM environement.

------- If you need only asir and kan,

(cd OpenXM/src ; make install-asir2000 ; make install-k097 )

You will get only asir and kan/sm1.

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

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,

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.

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>