=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.4 retrieving revision 1.6 diff -u -p -r1.4 -r1.6 --- OpenXM/doc/install.oxweave 2000/01/07 22:24:17 1.4 +++ OpenXM/doc/install.oxweave 2000/01/19 12:57:39 1.6 @@ -1,75 +1,160 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.3 2000/01/07 22:23:04 maekawa Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.5 2000/01/18 12:41:13 takayama Exp $ OpenXM/doc/install.oxweave +/*&C +OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM + +OpenXM package : Getting started. + +*/ /*&jp -★ OpenXM パッケージの Make 法 - FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. - OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. - cvs コミッタの場合次のようにしてソースをとりよせます. +★ OpenXM パッケージの利用方法 +この節では, OpenXM package binary distribution のインストール法を説明します. +インストールに必要なシステムの仕様については, 動作環境を御覧ください. */ /*&eg -* How to make OpenXM package? - We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. - Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? - If you are a CVS committer, then you can get all sources as follows: +***** HOW TO USE OpenXM PACKAGE? +In this section, we will explain how to install OpenXM package binary +distribution. +As to the required environment, see the section "System Requirement" */ -//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 -//&C -//&jp これらがそろっていたらあとは次のように入力するだけです. -//&eg Check that you have these directories, then just type in the following commands +/*&jp + +(1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. + OpenXM はどこにおいてもかまいません. + +*/ +/*&eg + +(1) Extract the directory OpenXM from the tar ball. + You can put the directory OpenXM at any place in the file system. + +*/ /*&C + tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz - cd OpenXM/src - make configure - make +*/ +/*&jp +以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM +と書きます. */ -/*&jp なお, OpenXM/src/ox_math の利用には Mathematica が, OpenXM/src/OpenMath -には, jdk (java 環境) が必要です. +/*&eg +In the sequel, we will denote the absolute path of the directory OpenXM +by /xxx/yyy/OpenXM. + */ -/*&eg In order to use OpenXM/src/ox_math, you need Mathematica. -In order to use OpenXM/src/OpenMath, you need jdk (java environment). +/*&jp +(2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc + ファイルを自動生成します. + これらのファイルには, OpenXM/bin のファイルを実行するための + 環境変数が定義されています. + */ +/*&eg +(2) Generate OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc + by the following command. + Environmental variables to execute commands in OpenXM/bin + are defined in these files. + +*/ /*&C + cd /xxx/yyy/OpenXM + make + */ /*&jp -★ OpenXM パッケージの利用方法 -OpenXM をホームの直下に展開した場合, 次のようにします. +(3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. + */ /*&eg -* How to use the OpenXM package? -If you have OpenXM under your home directory, do as follows. +(3) Append the following line to the end of ~/.cshrc when you are + using csh as your shell. + */ /*&C - cp OpenXM/rc/asirrc ~/.asirrc - source OpenXM/rc/bashrc (in case of bash) - source OpenXM/rc/cshrc (in case of csh) + source /xxx/yyy/OpenXM/rc/dot.cshrc */ /*&jp -OpenXM をホームの直下に展開してない場合は OpenXM/rc/bashrc, OpenXM/rc/cshrc を -適当に変更して使用してください. +(3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます. + */ /*&eg -If you have OpenXM in a different place, edit OpenXM/rc/bashrc or -OpenXM/rc/cshrc properly. +(3') Append the following line to the end of ~/.bashrc when you are + using bash as your shell. + */ +/*&C + + source /xxx/yyy/OpenXM/rc/dot.bash + +*/ + //&C -//&jp asir の利用には key が必要です. 以下のファイルを御覧ください. -//&eg You need key to use asir. See the following file: +//&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. +//&eg (5) You need key to use asir. See the following file: //&C OpenXM/lib/asir/asir_key //&C + +/*&C +QUALITY: + the following functions have still experimental qualities: + OpenXM/bin/k0, OpenXM/bin/d0 + OpenXM/bin/ox_math, OpenXM/bin/math2ox + OpenXM/lib/java-support/ * + Asir client functions: m_* (Mathematica) , om_* (OpenMath) +*/ +/*&C + + + + +*/ /*&jp +★ 動作環境 + +*/ +/*&eg +***** System Requirements + +*/ +/*&C + +OS: FreeBSD 3.x, Free BSD 2.8, Most Linux systems. + +*/ +/*&jp +次の module は, OS の標準 distribution 以外に, さらに下に記したソフトを +必要とします. +*/ +/*&eg +The following modules require the listed softwares other than the standard +OS package. +*/ +/*&C + +(1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x + (Mathematica server) at /usr/local/Mathematica + OpenXM/bin/math2ox [ see http://www.wolfram.com ] + Asir client functions m_* +(2) OpenXM/lib/java-support : JDK at /usr/local/jdk?? + Asir client functions om_* + sm1 client functions om_* + +*/ + + +/*&jp 注意 1. asir で日本語のヘルプを利用するには, PAGER=jless export PAGER などで, 日本語を扱える PAGER を指定する必要があるかもしれません. 注意 2. -FreeBSD 3.3 などには, /usr/local/bin/javac がついています. -この javac では, OpenXM/src/OpenMath 以下のファイルがコンパイルできません. +OpenMath 用の OMproxy には現在のところ, jdk が必要です. PATH=/usr/local/jdk1.1.8/bin:$PATH export PATH などとして, jdk の javac をサーチパスの先のほうへもっていくようにして @@ -108,7 +193,8 @@ asir を動作させるには, key が必要です. OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で とりよせて下さい. ----------------- Asir クライアントの使いかた. +-------------------------------------------------- +OpenXM クライアント : asir 入門 ---------------- 例 : asir に kan/sm1 を組み込む. asir load("xm"); @@ -149,24 +235,55 @@ sm1 -[著作権表示] (現在テスト版のため情報が完備してません) -このソフトウエアは動作およびその結果につき, 一切の保証をしません. -ライセンス形態については現在検討中であります. 法務committer を -募集中. +[著作権表示] +OpenXM/Copyright を御覧ください. +*/ -OpenXM : url http://www.math.kobe-u.ac.jp/openXM - cvs cite : kerberos.math.kobe-u.ac.jp -sm1 : 作者 Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN, - ライセンス形態 GPL?? -asir : 作者 url - ライセンス形態 ?? -gnuplot : 作者 url - ライセンス形態 GPL? -phc : 作者 Jan Verschelde, url - ライセンス形態 ?? -tigers : 作者 Birk Hubert, url - ライセンス形態 ?? +/*&jp +★ OpenXM パッケージの Make 法 + FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. + OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. + cvs コミッタの場合次のようにしてソースをとりよせます. +*/ +/*&eg +* How to make OpenXM package? + We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. + Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? + If you are a CVS committer, then you can get all sources as follows: +*/ +//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 +//&C +//&jp これらがそろっていたらあとは次のように入力するだけです. +//&eg Check that you have these directories, then just type in the following commands +/*&C + cd OpenXM/src + make configure + make + make install + +*/ +/*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が, +OpenXM/src/OpenMath のコンパイルおよび利用には +には, jdk (java 環境) が必要です. +*/ +/*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica. +In order to use and compile OpenXM/src/OpenMath, +you need jdk (java environment). +*/ +/*&C + +*/ +/*&jp + Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって + おきます. +*/ +/*&eg + /usr/ccs/bin must be at the top of the command search path to compile + on Solaris. +*/ + +/*&jp [OpenXM についての連絡先] takayama@math.sci.kobe-u.ac.jp