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