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