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