Annotation of OpenXM/doc/install.oxweave, Revision 1.17
1.17 ! takayama 1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.16 2000/01/21 13:49:52 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:
98: source /xxx/yyy/OpenXM/rc/dot.bash
99:
1.1 takayama 100: */
1.14 takayama 101:
102: /*&jp
103:
104: (3) または (3') を終了したら, いったん logout して login しなおすか
105: または, source コマンドで, dot.bash または dot.csh を読み込んで下さい.
106:
107: */
108: /*&eg
109:
110: After finishing the step (3) or (3'), logout and login again,
111: or read dot.bash or dot.cshrc file by the source command.
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>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to install.oxweave CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc