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

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

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

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