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

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

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

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