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

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

1.38    ! takayama    1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.37 2000/09/23 07:28:11 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.34      takayama    6:               http://www.openxm.org
1.16      takayama    7: Consult firstly the ERRATA section for your release on this web cite
                      8: for troubles.
1.6       takayama    9:
                     10: OpenXM package : Getting started.
                     11:
1.34      takayama   12: This document is for OpenXM version 1.1.3.  (Draft)
                     13:
1.6       takayama   14: */
1.1       takayama   15: /*&jp
1.23      takayama   16: ★ OpenXM GENERIC パッケージの利用方法
1.6       takayama   17: この節では, OpenXM package binary distribution のインストール法を説明します.
1.36      takayama   18: ソースからインストールする場合は
                     19:        ★ OpenXM パッケージの Make 法
                     20: を御覧下さい.
1.6       takayama   21: インストールに必要なシステムの仕様については, 動作環境を御覧ください.
1.1       takayama   22: */
                     23: /*&eg
1.23      takayama   24: ***** HOW TO INSTALL OpenXM GENERIC PACKAGE?
1.6       takayama   25: In this section, we will explain how to install OpenXM package binary
                     26: distribution.
1.36      takayama   27: If you build from the source, see the section
                     28:       * How to make OpenXM package?
1.6       takayama   29: As to the required environment, see the section "System Requirement"
                     30: */
                     31: /*&jp
                     32:
                     33: (1)  Tar ボールより次のようにしてディレクトリ OpenXM を取り出します.
1.13      takayama   34:      OpenXM はどこにおいてもかまいません. ルートになってインストール
                     35:      する必要もありません.
                     36:      できれば, /usr/local/OpenXM  においてほしいと思います.
1.6       takayama   37:
1.1       takayama   38: */
1.6       takayama   39: /*&eg
1.1       takayama   40:
1.6       takayama   41: (1)  Extract the directory OpenXM from the tar ball.
                     42:      You can put the directory OpenXM at any place in the file system.
1.13      takayama   43:      You do not need to be a root to install it.
                     44:      We are happy if you put OpenXM at /usr/local/OpenXM
1.2       takayama   45:
                     46: */
1.6       takayama   47: /*&C
1.24      takayama   48:
                     49:          tar xzvf OpenXM-shared.tgz
1.6       takayama   50:          tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz
                     51:
1.2       takayama   52: */
1.6       takayama   53: /*&jp
                     54: 以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM
                     55: と書きます.
                     56:
1.1       takayama   57: */
1.6       takayama   58: /*&eg
                     59: In the sequel, we will denote the absolute path of the directory OpenXM
                     60: by /xxx/yyy/OpenXM.
1.1       takayama   61:
                     62: */
                     63: /*&jp
1.23      takayama   64: (2) OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc,
                     65:     OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, 等の
                     66:     ファイルを自動生成します.
                     67:     openxm, asir, oxmath などは OpenXM クライアントを起動するための
                     68:     シエルスクリプトです. これらを /usr/local/bin にインストールするには
                     69:     次のように入力します.
1.6       takayama   70:
1.5       takayama   71: */
                     72: /*&eg
1.19      takayama   73: (2) Generate  OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and
1.23      takayama   74:     OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ...
                     75:     The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients.
                     76:     If you want to install these shell scripts to /usr/local/bin,
                     77:     type in as follows.
1.6       takayama   78:
1.5       takayama   79: */
1.6       takayama   80: /*&C
                     81:
1.8       takayama   82:      cd /xxx/yyy/OpenXM/rc
1.23      takayama   83:      make install
1.5       takayama   84:
                     85: */
                     86: /*&jp
1.23      takayama   87:
                     88:      /usr/local/bin でなく, home directory の bin にインストールしたい
                     89:      ときは, 次のように入力してください.
                     90:
                     91: */
                     92: /*&eg
                     93:
                     94:     If you want to install them under the bin of your home directory,
                     95:     type in as follows.
                     96:
                     97: */
                     98: /*&C
                     99:
                    100:    cd /xxx/yyy/OpenXM/rc
                    101:    make install PREFIX=$HOME/bin
                    102:
                    103: */
                    104: /*&C
                    105:
                    106:    [Note] If you are Solaris user, you might have to type in like
                    107:      /usr/ccs/bin/make install PREFIX=$HOME/bin
                    108:
                    109: */
                    110: /*&jp
                    111:
                    112: OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です.
                    113: OpenXM clients を実行するだけの場合は, (3), (3') は skip してください.
                    114:
1.6       takayama  115: (3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます.
                    116:
1.1       takayama  117: */
                    118: /*&eg
1.23      takayama  119:
                    120: If you want to execute binaries under OpenXM/bin, you need to perform
                    121: (3) and (3').
                    122: If you use only OpenXM clients, skip (3) and (3').
                    123:
1.6       takayama  124: (3) Append the following line to the end of  ~/.cshrc when you are
                    125:     using csh as your shell.
                    126:
1.1       takayama  127: */
                    128: /*&C
1.2       takayama  129:
1.6       takayama  130:     source /xxx/yyy/OpenXM/rc/dot.cshrc
1.2       takayama  131:
1.1       takayama  132: */
                    133: /*&jp
1.38    ! takayama  134: (3') bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile
        !           135: の最後に加えます.
1.6       takayama  136:
1.1       takayama  137: */
                    138: /*&eg
1.38    ! takayama  139: (3') Append the following lines to the end of  ~/.bashrc and ~/.bash_profile
        !           140:      respectively when you are using bash as your shell.
1.6       takayama  141:
                    142: */
                    143: /*&C
                    144:
1.38    ! takayama  145:     source /xxx/yyy/OpenXM/rc/dot.bashrc             (.bashrc)
        !           146:
        !           147:     source ~/.bashrc                                 (.bash_profile)
1.6       takayama  148:
1.1       takayama  149: */
1.14      takayama  150:
                    151: /*&jp
                    152:
                    153:  (3) または (3') を終了したら, いったん logout して login しなおすか
1.18      takayama  154:  または, source コマンドで, dot.bashrc または dot.csh を読み込んで下さい.
1.14      takayama  155:
                    156: */
                    157: /*&eg
                    158:
                    159:    After finishing the step (3) or (3'), logout and login again,
1.18      takayama  160:    or read dot.bashrc or dot.cshrc file by the source command.
1.14      takayama  161:
                    162: */
                    163:
1.6       takayama  164:
1.32      takayama  165: /*&C
                    166:
                    167:           FAQ
                    168:
                    169: */
                    170: /*&jp
                    171: Q. OpenXM の asir OpenXM client を icon でスタートするには?
                    172: A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます.
                    173: */
                    174: /*&eg
                    175: Q. How to start asir OpenXM clients in the iconic mode?
                    176: A. Add the following line to .Xdefaults or a file you read by xrdb.
                    177: */
                    178: /*&C
                    179:
                    180:        ox_xterm*iconic: on
1.28      takayama  181:
                    182: */
                    183: /*&jp
                    184:
                    185: ★ OpenXM FreeBSD binary パッケージのインストール方法
                    186:      openxm-version.tgz
                    187:    を ftp サイトより copy して,
                    188:    root になって,
                    189:      pkg_add openxm-version.tgz
                    190:    OpenXM は /usr/local/OpenXM にインストールされます.
                    191:    あとは, 上の (4) へ.
                    192:    ここで version は OpenXM の version 番号で, たとえば,
                    193:    2000, 3/20(Mon) 版は  1.1.2
1.38    ! takayama  194:    pkg_add に失敗した場合は, /var のサイズを大きくしてやりなおして
        !           195:    みて下さい.
1.28      takayama  196:
1.30      takayama  197:    java および linux emulation が実行に必要です.
                    198:    java が, サーチパスのなかにある必要がありますので,
                    199:    たとえば,
                    200:      set path=(/usr/local/jdk1.1.8 $path)
                    201:      rehash
                    202:    してから, pkg_add して下さい.
                    203:    インストール終了後のメッセージにしたがい, 必要な設定を
                    204:    おこなって下さい.
                    205:
1.34      takayama  206:    jdk は /usr/ports/lang/jdk よりインストールできます.
                    207:    Linux emulation を有効にするには,
                    208:     /etc/rc.conf に
                    209:     linux_enable="YES"
                    210:    と書き,
                    211:    /usr/ports/emulators/linux_base を用いて, linux 用の共有ライブラリ等を
                    212:    インストールしておきます.
                    213:      (FreeBSD 3.x, 4.x)
                    214:
                    215:
1.30      takayama  216:    /usr/local にインストールしなかった場合は,
                    217:    (2) を実行して下さい.
                    218:
1.28      takayama  219: */
                    220: /*&eg
                    221:
                    222: ***** HOW TO INSTALL OpenXM FreeBSD binary package
                    223:    Copy
                    224:       openxm-version.tgz
                    225:    from our ftp cite.
                    226:    Become the super user and type
                    227:       pkg_add openxm-version.tgz
                    228:    OpenXM will be installed to /usr/local/OpenXM
                    229:    Go to (4) above.
                    230:    Here, version is the version number of OpenXM.
                    231:    For example, the version number of the OpenXM of May 20 (Mon), 2000
                    232:    is 1.1.2
1.38    ! takayama  233:    If you fail "pkd_add", increase the size of /var
1.28      takayama  234:
1.30      takayama  235:    java and linux emulation are required to run OpenXM packages.
                    236:    Java needs to be in the search path. So, for example, execute pkg_add
                    237:    after
                    238:      set path=(/usr/local/jdk1.1.8 $path)
                    239:      rehash
                    240:    Following the message of pkg_add after the installation,
1.34      takayama  241:    set path.
                    242:
                    243:    jdk can be installed by /usr/ports/lang/jdk.
                    244:    Add the line
                    245:     linux_enable="YES"
                    246:    to /etc/rc.conf and install shared libraries for linux
                    247:    by /usr/ports/emulators/linux_base.
                    248:    Then, you can emulate linux.
                    249:
1.30      takayama  250:    If you do not install under /usr/local,
                    251:    goto (2).
                    252:
1.28      takayama  253: */
                    254: /*&jp
                    255:
                    256: ★ OpenXM Redhat Package manager (Linux)
                    257:    binary パッケージのインストール方法
1.29      takayama  258:       openxm-shared-version-suffix.noarch.rpm
1.28      takayama  259:       openxm-binary-version-suffix.i386.rpm
                    260:    を ftp サイトより copy して,
                    261:    root になって,
1.29      takayama  262:      rpm -i  openxm-shared-version-suffix.noarch.rpm
1.28      takayama  263:      rpm -i  openxm-binary-version-suffix.i386.rpm
                    264:    OpenXM は /usr/local/OpenXM にインストールされます.
                    265:    あとは, 上の (4) へ.
                    266:    ここで version は OpenXM の version 番号で, たとえば,
                    267:    2000, 3/20(Mon) 版は  1.1.2
                    268:    suffix は, RPM 版の minor version number.
                    269:
                    270:    Debian を利用している場合, コマンド alien で, rpm 形式を deb 形式に
                    271:    変換できます.
                    272:
1.30      takayama  273:    /usr/local の下へインストールしなかった場合は, (2) を実行して下さい.
                    274:
1.28      takayama  275: */
                    276: /*&eg
                    277:
                    278: ***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux)
                    279:    Copy
1.29      takayama  280:       openxm-shared-version-suffix.noarch.rpm
1.28      takayama  281:       openxm-binary-version-suffix.i386.rpm
                    282:    from our ftp cite.
                    283:    Become the super user and type
1.29      takayama  284:      rpm -i  openxm-shared-version-suffix.noarch.rpm
1.28      takayama  285:      rpm -i  openxm-binary-version-suffix.i386.rpm
                    286:    OpenXM will be installed to /usr/local/OpenXM
                    287:    Go to (4) above.
                    288:    Here, version is the version number of OpenXM.
                    289:    For example, the version number of the OpenXM of May 20 (Mon), 2000
                    290:    is 1.1.2
                    291:    suffix is the minor version number of the package.
                    292:
                    293:    If you are using debian, please use the command alien to translate
                    294:    rpm to deb.
1.30      takayama  295:
                    296:    If you do not install under /usr/local, goto (2).
                    297:
1.13      takayama  298:
                    299: */
1.6       takayama  300:
                    301: /*&C
1.8       takayama  302:
1.27      takayama  303: ***** OpenXM client programs under OpenXM/bin or /usr/local/bin:
                    304:    asir
                    305:    oxmath
                    306:    openxm sm1
                    307:
                    308: ***** OpenXM server programs:
                    309:    OpenXM/bin/ox_asir
                    310:    OpenXM/bin/ox_sm1
                    311:    OpenXM/bin/ox_math
                    312:    OpenXM/lib/sm1/bin/ox_sm1_gnuplot
                    313:    OpenXM/lib/sm1/bin/ox_sm1_phc
                    314:    OpenXM/lib/sm1/bin/ox_sm1_tigers
                    315:    OpenXM/lib/java-support/OMproxy.class
                    316:
1.8       takayama  317: ***** QUALITY:
1.25      takayama  318:  Experimental:
1.6       takayama  319:    OpenXM/bin/k0,  OpenXM/bin/d0
1.25      takayama  320:    Asir client functions:   m_* (Mathematica)  ,  om_*  (OpenMath)
1.29      takayama  321:    OpenXM/lib/java-support/ *
1.25      takayama  322:  70%
1.6       takayama  323:    OpenXM/bin/ox_math,  OpenXM/bin/math2ox
1.11      takayama  324:    OpenXM/bin/sm1, ox_sm1 on Linux libc6.
1.37      takayama  325:
                    326: **** OpenXM server and client programs (under development)
                    327:      included only in the source distribution
                    328:    OpenXM/src/Macaulay2  ( M2 server and client )
                    329:    OpenXM/src/ruby       ( Ruby client)
                    330:
                    331: **** Utilities
                    332:    OpenXM/doc/oxlib    ( how to link oxservers as libraries )
                    333:
1.6       takayama  334: */
                    335: /*&C
                    336:
                    337:
1.8       takayama  338: */
                    339: /*&jp
                    340: ★ Java に関する注意:
                    341: 注意 1.
                    342: OpenMath 用の OMproxy には現在のところ, jdk が必要です.
                    343: たとえば bash を利用している場合, .bashrc で
                    344: PATH=/usr/local/jdk1.1.8/bin:$PATH
                    345: export PATH
1.10      takayama  346: などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして
1.8       takayama  347: ください.
1.10      takayama  348: csh を利用している場合, .cshrc で
                    349: set path=(/usr/local/jdk1.1.8/bin $path)
                    350: として, jdk の java, javac をサーチパスにいれます.
1.17      takayama  351:
1.34      takayama  352: jdk の入手先:  FreeBSD  --- /usr/ports/java/jdk を見てください.
1.35      takayama  353:                Linux    --- http://java.sun.com/products/jdk/1.2/ja
                    354:                             http://java.sun.com/j2se/1.3/ja
1.33      takayama  355:
1.17      takayama  356: 注意:
                    357: なお, Kaffe 1.0.b4 の java は, class BigInteger に method
                    358: toByteArray が含まれてないため, OpenMath モジュールでは使用できません.
1.8       takayama  359: */
                    360: /*&eg
                    361: ***** JAVA
                    362: In order to use OMproxy, asir client om_*,
                    363: you need to install JDK.
                    364: The bin dir of the JDK must be in yur search path.
                    365: For example, you need to add the following line
1.10      takayama  366: to your .chsrc when your shell is csh
1.8       takayama  367: set path=(/usr/local/jdk1.1.8/bin $path)
1.10      takayama  368: Bash users put the following line to .bashrc
                    369: PATH=/usr/local/jdk1.1.8/bin:$PATH
                    370: export PATH
1.17      takayama  371:
1.33      takayama  372:
1.34      takayama  373: Where can I get jdk? :  FreeBSD --- see /usr/ports/java/jdk
1.35      takayama  374:                         Linux   --- http://java.sun.com/products/jdk/1.2/ja
                    375:                                     http://java.sun.com/j2se/1.3/ja
                    376:
1.33      takayama  377:
1.17      takayama  378: Remark:
                    379: The Java interpreter of Kaffe 1.0.b4 does not contain the method
                    380: toByteArray in the class BigInteger.
                    381: So, it cannot be used for the OpenMath module.
1.8       takayama  382: */
                    383:
                    384: /*&C
                    385:
                    386:
1.6       takayama  387:
                    388:
                    389: */
                    390: /*&jp
                    391: ★ 動作環境
                    392:
                    393: */
                    394: /*&eg
1.7       takayama  395: ***** SYSTEM REQUIREMENTS
1.6       takayama  396:
                    397: */
                    398: /*&C
                    399:
1.34      takayama  400: OS:  FreeBSD 3.3, 3.4, 4.x (Intel CPU),
1.11      takayama  401:      Linux systems (Intel CPU):
1.15      takayama  402:          Most Linux with libc5 and with libc6 (glibc 2.x).
1.7       takayama  403:
                    404:      X window system is required.
                    405:
                    406:      Most part of the OpenXM package may work on other versions of
1.11      takayama  407:      FreeBSD 3.x and Linux, but we have not yet tested.
1.6       takayama  408:
                    409: */
                    410: /*&jp
1.8       takayama  411: 次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを
1.6       takayama  412: 必要とします.
                    413: */
                    414: /*&eg
                    415: The following modules require the listed softwares other than the standard
                    416: OS package.
                    417: */
                    418: /*&C
                    419:
1.27      takayama  420: (1) OpenXM/bin/oxmath  :       Mathematica Version 3.x or 4.x
1.6       takayama  421:    (Mathematica server)         at /usr/local/Mathematica
                    422:     OpenXM/bin/math2ox          [ see http://www.wolfram.com ]
                    423:     Asir client functions  m_*
                    424: (2) OpenXM/lib/java-support :   JDK at /usr/local/jdk??
1.8       takayama  425:                                 [ see the section on JAVA]
1.6       takayama  426:     Asir client functions  om_*
                    427:     sm1 client functions   om_*
1.7       takayama  428: (3) PHC pack (OpenXM/bin/phc)  and  asir client functions
                    429:     phc_*  run only on linux (glib5).
1.8       takayama  430:     If you install the linux emulation^{note 1} on Free BSD, they run on
                    431:     FreeBSD, too.
                    432:     <note 1>
                    433:       Add linux_enable="YES" in /etc/rc.conf
                    434:       You need the following packages:
                    435:       pkg_info | grep linu
                    436:       linux_base-5.2      The base set of packages needed in Linux mode
                    437:       linux_devtools-5.2  Packages needed for doing development in Linux mode
1.6       takayama  438:
                    439: */
                    440:
                    441:
1.1       takayama  442: /*&jp
1.7       takayama  443: 日本語版の注意.
1.3       maekawa   444: 注意 1.
                    445: asir で日本語のヘルプを利用するには,
1.1       takayama  446: PAGER=jless
                    447: export PAGER
1.3       maekawa   448: などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
1.1       takayama  449: */
1.7       takayama  450:
                    451: /*&eg
                    452:
1.8       takayama  453: The installation is completed.
1.7       takayama  454:
                    455: */
                    456: /*&jp
                    457:
                    458: 以上.
                    459:
                    460: */
                    461:
1.1       takayama  462: /*&jp
1.7       takayama  463: ★ 文書
                    464:
                    465:   OpenXM パッケージでもっとも充実しているクライアントは,
                    466:   asir です.
                    467:   asir のつかいかたは
                    468:         OpenXM/doc/asir2000/man-jp.dvi
                    469:        または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい.
                    470:   asir 用 OpenXM クライアントライブラリのつかい方は,
                    471:         OpenXM/doc/asir-contrib/cman-jp.dvi
                    472:   を見て下さい.  dvi の付くファイルは xdvi で見ることができます.
                    473:
                    474:   OpenXM の設計の概要については,
                    475:       OpenXM/doc/issac2000/issac2000.ps
                    476:   を見て下さい.
                    477:   ps の付くファイルは, ghostview で見ることができます.
                    478:
1.25      takayama  479:   Mathematica client については, OpenXM/doc/ox_math を御覧ください.
                    480:   sm1 client については, OpenXM/doc/kan96xx を御覧ください.
                    481:   asir は, 多項式処理用のライブラリとしてリンクできます.
                    482:   これについては, OpenXM/doc/oxlib を御覧ください.
                    483:
                    484:   OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit
                    485:   が参考になるかもしれません. Java のクラスについては
                    486:   OpenXM/src/OpenMath が参考になるかもしれません.
                    487:
1.7       takayama  488: */
                    489: /*&eg
                    490: ***** DOCUMENTS
                    491:
                    492:   The best OpenXM client in the OpenXM package is now
                    493:   asir.
                    494:   Documents on asir are
                    495:     OpenXM/doc/asir2000/man-eg.dvi
                    496:     OpenXM/doc/asir2000/html-eg (HTML)
                    497:
                    498:   The file
                    499:     OpenXM/doc/asir-contrib/cman-eg.dvi
                    500:   is a document on OpenXM client libraries for asir.
1.1       takayama  501:
1.7       takayama  502:   The design outline is described in
                    503:       OpenXM/doc/issac2000/issac2000.ps
                    504:
                    505:   Dvi files can be previewed by xdvi and
                    506:   ps files  can be previewed by ghostview.
1.25      takayama  507:
                    508:   As to Mathematica client, see OpenXM/doc/ox_math.
                    509:   As to sm1 client, see OpenXM/doc/kan96xx.
                    510:   The asir can be used as a C library for polynomial manupulation.
                    511:   See OpenXM/doc/oxlib.
                    512:
                    513:   If you are interested in writing a server for OpenXM, please refer to
                    514:   OpenXM/src/ox_toolkit and OpenXM/src/OpenMath.
                    515:
1.7       takayama  516: */
1.1       takayama  517:
                    518:
1.8       takayama  519: /*&eg
                    520:
                    521:
                    522: ***** A QUICK TOUR OF OPENXM BY ASIR
                    523:
                    524: */
1.7       takayama  525: /*&jp
1.1       takayama  526:
                    527:
1.8       takayama  528: ★ ASIR による使用例
1.1       takayama  529:
                    530:
1.3       maekawa   531: asir を動作させるには, key が必要です.
1.8       takayama  532: OpenXM/lib/asir/asir_key のコメントまたは起動時のメッセージをみて,
                    533: key を E-mail でとりよせて下さい.
1.1       takayama  534:
1.8       takayama  535: */
                    536: /*&C
                    537: ----------------   Call ox_sm1 from asir.
                    538: bash-2.03$ asir
                    539: This is Risa/Asir, Version 20000120.
                    540: Copyright (C) FUJITSU LABORATORIES LIMITED.
                    541: 1994-1999. All rights reserved.
                    542: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
                    543: [269] sm1_genericAnn([x^3-y^2,[s,x,y]]);
                    544:    /* The annihilating ideal of (x^3-y^2)^s */
                    545: [-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s]
                    546:
                    547:
                    548: ---------------    Call gnuplot from asir.
                    549: bash-2.03$ asir
                    550: This is Risa/Asir, Version 20000120.
                    551: Copyright (C) FUJITSU LABORATORIES LIMITED.
                    552: 1994-1999. All rights reserved.
                    553: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
                    554: [269] gnuplot("plot sin(x);");
                    555: 0
                    556: [270]
1.13      takayama  557:
                    558: */
                    559:
                    560: /*&jp
                    561:
                    562: ★  sm1 クライアントの利用例
                    563:
                    564: */
                    565: /*&eg
                    566:
                    567: ******  Example of the use of sm1 client
1.1       takayama  568:
1.8       takayama  569: */
1.1       takayama  570:
1.8       takayama  571: /*&C
                    572: --------------------------------------  call ox_asir from sm1
1.1       takayama  573: sm1
                    574: (oxasir.sm1) run  ;
1.8       takayama  575: [(x^20-y^20) (x,y)] fctr pmat ;     factorize x^20-y^20 by call ox_asir
1.1       takayama  576:
                    577:
1.8       takayama  578: */
1.1       takayama  579:
1.8       takayama  580: /*&jp
1.5       takayama  581: [著作権表示]
                    582: OpenXM/Copyright を御覧ください.
1.6       takayama  583: */
1.8       takayama  584: /*&eg
                    585: [COPYRIGHT]
                    586: See OpenXM/Copyright.
                    587: */
                    588:
                    589: /*&eg
                    590:
1.6       takayama  591:
1.7       takayama  592:
1.8       takayama  593: *****  TO COMPILE FROM A SOURCE *****
1.7       takayama  594:
                    595: */
1.6       takayama  596: /*&jp
1.8       takayama  597:
                    598:
1.6       takayama  599: ★ OpenXM パッケージの Make 法
1.36      takayama  600:   FreeBSD 3.x, FreeBSD 4.x, Linux で動作するものと期待してます.
                    601:   (Linux glib6 では, いまのところ, /usr/include/features.h
                    602:    で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが,
1.20      takayama  603:   一部のソースを
                    604:   -D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます
1.36      takayama  605:   (setjmp と sigsetjmp の問題, dirty trick) 現在では問題ありません. )
1.8       takayama  606:
1.6       takayama  607:    OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
1.36      takayama  608:    ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 より
                    609:         openxm-1.1.3.tar.gz
                    610:    を get して展開して下さい.
                    611:         tar xzvf openxm-1.1.3.tar.gz
                    612:
                    613:    openxm-1.1.3/OpenXM    openxm-1.1.3/OpenXM_contrib
                    614:    openxm-1.1.3/OpenXM_contrib2
                    615:    が生成されます.
                    616:
1.6       takayama  617:    cvs コミッタの場合次のようにしてソースをとりよせます.
                    618: */
                    619: /*&eg
                    620: * How to make OpenXM package?
1.36      takayama  621:  We have tested the OpenXM package on FreeBSD 3.x, FreeBSD 4.x, Linux.
                    622:  (On Linux glib6, we needed to define
1.8       takayama  623:    #define  __FAVOR_BSD 1
1.20      takayama  624:  in /usr/include/features.h,
                    625:  but now we are compiling some sources with -D_BSD_SOURCE
1.36      takayama  626:  (setjmp vs sigsetjmp).  So, you do not need to make this change.)
1.8       takayama  627:
1.6       takayama  628:  Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
1.36      takayama  629:  get
                    630:         openxm-1.1.3.tar.gz
                    631:  from ftp.math.kobe-u.ac.jp/OpenXM/1.1.3
                    632:  Expand it by
                    633:         tar xzvf openxm-1.1.3.tar.gz
                    634:
                    635:  Then, you will get
                    636:    openxm-1.1.3/OpenXM    openxm-1.1.3/OpenXM_contrib
                    637:    openxm-1.1.3/OpenXM_contrib2
                    638:
                    639:
1.6       takayama  640:  If you are a CVS committer, then you can get all sources as follows:
                    641: */
                    642: //&C  rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
                    643: //&C
                    644: //&jp これらがそろっていたらあとは次のように入力するだけです.
                    645: //&eg Check that you have these directories, then just type in the following commands
                    646: /*&C
                    647:
                    648:    cd OpenXM/src
                    649:    make configure
                    650:    make
                    651:    make install
                    652:
                    653: */
                    654: /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,
                    655: OpenXM/src/OpenMath のコンパイルおよび利用には
                    656: には, jdk (java 環境) が必要です.
1.12      takayama  657:
                    658: Documents を生成するには,  tex, ptex (ascii 日本語 tex), dvips, texinfo,
1.36      takayama  659: texi2html, nkf, jlatex2html
1.12      takayama  660: が必要です. 詳しくは Makefiles を見て下さい.
                    661: Document は, binary distribution の OpenXM/doc, OpenXM/lib
                    662: より得るのが簡単です.
1.6       takayama  663: */
                    664: /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.
                    665: In order to use and compile OpenXM/src/OpenMath,
                    666: you need jdk (java environment).
1.12      takayama  667:
                    668: In order to generate the full documentation including Japanese documents,
                    669: you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html,
1.36      takayama  670: nkf, jlatex2html.  See each Makefile.
1.12      takayama  671: The generated documents are in OpenXM/doc and OpenXM/lib
                    672: in the binary distribution.
1.15      takayama  673: If you do not like to install Japanese environment such as ptex,
                    674: type in R for the tex error prompt ? or
                    675: prepare empty shell scripts ptex and nkf.
1.36      takayama  676: */
                    677: /*&C
                    678:
                    679: */
                    680:
                    681: /*&eg
                    682: To run the system, you need to read OpenXM/rc/dot.cshrc or
                    683: OpenXM/rc/dot.bashrc by the source
                    684: command for setting proper environmental variable values.
                    685:
                    686: By the commands
                    687:          cd OpenXM/rc
                    688:          make
                    689: you can generate dot.cshrc and dot.bashrc.
                    690: Read these file by the source command in your .cshrc
                    691: or .bashrc (or .bash_profile).
                    692: */
                    693: /*&jp
                    694: システムを動かすには, OpenXM/rc/dot.cshrc または
                    695: OpenXM/rc/dot.bashrc を source コマンドで
                    696: よみこみ環境変数の値を適切に設定する必要があります.
                    697:
                    698: コマンド
                    699:          cd OpenXM/rc
                    700:          make
                    701: で dot.cshrc および dot.bashrc が生成されます.
                    702: これらのファイルを source コマンドで,
                    703: .cshrc または .bashrc (または .bash_profile) より読むようにして下さい.
1.6       takayama  704: */
                    705: /*&C
1.1       takayama  706:
1.6       takayama  707: */
1.1       takayama  708:
1.6       takayama  709: /*&jp
1.1       takayama  710:
1.8       takayama  711: [OpenXM 下のファイルの構成メモ]
1.3       maekawa   712: lib/asir には, asir のライブラリ, ox_asir 本体
                    713:
1.8       takayama  714: cd OpenXM/src/kxx ; make install-for-debug した場合,
1.3       maekawa   715: lib/sm1 は src/SSkan/Doc への symbolic link
                    716: であり, sm1 のライブラリファイルが格納されています.
                    717: lib/sm1/bin には, binaryfiles
1.1       takayama  718:     sm1, ox_sm1, ox,  ox_log, ox_sm1_*
1.3       maekawa   719: へのシンボリックリンクが格納されます.
1.8       takayama  720: このシンボリックリンクは src/kxx で make install-for-debug を実行することにより
1.3       maekawa   721: 作成されます.
1.1       takayama  722:
1.3       maekawa   723: sm1 が ox_asir を利用するのに必要なファイル.
1.1       takayama  724:    lib/asir/ox_asir,
                    725:    lib/sm1/bin/ox, lib/sm1/bin/ox_log  (src/kxx/ox, src/kxx/ox_log)
                    726:    lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
                    727:
1.3       maekawa   728: asir が ox_sm1_forAsir を利用するのに必要なファイル:
1.1       takayama  729:    lib/asir/ox_launch
1.3       maekawa   730:    lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
1.1       takayama  731:    lib/asir/xm
1.3       maekawa   732:    lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
1.1       takayama  733:      callsm1.sm1 callsm1b.sm1
1.3       maekawa   734:      (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
                    735:       ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
1.1       takayama  736:
1.3       maekawa   737: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
1.1       takayama  738:     lib/asir/ox_launch
1.3       maekawa   739:     lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
1.4       maekawa   740:                                 gnuplot4ox を実行します.)
1.1       takayama  741:     lib/asir/xm
                    742:     lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
1.3       maekawa   743:      (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
                    744:       ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
1.4       maekawa   745:     bin/gnuplot4ox,  bin/gnuplot_x11  (gnuplot 本体, src/gnuplot*)
1.1       takayama  746:
                    747: ----------------------------------------
1.3       maekawa   748: [開発者用メモ]
1.1       takayama  749:
1.3       maekawa   750: << sm1, ox_sm1, ox, oxlog の debug >>
                    751: binary file は各 directory の make install により
                    752: OpenXM/bin にコピーされますが,
                    753: debug 用にいちいちコピーするのは面倒なので,
1.8       takayama  754: OpenXM/src/kan96xx で make install-for-debug
                    755: OpenXM/src/kxx で make install-for-debug
1.3       maekawa   756: を実行すると,
                    757: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
1.1       takayama  758: OpenXM/src/kan96xx/Kan/sm1
                    759: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
1.3       maekawa   760: へのシンボリックリンクが作成されます.
1.1       takayama  761:
1.3       maekawa   762: [CVSコミッタ用メモ]
                    763: <<  OpenXM ディレクトリ配布版の作成方法 >>
1.1       takayama  764: rcvs export -rHEAD OpenXM
                    765: rcvs export -rHEAD OpenXM_contrib
                    766: rcvs export -rHEAD OpenXM_contrib2
1.21      takayama  767: cd OpenXM/src ; make generate-source-distribution
1.3       maekawa   768: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
1.7       takayama  769: */
                    770:
                    771: /*&C
                    772:
                    773: */
                    774: /*&jp
                    775:
                    776: ★ Solaris に関する注意.
                    777: Solaris ではまだ問題が山積してます.
                    778: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
                    779: を見てください.
1.8       takayama  780: Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
                    781: おきます.
1.7       takayama  782:
                    783: */
1.8       takayama  784: /*&eg
                    785: ***** COMPILE ON SOLARIS
                    786:  There are a lot of troubles on Solaris for now.
                    787:  At least,
                    788:  /usr/ccs/bin must be at the top of the command search path to compile
                    789:  on Solaris.
                    790: */
1.31      takayama  791: /*&jp
                    792:
                    793: ★ Redhat Linux 6.1 上でのコンパイル
                    794: m4-1.4 と autoconf-2.13 が必要.
                    795: (あらかじめはいっている,  autoconf は 2.12 でありこれは
                    796:  gnuplot の make で不具合を生じます.)
1.8       takayama  797:
1.31      takayama  798: */
                    799: /*&eg
                    800: ***** COMPILE ON Redhat Linux 6.1
                    801: m4-1.4 and autoconf-2.13 are required.
                    802: (Preinstalled autoconf is version 2.12. It causes a trouble when
                    803:  you build gnuplot.)
                    804: */
1.7       takayama  805:
                    806: /*&C
                    807:
1.1       takayama  808: */

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