=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.4 retrieving revision 1.7 diff -u -p -r1.4 -r1.7 --- OpenXM/doc/install.oxweave 2000/01/07 22:24:17 1.4 +++ OpenXM/doc/install.oxweave 2000/01/20 03:14:07 1.7 @@ -1,104 +1,228 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.3 2000/01/07 22:23:04 maekawa Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.6 2000/01/19 12:57:39 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.3, + Linux systems (Plamo Linux on Linux 2.0.33, glibc5, ) + + X window system is required. + + Most part of the OpenXM package may work on other versions of + FreeBSD and Linux versions, but we have not yet tested. + +*/ +/*&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_* +(3) PHC pack (OpenXM/bin/phc) and asir client functions + phc_* run only on linux (glib5). + If you install the linux emulation on Free BSD, they run on + FreeBSD, too. (In this case, generate OpenXM/bin/phc by hand.) + +*/ + + +/*&jp +日本語版の注意. 注意 1. asir で日本語のヘルプを利用するには, PAGER=jless export PAGER などで, 日本語を扱える PAGER を指定する必要があるかもしれません. -注意 2. -FreeBSD 3.3 などには, /usr/local/bin/javac がついています. -この javac では, OpenXM/src/OpenMath 以下のファイルがコンパイルできません. -PATH=/usr/local/jdk1.1.8/bin:$PATH -export PATH -などとして, jdk の javac をサーチパスの先のほうへもっていくようにして -ください. */ + +/*&eg + +The install is completed. + +*/ /*&jp -以上. 以下の使用例へ進んで下さい. +以上. -★(1) asir のマニュアルは, - OpenXM_contrib2/asir2000/doc の README を見てね. - (2) asir-contrib のマニュアルは, - OpenXM/src/asir-contrib/packages/doc で make したあと, - ptex cman.texi (日本語) - tex cman-eg.texi (英語) - すればよろしい. - Online manual : ox_help(xxx) を利用するには, - (cd OpenXM/src/asir-contrib/packages/doc ; make install-help) - とします. +*/ +/*&jp +★ 文書 + + OpenXM パッケージでもっとも充実しているクライアントは, + asir です. + asir のつかいかたは + OpenXM/doc/asir2000/man-jp.dvi + または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい. + asir 用 OpenXM クライアントライブラリのつかい方は, + OpenXM/doc/asir-contrib/cman-jp.dvi + を見て下さい. dvi の付くファイルは xdvi で見ることができます. + + OpenXM の設計の概要については, + OpenXM/doc/issac2000/issac2000.ps + を見て下さい. + ps の付くファイルは, ghostview で見ることができます. + +*/ +/*&eg +***** DOCUMENTS + + The best OpenXM client in the OpenXM package is now + asir. + Documents on asir are + OpenXM/doc/asir2000/man-eg.dvi + OpenXM/doc/asir2000/html-eg (HTML) + + The file + OpenXM/doc/asir-contrib/cman-eg.dvi + is a document on OpenXM client libraries for asir. + + The design outline is described in + OpenXM/doc/issac2000/issac2000.ps + + Dvi files can be previewed by xdvi and + ps files can be previewed by ghostview. +*/ + + +/*&jp 注意: $OpenXM_HOME/bin の下の, fep, phc は, いまのところ linux 用のバイナリまたはバイナリへのシンボリックリンクです. Linux 以外の場合はバイナリを入れ換える必要があります. -Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt -を見てください. ---------------- インストール完了 --------------------------- ★使用例 @@ -108,7 +232,8 @@ asir を動作させるには, key が必要です. OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で とりよせて下さい. ----------------- Asir クライアントの使いかた. +-------------------------------------------------- +OpenXM クライアント : asir 入門 ---------------- 例 : asir に kan/sm1 を組み込む. asir load("xm"); @@ -149,24 +274,59 @@ 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 - ライセンス形態 ?? +/*&C + +*/ +/*&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 @@ -227,4 +387,39 @@ rcvs export -rHEAD OpenXM rcvs export -rHEAD OpenXM_contrib rcvs export -rHEAD OpenXM_contrib2 して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. +*/ + +/*&C + +*/ +/*&jp + +★ Solaris に関する注意. +Solaris ではまだ問題が山積してます. +Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt +を見てください. + +*/ + +/*&C + +*/ +/*&jp +★ Java に関する注意: +注意 1. +OpenMath 用の OMproxy には現在のところ, jdk が必要です. +bash を利用している場合, .bashrc で +PATH=/usr/local/jdk1.1.8/bin:$PATH +export PATH +などとして, jdk の javac をサーチパスの先のほうへもっていくようにして +ください. +*/ +/*&eg +***** JAVA +In order to use OMproxy, asir client om_*, +you need to install JDK. +The bin dir of the JDK must be in yur search path. +For example, you need to add the following line +to your .chsrc +set path=(/usr/local/jdk1.1.8/bin $path) */