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