[BACK]Return to install.oxweave CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Annotation of OpenXM/doc/install.oxweave, Revision 1.14

1.14    ! takayama    1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.13 2000/01/21 08:23:44 takayama Exp $
1.1       takayama    2: OpenXM/doc/install.oxweave
                      3:
1.6       takayama    4: /*&C
                      5: OpenXM URL :  http://www.math.kobe-u.ac.jp/OpenXM
                      6:
                      7: OpenXM package : Getting started.
                      8:
                      9: */
1.1       takayama   10: /*&jp
1.6       takayama   11: ★ OpenXM パッケージの利用方法
                     12: この節では, OpenXM package binary distribution のインストール法を説明します.
                     13: インストールに必要なシステムの仕様については, 動作環境を御覧ください.
1.1       takayama   14: */
                     15: /*&eg
1.6       takayama   16: ***** HOW TO USE OpenXM PACKAGE?
                     17: In this section, we will explain how to install OpenXM package binary
                     18: distribution.
                     19: As to the required environment, see the section "System Requirement"
                     20: */
                     21: /*&jp
                     22:
                     23: (1)  Tar ボールより次のようにしてディレクトリ OpenXM を取り出します.
1.13      takayama   24:      OpenXM はどこにおいてもかまいません. ルートになってインストール
                     25:      する必要もありません.
                     26:      できれば, /usr/local/OpenXM  においてほしいと思います.
1.6       takayama   27:
1.1       takayama   28: */
1.6       takayama   29: /*&eg
1.1       takayama   30:
1.6       takayama   31: (1)  Extract the directory OpenXM from the tar ball.
                     32:      You can put the directory OpenXM at any place in the file system.
1.13      takayama   33:      You do not need to be a root to install it.
                     34:      We are happy if you put OpenXM at /usr/local/OpenXM
1.2       takayama   35:
                     36: */
1.6       takayama   37: /*&C
                     38:          tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz
                     39:
1.2       takayama   40: */
1.6       takayama   41: /*&jp
                     42: 以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM
                     43: と書きます.
                     44:
1.1       takayama   45: */
1.6       takayama   46: /*&eg
                     47: In the sequel, we will denote the absolute path of the directory OpenXM
                     48: by /xxx/yyy/OpenXM.
1.1       takayama   49:
                     50: */
                     51: /*&jp
1.6       takayama   52: (2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc
                     53:     ファイルを自動生成します.
                     54:     これらのファイルには, OpenXM/bin のファイルを実行するための
                     55:     環境変数が定義されています.
                     56:
1.5       takayama   57: */
                     58: /*&eg
1.6       takayama   59: (2) Generate  OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc
                     60:     by the following command.
                     61:     Environmental variables to execute commands in OpenXM/bin
                     62:     are defined in these files.
                     63:
1.5       takayama   64: */
1.6       takayama   65: /*&C
                     66:
1.8       takayama   67:      cd /xxx/yyy/OpenXM/rc
1.6       takayama   68:      make
1.5       takayama   69:
                     70: */
                     71: /*&jp
1.6       takayama   72: (3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます.
                     73:
1.1       takayama   74: */
                     75: /*&eg
1.6       takayama   76: (3) Append the following line to the end of  ~/.cshrc when you are
                     77:     using csh as your shell.
                     78:
1.1       takayama   79: */
                     80: /*&C
1.2       takayama   81:
1.6       takayama   82:     source /xxx/yyy/OpenXM/rc/dot.cshrc
1.2       takayama   83:
1.1       takayama   84: */
                     85: /*&jp
1.6       takayama   86: (3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます.
                     87:
1.1       takayama   88: */
                     89: /*&eg
1.6       takayama   90: (3') Append the following line to the end of  ~/.bashrc when you are
                     91:     using bash as your shell.
                     92:
                     93: */
                     94: /*&C
                     95:
                     96:     source /xxx/yyy/OpenXM/rc/dot.bash
                     97:
1.1       takayama   98: */
1.14    ! takayama   99:
        !           100: /*&jp
        !           101:
        !           102:  (3) または (3') を終了したら, いったん logout して login しなおすか
        !           103:  または, source コマンドで, dot.bash または dot.csh を読み込んで下さい.
        !           104:
        !           105: */
        !           106: /*&eg
        !           107:
        !           108:    After finishing the step (3) or (3'), logout and login again,
        !           109:    or read dot.bash or dot.cshrc file by the source command.
        !           110:
        !           111: */
        !           112:
1.6       takayama  113:
1.2       takayama  114: //&C
1.13      takayama  115: //&jp (4) asir の利用には  key が必要です.
                    116: //&eg (4) You need a key to use asir.
1.2       takayama  117: //&C
1.13      takayama  118: /*&jp
                    119:     asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を
                    120:     参照して, key を取得して下さい (数秒しかかかりません).
                    121:
                    122: */
                    123: /*&eg
                    124:     Please get the key by following the instruction from asir itself or
                    125:     that in OpenXM/lib/asir/asir_key (it takes only a few seconds
                    126:     to get the key).
                    127:
                    128: */
1.6       takayama  129:
                    130: /*&C
1.8       takayama  131:
                    132: ***** QUALITY:
                    133:   the following modules and functions have still experimental qualities:
1.6       takayama  134:    OpenXM/bin/k0,  OpenXM/bin/d0
                    135:    OpenXM/bin/ox_math,  OpenXM/bin/math2ox
                    136:    OpenXM/lib/java-support/ *
                    137:    Asir client functions:   m_* (Mathematica)  ,  om_*  (OpenMath)
1.11      takayama  138:    OpenXM/bin/sm1, ox_sm1 on Linux libc6.
1.6       takayama  139: */
                    140: /*&C
                    141:
                    142:
1.8       takayama  143: */
                    144: /*&jp
                    145: ★ Java に関する注意:
                    146: 注意 1.
                    147: OpenMath 用の OMproxy には現在のところ, jdk が必要です.
                    148: たとえば bash を利用している場合, .bashrc で
                    149: PATH=/usr/local/jdk1.1.8/bin:$PATH
                    150: export PATH
1.10      takayama  151: などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして
1.8       takayama  152: ください.
1.10      takayama  153: csh を利用している場合, .cshrc で
                    154: set path=(/usr/local/jdk1.1.8/bin $path)
                    155: として, jdk の java, javac をサーチパスにいれます.
1.8       takayama  156: */
                    157: /*&eg
                    158: ***** JAVA
                    159: In order to use OMproxy, asir client om_*,
                    160: you need to install JDK.
                    161: The bin dir of the JDK must be in yur search path.
                    162: For example, you need to add the following line
1.10      takayama  163: to your .chsrc when your shell is csh
1.8       takayama  164: set path=(/usr/local/jdk1.1.8/bin $path)
1.10      takayama  165: Bash users put the following line to .bashrc
                    166: PATH=/usr/local/jdk1.1.8/bin:$PATH
                    167: export PATH
1.8       takayama  168: */
                    169:
                    170: /*&C
                    171:
                    172:
1.6       takayama  173:
                    174:
                    175: */
                    176: /*&jp
                    177: ★ 動作環境
                    178:
                    179: */
                    180: /*&eg
1.7       takayama  181: ***** SYSTEM REQUIREMENTS
1.6       takayama  182:
                    183: */
                    184: /*&C
                    185:
1.11      takayama  186: OS:  FreeBSD 3.3 (Intel CPU),
                    187:      Linux systems (Intel CPU):
                    188:          Plamo Linux on Linux 2.0.33, glibc5,
1.7       takayama  189:
                    190:      X window system is required.
                    191:
                    192:      Most part of the OpenXM package may work on other versions of
1.11      takayama  193:      FreeBSD 3.x and Linux, but we have not yet tested.
1.6       takayama  194:
                    195: */
                    196: /*&jp
1.8       takayama  197: 次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを
1.6       takayama  198: 必要とします.
                    199: */
                    200: /*&eg
                    201: The following modules require the listed softwares other than the standard
                    202: OS package.
                    203: */
                    204: /*&C
                    205:
                    206: (1) OpenXM/bin/ox_math  :       Mathematica Version 3.x or 4.x
                    207:    (Mathematica server)         at /usr/local/Mathematica
                    208:     OpenXM/bin/math2ox          [ see http://www.wolfram.com ]
                    209:     Asir client functions  m_*
                    210: (2) OpenXM/lib/java-support :   JDK at /usr/local/jdk??
1.8       takayama  211:                                 [ see the section on JAVA]
1.6       takayama  212:     Asir client functions  om_*
                    213:     sm1 client functions   om_*
1.7       takayama  214: (3) PHC pack (OpenXM/bin/phc)  and  asir client functions
                    215:     phc_*  run only on linux (glib5).
1.8       takayama  216:     If you install the linux emulation^{note 1} on Free BSD, they run on
                    217:     FreeBSD, too.
                    218:     <note 1>
                    219:       Add linux_enable="YES" in /etc/rc.conf
                    220:       You need the following packages:
                    221:       pkg_info | grep linu
                    222:       linux_base-5.2      The base set of packages needed in Linux mode
                    223:       linux_devtools-5.2  Packages needed for doing development in Linux mode
1.6       takayama  224:
                    225: */
                    226:
                    227:
1.1       takayama  228: /*&jp
1.7       takayama  229: 日本語版の注意.
1.3       maekawa   230: 注意 1.
                    231: asir で日本語のヘルプを利用するには,
1.1       takayama  232: PAGER=jless
                    233: export PAGER
1.3       maekawa   234: などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
1.1       takayama  235: */
1.7       takayama  236:
                    237: /*&eg
                    238:
1.8       takayama  239: The installation is completed.
1.7       takayama  240:
                    241: */
                    242: /*&jp
                    243:
                    244: 以上.
                    245:
                    246: */
                    247:
1.1       takayama  248: /*&jp
1.7       takayama  249: ★ 文書
                    250:
                    251:   OpenXM パッケージでもっとも充実しているクライアントは,
                    252:   asir です.
                    253:   asir のつかいかたは
                    254:         OpenXM/doc/asir2000/man-jp.dvi
                    255:        または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい.
                    256:   asir 用 OpenXM クライアントライブラリのつかい方は,
                    257:         OpenXM/doc/asir-contrib/cman-jp.dvi
                    258:   を見て下さい.  dvi の付くファイルは xdvi で見ることができます.
                    259:
                    260:   OpenXM の設計の概要については,
                    261:       OpenXM/doc/issac2000/issac2000.ps
                    262:   を見て下さい.
                    263:   ps の付くファイルは, ghostview で見ることができます.
                    264:
                    265: */
                    266: /*&eg
                    267: ***** DOCUMENTS
                    268:
                    269:   The best OpenXM client in the OpenXM package is now
                    270:   asir.
                    271:   Documents on asir are
                    272:     OpenXM/doc/asir2000/man-eg.dvi
                    273:     OpenXM/doc/asir2000/html-eg (HTML)
                    274:
                    275:   The file
                    276:     OpenXM/doc/asir-contrib/cman-eg.dvi
                    277:   is a document on OpenXM client libraries for asir.
1.1       takayama  278:
1.7       takayama  279:   The design outline is described in
                    280:       OpenXM/doc/issac2000/issac2000.ps
                    281:
                    282:   Dvi files can be previewed by xdvi and
                    283:   ps files  can be previewed by ghostview.
                    284: */
1.1       takayama  285:
                    286:
1.8       takayama  287: /*&eg
                    288:
                    289:
                    290: ***** A QUICK TOUR OF OPENXM BY ASIR
                    291:
                    292: */
1.7       takayama  293: /*&jp
1.1       takayama  294:
                    295:
1.8       takayama  296: ★ ASIR による使用例
1.1       takayama  297:
                    298:
1.3       maekawa   299: asir を動作させるには, key が必要です.
1.8       takayama  300: OpenXM/lib/asir/asir_key のコメントまたは起動時のメッセージをみて,
                    301: key を E-mail でとりよせて下さい.
1.1       takayama  302:
1.8       takayama  303: */
                    304: /*&C
                    305: ----------------   Call ox_sm1 from asir.
                    306: bash-2.03$ asir
                    307: This is Risa/Asir, Version 20000120.
                    308: Copyright (C) FUJITSU LABORATORIES LIMITED.
                    309: 1994-1999. All rights reserved.
                    310: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
                    311: [269] sm1_genericAnn([x^3-y^2,[s,x,y]]);
                    312:    /* The annihilating ideal of (x^3-y^2)^s */
                    313: [-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s]
                    314:
                    315:
                    316: ---------------    Call gnuplot from asir.
                    317: bash-2.03$ asir
                    318: This is Risa/Asir, Version 20000120.
                    319: Copyright (C) FUJITSU LABORATORIES LIMITED.
                    320: 1994-1999. All rights reserved.
                    321: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
                    322: [269] gnuplot("plot sin(x);");
                    323: 0
                    324: [270]
1.13      takayama  325:
                    326: */
                    327:
                    328: /*&jp
                    329:
                    330: ★  sm1 クライアントの利用例
                    331:
                    332: */
                    333: /*&eg
                    334:
                    335: ******  Example of the use of sm1 client
1.1       takayama  336:
1.8       takayama  337: */
1.1       takayama  338:
1.8       takayama  339: /*&C
                    340: --------------------------------------  call ox_asir from sm1
1.1       takayama  341: sm1
                    342: (oxasir.sm1) run  ;
1.8       takayama  343: [(x^20-y^20) (x,y)] fctr pmat ;     factorize x^20-y^20 by call ox_asir
1.1       takayama  344:
                    345:
1.8       takayama  346: */
1.1       takayama  347:
1.8       takayama  348: /*&jp
1.5       takayama  349: [著作権表示]
                    350: OpenXM/Copyright を御覧ください.
1.6       takayama  351: */
1.8       takayama  352: /*&eg
                    353: [COPYRIGHT]
                    354: See OpenXM/Copyright.
                    355: */
                    356:
                    357: /*&eg
                    358:
1.6       takayama  359:
1.7       takayama  360:
1.8       takayama  361: *****  TO COMPILE FROM A SOURCE *****
1.7       takayama  362:
                    363: */
1.6       takayama  364: /*&jp
1.8       takayama  365:
                    366:
1.6       takayama  367: ★ OpenXM パッケージの Make 法
                    368:   FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.
1.8       takayama  369:   Linux glib6 では, いまのところ, /usr/include/features.h
                    370:   で #define __FAVOR_BSD 1 してコンパイルする必要があります.
                    371:   (setjmp と sigsetjmp の問題, dirty trick)
                    372:
1.6       takayama  373:    OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
                    374:    cvs コミッタの場合次のようにしてソースをとりよせます.
                    375: */
                    376: /*&eg
                    377: * How to make OpenXM package?
                    378:  We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
1.8       takayama  379:  On Linux glib6, you need to define
                    380:    #define  __FAVOR_BSD 1
                    381:  in /usr/include/features.h
                    382:  (setjmp vs sigsetjmp)
                    383:
1.6       takayama  384:  Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
                    385:  If you are a CVS committer, then you can get all sources as follows:
                    386: */
                    387: //&C  rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
                    388: //&C
                    389: //&jp これらがそろっていたらあとは次のように入力するだけです.
                    390: //&eg Check that you have these directories, then just type in the following commands
                    391: /*&C
                    392:
                    393:    cd OpenXM/src
                    394:    make configure
                    395:    make
                    396:    make install
                    397:
                    398: */
                    399: /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,
                    400: OpenXM/src/OpenMath のコンパイルおよび利用には
                    401: には, jdk (java 環境) が必要です.
1.12      takayama  402:
                    403: Documents を生成するには,  tex, ptex (ascii 日本語 tex), dvips, texinfo,
                    404: texi2html, nkf,
                    405: が必要です. 詳しくは Makefiles を見て下さい.
                    406: Document は, binary distribution の OpenXM/doc, OpenXM/lib
                    407: より得るのが簡単です.
1.6       takayama  408: */
                    409: /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.
                    410: In order to use and compile OpenXM/src/OpenMath,
                    411: you need jdk (java environment).
1.12      takayama  412:
                    413: In order to generate the full documentation including Japanese documents,
                    414: you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html,
                    415: nkf. See each Makefile.
                    416: The generated documents are in OpenXM/doc and OpenXM/lib
                    417: in the binary distribution.
1.6       takayama  418: */
                    419: /*&C
1.9       takayama  420:
                    421: */
                    422: /*&jp
                    423:
                    424:   OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを
                    425:   富士通より受ける必要があります),
                    426:   OpenXM/src/Makefile の各モジュール名 たとえば
                    427:    make all-kan96xx
                    428:   などと各モジュール名を指定してコンパイルして下さい.
                    429:
                    430: */
                    431: /*&eg
                    432:
                    433:   If you cannot get a source liscence of OpenXM_contrib2/asir2000
                    434:   from Fujitsu labs,
                    435:   compile each modules independently, e.g.,
                    436:     make all-kan96xx
1.1       takayama  437:
1.6       takayama  438: */
1.1       takayama  439:
1.6       takayama  440: /*&jp
1.1       takayama  441:
1.8       takayama  442: [OpenXM 下のファイルの構成メモ]
1.3       maekawa   443: lib/asir には, asir のライブラリ, ox_asir 本体
                    444:
1.8       takayama  445: cd OpenXM/src/kxx ; make install-for-debug した場合,
1.3       maekawa   446: lib/sm1 は src/SSkan/Doc への symbolic link
                    447: であり, sm1 のライブラリファイルが格納されています.
                    448: lib/sm1/bin には, binaryfiles
1.1       takayama  449:     sm1, ox_sm1, ox,  ox_log, ox_sm1_*
1.3       maekawa   450: へのシンボリックリンクが格納されます.
1.8       takayama  451: このシンボリックリンクは src/kxx で make install-for-debug を実行することにより
1.3       maekawa   452: 作成されます.
1.1       takayama  453:
1.3       maekawa   454: sm1 が ox_asir を利用するのに必要なファイル.
1.1       takayama  455:    lib/asir/ox_asir,
                    456:    lib/sm1/bin/ox, lib/sm1/bin/ox_log  (src/kxx/ox, src/kxx/ox_log)
                    457:    lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
                    458:
1.3       maekawa   459: asir が ox_sm1_forAsir を利用するのに必要なファイル:
1.1       takayama  460:    lib/asir/ox_launch
1.3       maekawa   461:    lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
1.1       takayama  462:    lib/asir/xm
1.3       maekawa   463:    lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
1.1       takayama  464:      callsm1.sm1 callsm1b.sm1
1.3       maekawa   465:      (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
                    466:       ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
1.1       takayama  467:
1.3       maekawa   468: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
1.1       takayama  469:     lib/asir/ox_launch
1.3       maekawa   470:     lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
1.4       maekawa   471:                                 gnuplot4ox を実行します.)
1.1       takayama  472:     lib/asir/xm
                    473:     lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
1.3       maekawa   474:      (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
                    475:       ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
1.4       maekawa   476:     bin/gnuplot4ox,  bin/gnuplot_x11  (gnuplot 本体, src/gnuplot*)
1.1       takayama  477:
                    478: ----------------------------------------
1.3       maekawa   479: [開発者用メモ]
1.1       takayama  480:
1.3       maekawa   481: << sm1, ox_sm1, ox, oxlog の debug >>
                    482: binary file は各 directory の make install により
                    483: OpenXM/bin にコピーされますが,
                    484: debug 用にいちいちコピーするのは面倒なので,
1.8       takayama  485: OpenXM/src/kan96xx で make install-for-debug
                    486: OpenXM/src/kxx で make install-for-debug
1.3       maekawa   487: を実行すると,
                    488: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
1.1       takayama  489: OpenXM/src/kan96xx/Kan/sm1
                    490: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
1.3       maekawa   491: へのシンボリックリンクが作成されます.
1.1       takayama  492:
1.3       maekawa   493: [CVSコミッタ用メモ]
                    494: <<  OpenXM ディレクトリ配布版の作成方法 >>
1.1       takayama  495: rcvs export -rHEAD OpenXM
                    496: rcvs export -rHEAD OpenXM_contrib
                    497: rcvs export -rHEAD OpenXM_contrib2
1.3       maekawa   498: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
1.7       takayama  499: */
                    500:
                    501: /*&C
                    502:
                    503: */
                    504: /*&jp
                    505:
                    506: ★ Solaris に関する注意.
                    507: Solaris ではまだ問題が山積してます.
                    508: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
                    509: を見てください.
1.8       takayama  510: Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
                    511: おきます.
1.7       takayama  512:
                    513: */
1.8       takayama  514: /*&eg
                    515: ***** COMPILE ON SOLARIS
                    516:  There are a lot of troubles on Solaris for now.
                    517:  At least,
                    518:  /usr/ccs/bin must be at the top of the command search path to compile
                    519:  on Solaris.
                    520: */
                    521:
1.7       takayama  522:
                    523: /*&C
                    524:
1.1       takayama  525: */

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>