Annotation of OpenXM/install.txt, Revision 1.32
1.32 ! takayama 1: %% $OpenXM: OpenXM/install.txt,v 1.31 2008/06/03 00:24:49 takayama Exp $
1.13 takayama 2:
1.15 takayama 3: The OpenXM package is a package of mathematical software systems.
1.21 takayama 4: They are integrated with the OpenXM protocols.
1.27 takayama 5: The OpenXM protocol provides an infrastructure for
1.15 takayama 6: mathematical software systems.
1.9 takayama 7:
1.12 takayama 8: As to installation procedures,
1.14 takayama 9: see doc/install-en.txt in English
1.12 takayama 10: and
1.14 takayama 11: see doc/install-ja.txt in Japanese.
1.12 takayama 12:
13: These files will be generated from install.oxweave by
14: cd doc
1.3 takayama 15: make
1.20 takayama 16: in the source distribution.
1.13 takayama 17:
1.24 takayama 18: As to the licence of OpenXM, see the directory Copyright (BSD, Fujitsu, ...).
19: We understand that you agree with our licence when you started "make".
20: If you provide binaries generated to "users", you need to let users know
1.25 takayama 21: that we understand that once an user starts our system, he/she agrees
22: with our licence.
1.16 takayama 23:
1.32 ! takayama 24: If you are interested in using and do not like to build from the source
! 25: code, we recommend you to use Knoppix/Math DVD or the VMware/Knoppix/Math.
! 26: The OpenXM packagea is preinstalled in these systems.
! 27:
1.18 takayama 28: -------- An instruction for a quick installation from the source code ---
1.30 takayama 29: During the installation, some library souces are automatically downloaded
30: by the wget command. If you are in a firewall and cannot use even the passive
31: ftp, the environmental variable ftp_proxy may help you.
32: See the document of wget. All necessary library sources are downloaded in
33: OpenXM_dist at the same level of OpenXM. If you are offline, please put
34: all library sources necessary in this directory by hand.
35:
1.23 takayama 36: (cd OpenXM/src ; make install)
1.16 takayama 37: You will get binaries, libraries, and documents under
38: OpenXM/bin, OpenXM/lib, OpenXM/doc
1.31 takayama 39: (cd OpenXM/rc ; make install)
1.16 takayama 40: Shell scripts to start "asir", "sm1", ... will be copied to
1.31 takayama 41: /usr/local/bin [You need do "make install" as a super user.]
1.22 takayama 42: or (cd OpenXM/rc ; make )
43: and include dot.bashrc or dot.cshrc generated from your .bashrc or .cshrc
44: by the command source; source dot.bashrc or source dot.cshrc.
1.16 takayama 45:
1.31 takayama 46: If you do not like to change your .bashrc or .cshrc, use the command
47: /usr/local/bin/openxm to start our program. For example,
48: openxm asir
49: starts the asir under the OpenXM environement.
50:
1.17 takayama 51: ------- If you need only asir and kan,
1.22 takayama 52: (cd OpenXM/src ; make install-asir2000 ; make install-k097 )
53: You will get only asir and kan/sm1.
1.17 takayama 54: (cd OpenXM/rc ; make install)
1.26 takayama 55:
56: ------- Generating html/ps documents under OpenXM/doc
57: After installation,
58: (cd OpenXM/src ; make install-document)
1.16 takayama 59:
1.19 takayama 60: -------------------------------------------
61: Risa/Asir with asir-contrib is the main client system in the OpenXM project.
1.22 takayama 62: You can start Risa/Asir by the command "asir", which is called
63: OpenXM/Risa/Asir.
64: It is build by (cd OpenXM/src ; make install-asir-contrib)
1.19 takayama 65: The manual of Risa/Asir and Asir-contrib can be found in the
66: OpenXM/doc directory and http://www.openxm.org
1.28 takayama 67:
68: --------------
1.29 takayama 69: gc and gmp will be automatically downloaded from
70: ftp.math.kobe-u.ac.jp/pub/OpenXM/misc
71: and stored in OpenXM_dist (OpenXM/../OpenXM_dist) by wget.
72: If you cannot connect to the ftp server directory,
1.28 takayama 73: please download the files at ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gc*
74: and ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gmp*
75: under OpenXM_dist by hand before make.
1.29 takayama 76: If you can connect to the ftp server via a proxy server,
77: specify your ftp proxy server in ~/.wgetrc as
78: ftp_proxy = http://proxy.yoyodyne.com:18023/
79: See the manual of wget for details.
1.13 takayama 80:
1.6 takayama 81:
1.12 takayama 82:
83:
84:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>