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 がスタートすればインストール はうまくいっていると思われます. なお一部のソースは http://www.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 を利用する必要があるためです. Q. MacOS で build するには何が事前に必要ですか? A. 1. App store から xcode と XQuartz を入手. 2. https://brew.sh より Homebrew をインストールする. 3. brew で必要なツールを下記のようにインストールする. brew install emacs nkf autoconf automake curl w3m readline 4. Document の生成も行いたい場合は MacTeX をインストールして tex 関連のコマンドを path へ加えておく. brew install texi2html も. 5. build 中に command line tool が必要とメッセージが出たらメッセージに従う. (上記、まっさらの Mac でまだ試していません. 多分要修正.) Q. Debian で build するのに必要なパッケージは? A. OpenXM/misc/packages/Linux/Debian2/debian/control を参照してください. 以下のパッケージとそれに依存する package が必要です. bash, gnuplot, w3m, curl, emacs, nkf, wget, texinfo, java-common, openjdk-7-jdk, gnupg, latex2html, evince, dpkg-dev, debhelper, fakeroot, texi2html, dvipdfmx, dvipsk-ja, ptex-bin, gcc, freeglut3, freeglut3-dev, make, libxaw7, libxaw7-dev, bison, libtinfo-dev, xorg