DO NOT EDIT THIS FILE. OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM http://www.openxm.org ------------ ソースからコンパイルしてインストールする方法 ---- (cd OpenXM/src ; make install) バイナリとライブラリとドキュメント類は OpenXM/bin, OpenXM/lib, OpenXM/doc にインストールされます. (cd OpenXM/rc ; make install) "asir", "sm1", ... などのシェルスクリプトが生成されて /usr/local/bin にコピーされます. この部分は root で実行してください. たとえば openxm asir と入力して, asir がスタートすればインストール はうまくいっていると思われます. なお一部のソースは ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc より OpenXM_dist に make 中に wget コマンドでダウンロードされます. したがって, make するときは インターネットに接続されている必要があります. ファイアウオール内でもし passive ftp が使えない場合は, 環境変数 ftp_proxy を正しく設定すればうまくいく場合があるかもしれません. 詳しくは wget のマニュアルを見てください. ダウンロードしたライブラリのソースは OpenXM_dist ( OpenXM と並列した場所です ) に格納されます. ここに手動で必要なライブラリのソースをおいとけば, offline でも コンパイル可能です. ------- Asir と kan だけで十分な場合 (cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib) OpenXM 版の Risa/Asir と kan/sm1 が生成インストールされます. (cd OpenXM/rc ; make install) ------------------------------------------- asir-contrib 付きの Risa/Asir は OpenXM パッケージのメインクライアントです. Risa/asir はコマンド asir で起動できます. Risa/Asir および Asir-contrib のマニュアルは OpenXM/doc ディレクトリおよび http://www.openxm.org においてあります. ----------- 幾つか解説 ------------------ Q. (cd OpenXM/rc ; make all) はなにをやるの? A. OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, 等の ファイルを自動生成します. openxm, asir, oxmath などは OpenXM クライアントを起動するための シエルスクリプトです. たとえば openxm asir と入力すれば OpenXM 環境で asir が動作します. これらを /usr/local/bin にインストールするには 次のように入力します. cd OpenXM/rc make install /usr/local/bin でなく, home directory の bin にインストールしたい ときは, 次のように入力してください. cd OpenXM/rc make install PREFIX=$HOME/bin [Note] If you are Solaris user, you might have to type in like /usr/ccs/bin/make install PREFIX=$HOME/bin Q. OpenXM/bin の下のファイルを直接実行できるようにしたい. A. OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です. # csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. source OpenXM/rc/dot.cshrc # bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile の最後に加えます. source OpenXM/rc/dot.bashrc (.bashrc) source ~/.bashrc (.bash_profile) Q. ox_asir を icon でスタートするには? A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます. ox_xterm*iconic: on Q. Make は無事終了しますが, 途中でエラーがでます. A. OS の標準添付の環境以外が必要なコンポーネントのコンパイルエラーは 無視されます. 次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを 必要とします. (1) OpenXM/bin/oxmath : 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/OpenMath : JDK Asir client functions om_* sm1 client functions om_* (3) PHC pack (OpenXM/bin/phc) and asir client functions phc_* phc_* run only on linux. If you install the linux emulation on Free BSD, they run on FreeBSD, too. Add linux_enable="YES" in /etc/rc.conf You need the following packages: pkg_info | grep linu linux_base-* The base set of packages needed in Linux mode linux_devtools-* Packages needed for doing development in Linux mode (4) The document generation requires latex, platex, tex, ptex, dvips, latex2html, texi2html, nkf Q. asir の help message が変. A. asir で日本語のヘルプを利用するには, PAGER=jless export PAGER などで, 日本語を扱える PAGER を指定する必要があるかもしれません. ----------------------------------------------------- Q. OpenXM パッケージの文書は? A. OpenXM パッケージでもっとも充実しているクライアントは, asir です. asir のつかいかたは OpenXM/doc/asir2000/man-ja.pdf または OpenXM/doc/asir2000/html-ja の HTML ファイルを見て下さい. asir 用 OpenXM クライアントライブラリのつかい方は, OpenXM/doc/asir-contrib/cman-ja.pdf を見て下さい. dvi の付くファイルは xdvi で見ることができます. OpenXM の設計の概要については, OpenXM/doc/issac2000/issac2000.ps を見て下さい. ps の付くファイルは, ghostview で見ることができます. Mathematica client については, OpenXM/doc/ox_math を御覧ください. sm1 client については, OpenXM/doc/kan96xx を御覧ください. asir は, 多項式処理用のライブラリとしてリンクできます. これについては, OpenXM/doc/oxlib を御覧ください. OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit を見てください. Java のクラスについては OpenXM/src/OpenMath を見てください. Q. Risa/Asir のみ install したい. A. Risa/Asir のみを生成したい場合は, つぎのように入力します. (cd OpenXM/src ; make install-asir) (cd OpenXM/rc ; make ) OpenXM/rc の下のシェルスクリプト "asir" をサーチパスにコピーして ください (たとえば, /usr/local/bin or ~/bin へ). または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください. Q. OpenXM の下のファイル構成はどうなっていますか? A. [OpenXM 下のファイルの構成メモ] lib/asir には, asir のライブラリ, ox_asir 本体 cd OpenXM/src/kxx ; make install-for-debug した場合, lib/sm1 は src/SSkan/Doc への symbolic link であり, sm1 のライブラリファイルが格納されています. lib/sm1/bin には, binaryfiles sm1, ox_sm1, ox, ox_log, ox_sm1_* へのシンボリックリンクが格納されます. このシンボリックリンクは src/kxx で make install-for-debug を実行することにより 作成されます. sm1 が ox_asir を利用するのに必要なファイル. lib/asir/ox_asir, lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log) lib/sm1/ox.sm1, lib/sm1/oxasir.sm1 asir が ox_sm1_forAsir を利用するのに必要なファイル: lib/asir/ox_launch lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク) lib/asir/xm lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル. callsm1.sm1 callsm1b.sm1 (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.) asir が ox_sm1_gnuplot を利用するのに必要なファイル: lib/asir/ox_launch lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して gnuplot4ox を実行します.) lib/asir/xm lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1 (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.) bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*) ---------------------------------------- Q. debug するとき make install は面倒. (開発者向け) A. << sm1, ox_sm1, ox, oxlog の debug >> binary file は各 directory の make install により OpenXM/bin にコピーされますが, debug 用にいちいちコピーするのは面倒なので, OpenXM/src/kan96xx で make install-for-debug OpenXM/src/kxx で make install-for-debug を実行すると, OpenXM/bin/sm1, ox, ox_sm1, oxlog より, OpenXM/src/kan96xx/Kan/sm1 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog へのシンボリックリンクが作成されます. Q. << OpenXM ディレクトリ配布版の作成方法 >> A. rcvs export -rHEAD OpenXM rcvs export -rHEAD OpenXM_contrib rcvs export -rHEAD OpenXM_contrib2 cd OpenXM/src ; make generate-source-distribution して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. Q. Solaris でコンパイルがうまくいきません. A. Solaris ではまだ問題が山積してます. Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt を見てください. Solaris でコンパイルするには, 次が最低限必要です. (1) gcc をインストールする. http://www.gnu.org より Solaris 用 binary を入手できる. それから [gnu file util と] bison. (2) /usr/ccs/bin:/usr/local/bin:/usr/ucb をサーチパスの最初へもっていっておきます. C シェルなら setenv PATH=/usr/ccs/bin:/usr/local/bin:/usr/ucb:$PATH これは /usr/ccs/bin/make, /usr/ucb/install を利用する必要があるためです.