Return to install.txt CVS log

Up to [local] / OpenXM

Added a comment how to oxfetch files via a proxy server.

%%  $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 
mathematical software systems.

As to installation procedures,
   see doc/install-en.txt  in English
and
   see doc/install-ja.txt  in Japanese.

These files will be generated from install.oxweave by 
   cd doc
   make
in the source distribution.

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 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
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 need only asir and kan,
(cd OpenXM/src ; make install-asir2000 ; make install-k097 )
             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
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.