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