| version 1.7, 2000/01/20 03:14:07 |
version 1.55, 2019/07/23 04:23:12 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.6 2000/01/19 12:57:39 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.54 2018/10/18 06:30:29 takayama Exp $ |
| OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
| |
|
| /*&C |
/*&C |
| |
|
| OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM |
OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM |
| |
http://www.openxm.org |
| |
|
| |
*/ |
| |
|
| |
/*&jp |
| |
|
| |
------------ ソースからコンパイルしてインストールする方法 ---- |
| |
|
| |
(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 でも |
| |
コンパイル可能です. |
| |
|
| |
*/ |
| |
|
| |
/*&eg |
| |
|
| OpenXM package : Getting started. |
OpenXM package : Getting started. |
| |
|
| |
|
| |
----------- An instruction for a quick installation from the source code --- |
| |
|
| |
(cd OpenXM/src ; make install) |
| |
You will get binaries, libraries, and documents under |
| |
OpenXM/bin, OpenXM/lib, OpenXM/doc |
| |
(cd OpenXM/rc ; make install) |
| |
Shell scripts to start "asir", "sm1", ... will be copied to |
| |
/usr/local/bin |
| |
This part should be executed as the root. |
| |
|
| |
Please try |
| |
openxm asir |
| |
If asir starts, then your installation seems to be successful. |
| |
|
| |
|
| |
Some sources are downloaded from http://www.math.kobe-u.ac.jp/pub/OpenXM/misc |
| |
to OpenXM_dist during the make by the wget command. |
| |
So, your machine must be accessible to the internet. |
| |
|
| |
If you are in a firewall and cannot use even the passive |
| |
ftp, the environmental variable ftp_proxy may help you. |
| |
See the document of wget. All necessary library sources are downloaded in |
| |
OpenXM_dist at the same level of OpenXM. If you are offline, please put |
| |
all library sources necessary in this directory by hand. |
| |
|
| */ |
*/ |
| |
|
| |
|
| /*&jp |
/*&jp |
| ★ OpenXM パッケージの利用方法 |
|
| この節では, OpenXM package binary distribution のインストール法を説明します. |
|
| インストールに必要なシステムの仕様については, 動作環境を御覧ください. |
------- 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 においてあります. |
| |
|
| |
|
| */ |
*/ |
| |
|
| |
|
| /*&eg |
/*&eg |
| ***** HOW TO USE OpenXM PACKAGE? |
|
| In this section, we will explain how to install OpenXM package binary |
------- If you need only asir and kan, |
| distribution. |
(cd OpenXM/src ; make install-asir2000 ; make install-k097 ) |
| As to the required environment, see the section "System Requirement" |
You will get only asir and kan/sm1. |
| |
(cd OpenXM/rc ; make install) |
| |
|
| |
------------------------------------------- |
| |
Risa/Asir with asir-contrib is the main client system in the OpenXM project. |
| |
You can start Risa/Asir by the command "asir", which is called |
| |
OpenXM/Risa/Asir. |
| |
It is build by (cd OpenXM/src ; make install-asir-contrib) |
| |
The manual of Risa/Asir and Asir-contrib can be found in the |
| |
OpenXM/doc directory and http://www.openxm.org |
| |
|
| |
|
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
| |
|
| (1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. |
|
| OpenXM はどこにおいてもかまいません. |
----------- 幾つか解説 ------------------ |
| |
|
| |
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 にインストールするには |
| |
次のように入力します. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| (1) Extract the directory OpenXM from the tar ball. |
----------- Some Tips ---------------------- |
| You can put the directory OpenXM at any place in the file system. |
|
| |
|
| |
Q. What is done by the command (cd OpenXM/rc ; make all) ? |
| |
A. |
| |
It generates OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
| |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... |
| |
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
| |
For example, if you input |
| |
openxm asir |
| |
then asir starts in the OpenXM enviroment. |
| |
If you want to install these shell scripts to /usr/local/bin, |
| |
type in as follows. |
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
|
| |
|
| |
cd OpenXM/rc |
| |
make install |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| 以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM |
|
| と書きます. |
|
| |
|
| |
/usr/local/bin でなく, home directory の bin にインストールしたい |
| |
ときは, 次のように入力してください. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| In the sequel, we will denote the absolute path of the directory OpenXM |
|
| by /xxx/yyy/OpenXM. |
If you want to install them under the bin of your home directory, |
| |
type in as follows. |
| |
|
| */ |
*/ |
| /*&jp |
/*&C |
| (2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc |
|
| ファイルを自動生成します. |
|
| これらのファイルには, OpenXM/bin のファイルを実行するための |
|
| 環境変数が定義されています. |
|
| |
|
| */ |
cd OpenXM/rc |
| /*&eg |
make install prefix=$HOME/bin |
| (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 |
/*&C |
| |
|
| cd /xxx/yyy/OpenXM |
[Note] If you are Solaris user, you might have to type in like |
| make |
/usr/ccs/bin/make install prefix=$HOME/bin |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| (3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. |
|
| |
|
| |
Q. OpenXM/bin の下のファイルを直接実行できるようにしたい. |
| |
A. |
| |
OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です. |
| |
|
| |
# csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| (3) Append the following line to the end of ~/.cshrc when you are |
|
| |
Q. I want to execute binaries under OpenXM/bin |
| |
A. |
| |
If you want to execute binaries under OpenXM/bin, you need to do |
| |
the following. |
| |
|
| |
|
| |
# Append the following line to the end of ~/.cshrc when you are |
| using csh as your shell. |
using csh as your shell. |
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| source /xxx/yyy/OpenXM/rc/dot.cshrc |
source OpenXM/rc/dot.cshrc |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| (3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます. |
# bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile |
| |
の最後に加えます. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| (3') Append the following line to the end of ~/.bashrc when you are |
# Append the following lines to the end of ~/.bashrc and ~/.bash_profile |
| using bash as your shell. |
respectively when you are using bash as your shell. |
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| source /xxx/yyy/OpenXM/rc/dot.bash |
source OpenXM/rc/dot.bashrc (.bashrc) |
| |
|
| */ |
source ~/.bashrc (.bash_profile) |
| |
|
| //&C |
|
| //&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 |
/*&jp |
| ★ 動作環境 |
Q. ox_asir を icon でスタートするには? |
| |
A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます. |
| */ |
*/ |
| /*&eg |
/*&eg |
| ***** SYSTEM REQUIREMENTS |
Q. How to start ox_asir in the iconic mode? |
| |
A. Add the following line to .Xdefaults or a file you read by xrdb. |
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| OS: FreeBSD 3.3, |
ox_xterm*iconic: on |
| 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 |
/*&jp |
| 次の module は, OS の標準 distribution 以外に, さらに下に記したソフトを |
|
| |
Q. Make は無事終了しますが, 途中でエラーがでます. |
| |
A. |
| |
OS の標準添付の環境以外が必要なコンポーネントのコンパイルエラーは |
| |
無視されます. |
| |
次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを |
| 必要とします. |
必要とします. |
| */ |
*/ |
| /*&eg |
/*&eg |
| The following modules require the listed softwares other than the standard |
|
| OS package. |
Q. Make finishes, but it outputs errors. |
| |
A. |
| |
Compilation errors due to missing commands other than |
| |
standard commands are ignored. |
| |
The following modules require the listed software systems |
| |
other than the standard OS package. |
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| (1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x |
(1) OpenXM/bin/oxmath : Mathematica Version 3.x or 4.x |
| (Mathematica server) at /usr/local/Mathematica |
(Mathematica server) at /usr/local/Mathematica |
| OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
| Asir client functions m_* |
Asir client functions m_* |
| (2) OpenXM/lib/java-support : JDK at /usr/local/jdk?? |
(2) OpenXM/lib/OpenMath : JDK |
| |
|
| Asir client functions om_* |
Asir client functions om_* |
| sm1 client functions om_* |
sm1 client functions om_* |
| (3) PHC pack (OpenXM/bin/phc) and asir client functions |
(3) PHC pack (OpenXM/bin/phc) and asir client functions phc_* |
| phc_* run only on linux (glib5). |
phc_* run only on linux. |
| If you install the linux emulation on Free BSD, they run on |
If you install the linux emulation on Free BSD, they run on |
| FreeBSD, too. (In this case, generate OpenXM/bin/phc by hand.) |
FreeBSD, too. |
| |
<note 1> |
| |
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 |
| |
|
| */ |
*/ |
| |
|
| |
|
| /*&jp |
/*&jp |
| 日本語版の注意. |
Q. asir の help message が変. |
| 注意 1. |
A. |
| asir で日本語のヘルプを利用するには, |
asir で日本語のヘルプを利用するには, |
| PAGER=jless |
PAGER=jless |
| export PAGER |
export PAGER |
| などで, 日本語を扱える PAGER を指定する必要があるかもしれません. |
などで, 日本語を扱える PAGER を指定する必要があるかもしれません. |
| */ |
*/ |
| |
|
| /*&eg |
/*&C |
| |
|
| The install is completed. |
----------------------------------------------------- |
| |
|
| */ |
*/ |
| /*&jp |
|
| |
|
| 以上. |
|
| |
|
| */ |
|
| |
|
| /*&jp |
/*&jp |
| ★ 文書 |
Q. OpenXM パッケージの文書は? |
| |
A. |
| OpenXM パッケージでもっとも充実しているクライアントは, |
OpenXM パッケージでもっとも充実しているクライアントは, |
| asir です. |
asir です. |
| asir のつかいかたは |
asir のつかいかたは |
| OpenXM/doc/asir2000/man-jp.dvi |
OpenXM/doc/asir2000/man-ja.pdf |
| または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい. |
または OpenXM/doc/asir2000/html-ja の HTML ファイルを見て下さい. |
| asir 用 OpenXM クライアントライブラリのつかい方は, |
asir 用 OpenXM クライアントライブラリのつかい方は, |
| OpenXM/doc/asir-contrib/cman-jp.dvi |
OpenXM/doc/asir-contrib/cman-ja.pdf |
| を見て下さい. dvi の付くファイルは xdvi で見ることができます. |
を見て下さい. dvi の付くファイルは xdvi で見ることができます. |
| |
|
| OpenXM の設計の概要については, |
OpenXM の設計の概要については, |
| Line 194 The install is completed. |
|
| Line 308 The install is completed. |
|
| を見て下さい. |
を見て下さい. |
| ps の付くファイルは, ghostview で見ることができます. |
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 を見てください. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| ***** DOCUMENTS |
Q. Where can I find documents of the OpenXM package. |
| |
A. |
| The best OpenXM client in the OpenXM package is now |
The main OpenXM client in the OpenXM package is now |
| asir. |
asir. |
| Documents on asir are |
Documents on asir are |
| OpenXM/doc/asir2000/man-eg.dvi |
OpenXM/doc/asir2000/man-en.pdf |
| OpenXM/doc/asir2000/html-eg (HTML) |
OpenXM/doc/asir2000/html-en (HTML) |
| |
|
| The file |
The file |
| OpenXM/doc/asir-contrib/cman-eg.dvi |
OpenXM/doc/asir-contrib/cman-en.pdf |
| is a document on OpenXM client libraries for asir. |
is a document on OpenXM client libraries for asir. |
| |
|
| The design outline is described in |
The design outline is described in |
| Line 213 The install is completed. |
|
| Line 336 The install is completed. |
|
| |
|
| Dvi files can be previewed by xdvi and |
Dvi files can be previewed by xdvi and |
| ps files can be previewed by ghostview. |
ps files can be previewed by ghostview. |
| */ |
|
| |
|
| |
As to Mathematica client, see OpenXM/doc/ox_math. |
| |
As to sm1 client, see OpenXM/doc/kan96xx. |
| |
The asir can be used as a C library for polynomial manupulation. |
| |
See OpenXM/doc/oxlib. |
| |
|
| /*&jp |
If you are interested in writing a server for OpenXM in C or Java, |
| 注意: |
please refer to |
| $OpenXM_HOME/bin の下の, fep, phc は, いまのところ |
OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. |
| linux 用のバイナリまたはバイナリへのシンボリックリンクです. |
|
| Linux 以外の場合はバイナリを入れ換える必要があります. |
|
| |
|
| |
|
| |
|
| ★使用例 |
|
| |
|
| OpenXM は X Window System 上でしか動作しません. |
|
| |
|
| asir を動作させるには, key が必要です. |
|
| OpenXM/lib/asir/asir_key のコメントをみて, key を E-mail で |
|
| とりよせて下さい. |
|
| |
|
| -------------------------------------------------- |
|
| OpenXM クライアント : asir 入門 |
|
| ---------------- 例 : asir に kan/sm1 を組み込む. |
|
| asir |
|
| load("xm"); |
|
| P=sm1_start(); /* P はプロセス番号 */ |
|
| load("katsura"); |
|
| sm1_pgb(P,[katsura(4),[u0,u1,u2,u3,u4]]); /* sm1 でグレブナ基底を計算 */ |
|
| |
|
| --------------- 例 : asir より gnuplot を呼び出す. |
|
| asir |
|
| load("xm"); |
|
| P=gnuplot_start(); |
|
| gnuplot(P,"plot tan(x); "); |
|
| gnuplot(P,"splot sin(x)*cos(x); "); |
|
| |
|
| --------------- 例 : asir より tigers を呼び出す. |
|
| asir |
|
| load("xm"); |
|
| tigers_start(); |
|
| B = tigers(0,[[1,1,1,1],[0,1,2,3]]); |
|
| length(B) は 8 です. これは, 行列 A = [[1,1,1,1],[0,1,2,3]] |
|
| に付随した, toric ideal I_A の Grobner fan が 8 つの maximal |
|
| dimensional fan を持つことを意味します. |
|
| A[i] は i 番目の GB (グレブナ基底)です. |
|
| Binomial polynomial x^a-x^b を [[a_1, ..., a_n],[b_1, ..., b_n]] なる形式で |
|
| 表示します. |
|
| たとえば A[0]; |
|
| [[[1,0,1,0],[0,2,0,0]],[[1,0,0,1],[0,1,1,0]],[[0,1,0,1],[0,0,2,0]]] |
|
| ですから, |
|
| x1 x3 - x2^2, x1 x4 - x2 x3, x2 x4 - x3^2 |
|
| が GB であり, initial ideal は |
|
| x1 x3 , x1 x4 , x2 x4 |
|
| で生成されています. |
|
| |
|
| ---------------------------------- |
|
| sm1 |
|
| (oxasir.sm1) run ; |
|
| (x^20-1). fctr pmat ; sm1 より ox_asir を呼び出して因数分解させる. |
|
| |
|
| |
|
| |
|
| [著作権表示] |
|
| OpenXM/Copyright を御覧ください. |
|
| */ |
*/ |
| |
|
| /*&C |
/*&eg |
| |
Q. I want to install only Risa/Asir. |
| |
A. |
| |
If you want to generate only Risa/Asir, type in as follows. |
| */ |
*/ |
| /*&jp |
/*&jp |
| ★ OpenXM パッケージの Make 法 |
Q. Risa/Asir のみ install したい. |
| FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
A. |
| OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
Risa/Asir のみを生成したい場合は, つぎのように入力します. |
| 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 |
/*&C |
| |
|
| cd OpenXM/src |
(cd OpenXM/src ; make install-asir) |
| make configure |
(cd OpenXM/rc ; make ) |
| make |
|
| make install |
|
| |
|
| */ |
*/ |
| /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が, |
/*&eg |
| OpenXM/src/OpenMath のコンパイルおよび利用には |
Copy the shell script "asir" at OpenXM/rc in your search path, e.g., |
| には, jdk (java 環境) が必要です. |
/usr/local/bin or ~/bin |
| |
Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source |
| |
command from your ~/.bashrc or ~/.cshrc. |
| */ |
*/ |
| /*&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 |
/*&jp |
| Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって |
OpenXM/rc の下のシェルスクリプト "asir" をサーチパスにコピーして |
| おきます. |
ください (たとえば, /usr/local/bin or ~/bin へ). |
| |
または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を |
| |
source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください. |
| */ |
*/ |
| /*&eg |
|
| /usr/ccs/bin must be at the top of the command search path to compile |
|
| on Solaris. |
|
| */ |
|
| |
|
| /*&jp |
/*&jp |
| [OpenXM についての連絡先] |
Q. OpenXM の下のファイル構成はどうなっていますか? |
| takayama@math.sci.kobe-u.ac.jp |
A. |
| |
[OpenXM 下のファイルの構成メモ] |
| [OpenXM_HOME 下のファイルの構成] |
|
| lib/asir には, asir のライブラリ, ox_asir 本体 |
lib/asir には, asir のライブラリ, ox_asir 本体 |
| (ox_asir.xxyyzz.os なる名前で格納されています) |
|
| |
|
| |
cd OpenXM/src/kxx ; make install-for-debug した場合, |
| lib/sm1 は src/SSkan/Doc への symbolic link |
lib/sm1 は src/SSkan/Doc への symbolic link |
| であり, sm1 のライブラリファイルが格納されています. |
であり, sm1 のライブラリファイルが格納されています. |
| lib/sm1/bin には, binaryfiles |
lib/sm1/bin には, binaryfiles |
| sm1, ox_sm1, ox, ox_log, ox_sm1_* |
sm1, ox_sm1, ox, ox_log, ox_sm1_* |
| へのシンボリックリンクが格納されます. |
へのシンボリックリンクが格納されます. |
| このシンボリックリンクは src/kxx で make install を実行することにより |
このシンボリックリンクは src/kxx で make install-for-debug を実行することにより |
| 作成されます. |
作成されます. |
| |
|
| sm1 が ox_asir を利用するのに必要なファイル. |
sm1 が ox_asir を利用するのに必要なファイル. |
| Line 367 asir が ox_sm1_gnuplot を利用するのに必要なファイル: |
|
| Line 417 asir が ox_sm1_gnuplot を利用するのに必要なファイル: |
|
| bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*) |
bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*) |
| |
|
| ---------------------------------------- |
---------------------------------------- |
| [開発者用メモ] |
*/ |
| |
|
| |
/*&jp |
| |
Q. debug するとき make install は面倒. (開発者向け) |
| |
A. |
| << sm1, ox_sm1, ox, oxlog の debug >> |
<< sm1, ox_sm1, ox, oxlog の debug >> |
| binary file は各 directory の make install により |
binary file は各 directory の make install により |
| OpenXM/bin にコピーされますが, |
OpenXM/bin にコピーされますが, |
| debug 用にいちいちコピーするのは面倒なので, |
debug 用にいちいちコピーするのは面倒なので, |
| OpenXM/src/kan96xx で make install2 |
OpenXM/src/kan96xx で make install-for-debug |
| OpenXM/src/kxx で make install2 |
OpenXM/src/kxx で make install-for-debug |
| を実行すると, |
を実行すると, |
| OpenXM/bin/sm1, ox, ox_sm1, oxlog より, |
OpenXM/bin/sm1, ox, ox_sm1, oxlog より, |
| OpenXM/src/kan96xx/Kan/sm1 |
OpenXM/src/kan96xx/Kan/sm1 |
| OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog |
OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog |
| へのシンボリックリンクが作成されます. |
へのシンボリックリンクが作成されます. |
| |
|
| [CVSコミッタ用メモ] |
Q. << OpenXM ディレクトリ配布版の作成方法 >> |
| << OpenXM ディレクトリ配布版の作成方法 >> |
A. |
| |
|
| rcvs export -rHEAD OpenXM |
rcvs export -rHEAD OpenXM |
| rcvs export -rHEAD OpenXM_contrib |
rcvs export -rHEAD OpenXM_contrib |
| rcvs export -rHEAD OpenXM_contrib2 |
rcvs export -rHEAD OpenXM_contrib2 |
| |
cd OpenXM/src ; make generate-source-distribution |
| して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
| */ |
*/ |
| |
|
| Line 393 rcvs export -rHEAD OpenXM_contrib2 |
|
| Line 448 rcvs export -rHEAD OpenXM_contrib2 |
|
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| |
Q. Solaris でコンパイルがうまくいきません. |
| ★ Solaris に関する注意. |
A. |
| Solaris ではまだ問題が山積してます. |
Solaris ではまだ問題が山積してます. |
| Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt |
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 を利用する必要があるためです. |
| |
|
| */ |
*/ |
| |
/*&eg |
| |
Q. I cannot make on Solaris. |
| |
A. |
| |
There are a lot of troubles on Solaris for now. |
| |
At least, the following two things are prerequisite. |
| |
(1) Installation of gcc (http://www.gnu.org), [gnu file util] and bison. |
| |
(2) /usr/ccs/bin:/usr/ucb must be at the top of the command search path |
| |
to compile on Solaris. In case of C shell, type in |
| |
setenv PATH=/usr/ccs/bin:/usr/local/bin:/usr/ucb:$PATH |
| |
This is because our making procedure requires |
| |
/usr/ccs/bin/make, /usr/ucb/install |
| |
*/ |
| |
|
| /*&C |
/*&jp |
| |
|
| |
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 でまだ試していません. 多分要修正.) |
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
| ★ Java に関する注意: |
|
| 注意 1. |
Q. Debian で build するのに必要なパッケージは? |
| OpenMath 用の OMproxy には現在のところ, jdk が必要です. |
A. OpenXM/misc/packages/Linux/Debian2/debian/control を参照してください. |
| bash を利用している場合, .bashrc で |
以下のパッケージとそれに依存する package が必要です. |
| PATH=/usr/local/jdk1.1.8/bin:$PATH |
bash, gnuplot, w3m, curl, emacs, |
| export PATH |
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 |
| などとして, 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) |
|
| */ |
|
| |
|