Annotation of OpenXM/doc/install.oxweave, Revision 1.39
1.39 ! takayama 1: %% $OpenXM: OpenXM/doc/install.oxweave,v 1.38 2000/09/25 07:12:41 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:
1.39 ! takayama 270: /usr/local の下へインストールしなかった場合は, (2) を実行して下さい.
1.28 takayama 271:
1.39 ! takayama 272: libgd のインストールが必要な場合もあります.
! 273: libgd がインストールしてない場合,
! 274: http://www.redhat.com/downloads へアクセスし, libgd をインストール
! 275: して下さい.
1.30 takayama 276:
1.28 takayama 277: */
278: /*&eg
279:
280: ***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux)
281: Copy
1.29 takayama 282: openxm-shared-version-suffix.noarch.rpm
1.28 takayama 283: openxm-binary-version-suffix.i386.rpm
284: from our ftp cite.
285: Become the super user and type
1.29 takayama 286: rpm -i openxm-shared-version-suffix.noarch.rpm
1.28 takayama 287: rpm -i openxm-binary-version-suffix.i386.rpm
288: OpenXM will be installed to /usr/local/OpenXM
289: Go to (4) above.
290: Here, version is the version number of OpenXM.
291: For example, the version number of the OpenXM of May 20 (Mon), 2000
292: is 1.1.2
293: suffix is the minor version number of the package.
294:
1.30 takayama 295: If you do not install under /usr/local, goto (2).
296:
1.13 takayama 297:
1.39 ! takayama 298: You might need to install libgd.
! 299: If it is not installed in your system, access to
! 300: http://www.redhat.com/downloads and get libgd.
1.13 takayama 301: */
1.6 takayama 302:
303: /*&C
1.8 takayama 304:
1.27 takayama 305: ***** OpenXM client programs under OpenXM/bin or /usr/local/bin:
306: asir
307: oxmath
308: openxm sm1
309:
310: ***** OpenXM server programs:
311: OpenXM/bin/ox_asir
312: OpenXM/bin/ox_sm1
313: OpenXM/bin/ox_math
314: OpenXM/lib/sm1/bin/ox_sm1_gnuplot
315: OpenXM/lib/sm1/bin/ox_sm1_phc
316: OpenXM/lib/sm1/bin/ox_sm1_tigers
317: OpenXM/lib/java-support/OMproxy.class
318:
1.8 takayama 319: ***** QUALITY:
1.25 takayama 320: Experimental:
1.6 takayama 321: OpenXM/bin/k0, OpenXM/bin/d0
1.25 takayama 322: Asir client functions: m_* (Mathematica) , om_* (OpenMath)
1.29 takayama 323: OpenXM/lib/java-support/ *
1.25 takayama 324: 70%
1.6 takayama 325: OpenXM/bin/ox_math, OpenXM/bin/math2ox
1.11 takayama 326: OpenXM/bin/sm1, ox_sm1 on Linux libc6.
1.37 takayama 327:
328: **** OpenXM server and client programs (under development)
329: included only in the source distribution
330: OpenXM/src/Macaulay2 ( M2 server and client )
331: OpenXM/src/ruby ( Ruby client)
332:
333: **** Utilities
334: OpenXM/doc/oxlib ( how to link oxservers as libraries )
335:
1.6 takayama 336: */
337: /*&C
338:
339:
1.8 takayama 340: */
341: /*&jp
342: ★ Java に関する注意:
343: 注意 1.
344: OpenMath 用の OMproxy には現在のところ, jdk が必要です.
345: たとえば bash を利用している場合, .bashrc で
346: PATH=/usr/local/jdk1.1.8/bin:$PATH
347: export PATH
1.10 takayama 348: などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして
1.8 takayama 349: ください.
1.10 takayama 350: csh を利用している場合, .cshrc で
351: set path=(/usr/local/jdk1.1.8/bin $path)
352: として, jdk の java, javac をサーチパスにいれます.
1.17 takayama 353:
1.34 takayama 354: jdk の入手先: FreeBSD --- /usr/ports/java/jdk を見てください.
1.35 takayama 355: Linux --- http://java.sun.com/products/jdk/1.2/ja
356: http://java.sun.com/j2se/1.3/ja
1.33 takayama 357:
1.17 takayama 358: 注意:
359: なお, Kaffe 1.0.b4 の java は, class BigInteger に method
360: toByteArray が含まれてないため, OpenMath モジュールでは使用できません.
1.8 takayama 361: */
362: /*&eg
363: ***** JAVA
364: In order to use OMproxy, asir client om_*,
365: you need to install JDK.
366: The bin dir of the JDK must be in yur search path.
367: For example, you need to add the following line
1.10 takayama 368: to your .chsrc when your shell is csh
1.8 takayama 369: set path=(/usr/local/jdk1.1.8/bin $path)
1.10 takayama 370: Bash users put the following line to .bashrc
371: PATH=/usr/local/jdk1.1.8/bin:$PATH
372: export PATH
1.17 takayama 373:
1.33 takayama 374:
1.34 takayama 375: Where can I get jdk? : FreeBSD --- see /usr/ports/java/jdk
1.35 takayama 376: Linux --- http://java.sun.com/products/jdk/1.2/ja
377: http://java.sun.com/j2se/1.3/ja
378:
1.33 takayama 379:
1.17 takayama 380: Remark:
381: The Java interpreter of Kaffe 1.0.b4 does not contain the method
382: toByteArray in the class BigInteger.
383: So, it cannot be used for the OpenMath module.
1.8 takayama 384: */
385:
386: /*&C
387:
388:
1.6 takayama 389:
390:
391: */
392: /*&jp
393: ★ 動作環境
394:
395: */
396: /*&eg
1.7 takayama 397: ***** SYSTEM REQUIREMENTS
1.6 takayama 398:
399: */
400: /*&C
401:
1.34 takayama 402: OS: FreeBSD 3.3, 3.4, 4.x (Intel CPU),
1.11 takayama 403: Linux systems (Intel CPU):
1.15 takayama 404: Most Linux with libc5 and with libc6 (glibc 2.x).
1.7 takayama 405:
406: X window system is required.
407:
408: Most part of the OpenXM package may work on other versions of
1.11 takayama 409: FreeBSD 3.x and Linux, but we have not yet tested.
1.6 takayama 410:
411: */
412: /*&jp
1.8 takayama 413: 次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを
1.6 takayama 414: 必要とします.
415: */
416: /*&eg
417: The following modules require the listed softwares other than the standard
418: OS package.
419: */
420: /*&C
421:
1.27 takayama 422: (1) OpenXM/bin/oxmath : Mathematica Version 3.x or 4.x
1.6 takayama 423: (Mathematica server) at /usr/local/Mathematica
424: OpenXM/bin/math2ox [ see http://www.wolfram.com ]
425: Asir client functions m_*
426: (2) OpenXM/lib/java-support : JDK at /usr/local/jdk??
1.8 takayama 427: [ see the section on JAVA]
1.6 takayama 428: Asir client functions om_*
429: sm1 client functions om_*
1.7 takayama 430: (3) PHC pack (OpenXM/bin/phc) and asir client functions
431: phc_* run only on linux (glib5).
1.8 takayama 432: If you install the linux emulation^{note 1} on Free BSD, they run on
433: FreeBSD, too.
434: <note 1>
435: Add linux_enable="YES" in /etc/rc.conf
436: You need the following packages:
437: pkg_info | grep linu
438: linux_base-5.2 The base set of packages needed in Linux mode
439: linux_devtools-5.2 Packages needed for doing development in Linux mode
1.6 takayama 440:
441: */
442:
443:
1.1 takayama 444: /*&jp
1.7 takayama 445: 日本語版の注意.
1.3 maekawa 446: 注意 1.
447: asir で日本語のヘルプを利用するには,
1.1 takayama 448: PAGER=jless
449: export PAGER
1.3 maekawa 450: などで, 日本語を扱える PAGER を指定する必要があるかもしれません.
1.1 takayama 451: */
1.7 takayama 452:
453: /*&eg
454:
1.8 takayama 455: The installation is completed.
1.7 takayama 456:
457: */
458: /*&jp
459:
460: 以上.
461:
462: */
463:
1.1 takayama 464: /*&jp
1.7 takayama 465: ★ 文書
466:
467: OpenXM パッケージでもっとも充実しているクライアントは,
468: asir です.
469: asir のつかいかたは
470: OpenXM/doc/asir2000/man-jp.dvi
471: または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい.
472: asir 用 OpenXM クライアントライブラリのつかい方は,
473: OpenXM/doc/asir-contrib/cman-jp.dvi
474: を見て下さい. dvi の付くファイルは xdvi で見ることができます.
475:
476: OpenXM の設計の概要については,
477: OpenXM/doc/issac2000/issac2000.ps
478: を見て下さい.
479: ps の付くファイルは, ghostview で見ることができます.
480:
1.25 takayama 481: Mathematica client については, OpenXM/doc/ox_math を御覧ください.
482: sm1 client については, OpenXM/doc/kan96xx を御覧ください.
483: asir は, 多項式処理用のライブラリとしてリンクできます.
484: これについては, OpenXM/doc/oxlib を御覧ください.
485:
486: OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit
487: が参考になるかもしれません. Java のクラスについては
488: OpenXM/src/OpenMath が参考になるかもしれません.
489:
1.7 takayama 490: */
491: /*&eg
492: ***** DOCUMENTS
493:
494: The best OpenXM client in the OpenXM package is now
495: asir.
496: Documents on asir are
497: OpenXM/doc/asir2000/man-eg.dvi
498: OpenXM/doc/asir2000/html-eg (HTML)
499:
500: The file
501: OpenXM/doc/asir-contrib/cman-eg.dvi
502: is a document on OpenXM client libraries for asir.
1.1 takayama 503:
1.7 takayama 504: The design outline is described in
505: OpenXM/doc/issac2000/issac2000.ps
506:
507: Dvi files can be previewed by xdvi and
508: ps files can be previewed by ghostview.
1.25 takayama 509:
510: As to Mathematica client, see OpenXM/doc/ox_math.
511: As to sm1 client, see OpenXM/doc/kan96xx.
512: The asir can be used as a C library for polynomial manupulation.
513: See OpenXM/doc/oxlib.
514:
515: If you are interested in writing a server for OpenXM, please refer to
516: OpenXM/src/ox_toolkit and OpenXM/src/OpenMath.
517:
1.7 takayama 518: */
1.1 takayama 519:
520:
1.8 takayama 521: /*&eg
522:
523:
524: ***** A QUICK TOUR OF OPENXM BY ASIR
525:
526: */
1.7 takayama 527: /*&jp
1.1 takayama 528:
529:
1.8 takayama 530: ★ ASIR による使用例
1.1 takayama 531:
532:
1.3 maekawa 533: asir を動作させるには, key が必要です.
1.8 takayama 534: OpenXM/lib/asir/asir_key のコメントまたは起動時のメッセージをみて,
535: key を E-mail でとりよせて下さい.
1.1 takayama 536:
1.8 takayama 537: */
538: /*&C
539: ---------------- Call ox_sm1 from asir.
540: bash-2.03$ asir
541: This is Risa/Asir, Version 20000120.
542: Copyright (C) FUJITSU LABORATORIES LIMITED.
543: 1994-1999. All rights reserved.
544: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
545: [269] sm1_genericAnn([x^3-y^2,[s,x,y]]);
546: /* The annihilating ideal of (x^3-y^2)^s */
547: [-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s]
548:
549:
550: --------------- Call gnuplot from asir.
551: bash-2.03$ asir
552: This is Risa/Asir, Version 20000120.
553: Copyright (C) FUJITSU LABORATORIES LIMITED.
554: 1994-1999. All rights reserved.
555: xm Version 20000116. ox_help(0); ox_help("keyword"); for help message
556: [269] gnuplot("plot sin(x);");
557: 0
558: [270]
1.13 takayama 559:
560: */
561:
562: /*&jp
563:
564: ★ sm1 クライアントの利用例
565:
566: */
567: /*&eg
568:
569: ****** Example of the use of sm1 client
1.1 takayama 570:
1.8 takayama 571: */
1.1 takayama 572:
1.8 takayama 573: /*&C
574: -------------------------------------- call ox_asir from sm1
1.1 takayama 575: sm1
576: (oxasir.sm1) run ;
1.8 takayama 577: [(x^20-y^20) (x,y)] fctr pmat ; factorize x^20-y^20 by call ox_asir
1.1 takayama 578:
579:
1.8 takayama 580: */
1.1 takayama 581:
1.8 takayama 582: /*&jp
1.5 takayama 583: [著作権表示]
584: OpenXM/Copyright を御覧ください.
1.6 takayama 585: */
1.8 takayama 586: /*&eg
587: [COPYRIGHT]
588: See OpenXM/Copyright.
589: */
590:
591: /*&eg
592:
1.6 takayama 593:
1.7 takayama 594:
1.8 takayama 595: ***** TO COMPILE FROM A SOURCE *****
1.7 takayama 596:
597: */
1.6 takayama 598: /*&jp
1.8 takayama 599:
600:
1.6 takayama 601: ★ OpenXM パッケージの Make 法
1.36 takayama 602: FreeBSD 3.x, FreeBSD 4.x, Linux で動作するものと期待してます.
603: (Linux glib6 では, いまのところ, /usr/include/features.h
604: で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが,
1.20 takayama 605: 一部のソースを
606: -D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます
1.36 takayama 607: (setjmp と sigsetjmp の問題, dirty trick) 現在では問題ありません. )
1.8 takayama 608:
1.6 takayama 609: OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です.
1.36 takayama 610: ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 より
611: openxm-1.1.3.tar.gz
612: を get して展開して下さい.
613: tar xzvf openxm-1.1.3.tar.gz
614:
615: openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib
616: openxm-1.1.3/OpenXM_contrib2
617: が生成されます.
618:
1.6 takayama 619: cvs コミッタの場合次のようにしてソースをとりよせます.
620: */
621: /*&eg
622: * How to make OpenXM package?
1.36 takayama 623: We have tested the OpenXM package on FreeBSD 3.x, FreeBSD 4.x, Linux.
624: (On Linux glib6, we needed to define
1.8 takayama 625: #define __FAVOR_BSD 1
1.20 takayama 626: in /usr/include/features.h,
627: but now we are compiling some sources with -D_BSD_SOURCE
1.36 takayama 628: (setjmp vs sigsetjmp). So, you do not need to make this change.)
1.8 takayama 629:
1.6 takayama 630: Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2?
1.36 takayama 631: get
632: openxm-1.1.3.tar.gz
633: from ftp.math.kobe-u.ac.jp/OpenXM/1.1.3
634: Expand it by
635: tar xzvf openxm-1.1.3.tar.gz
636:
637: Then, you will get
638: openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib
639: openxm-1.1.3/OpenXM_contrib2
640:
641:
1.6 takayama 642: If you are a CVS committer, then you can get all sources as follows:
643: */
644: //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
645: //&C
646: //&jp これらがそろっていたらあとは次のように入力するだけです.
647: //&eg Check that you have these directories, then just type in the following commands
648: /*&C
649:
650: cd OpenXM/src
651: make configure
652: make
653: make install
654:
655: */
656: /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が,
657: OpenXM/src/OpenMath のコンパイルおよび利用には
658: には, jdk (java 環境) が必要です.
1.12 takayama 659:
660: Documents を生成するには, tex, ptex (ascii 日本語 tex), dvips, texinfo,
1.36 takayama 661: texi2html, nkf, jlatex2html
1.12 takayama 662: が必要です. 詳しくは Makefiles を見て下さい.
663: Document は, binary distribution の OpenXM/doc, OpenXM/lib
664: より得るのが簡単です.
1.6 takayama 665: */
666: /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica.
667: In order to use and compile OpenXM/src/OpenMath,
668: you need jdk (java environment).
1.12 takayama 669:
670: In order to generate the full documentation including Japanese documents,
671: you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html,
1.36 takayama 672: nkf, jlatex2html. See each Makefile.
1.12 takayama 673: The generated documents are in OpenXM/doc and OpenXM/lib
674: in the binary distribution.
1.15 takayama 675: If you do not like to install Japanese environment such as ptex,
676: type in R for the tex error prompt ? or
677: prepare empty shell scripts ptex and nkf.
1.36 takayama 678: */
679: /*&C
680:
681: */
682:
683: /*&eg
684: To run the system, you need to read OpenXM/rc/dot.cshrc or
685: OpenXM/rc/dot.bashrc by the source
686: command for setting proper environmental variable values.
687:
688: By the commands
689: cd OpenXM/rc
690: make
691: you can generate dot.cshrc and dot.bashrc.
692: Read these file by the source command in your .cshrc
693: or .bashrc (or .bash_profile).
694: */
695: /*&jp
696: システムを動かすには, OpenXM/rc/dot.cshrc または
697: OpenXM/rc/dot.bashrc を source コマンドで
698: よみこみ環境変数の値を適切に設定する必要があります.
699:
700: コマンド
701: cd OpenXM/rc
702: make
703: で dot.cshrc および dot.bashrc が生成されます.
704: これらのファイルを source コマンドで,
705: .cshrc または .bashrc (または .bash_profile) より読むようにして下さい.
1.6 takayama 706: */
707: /*&C
1.1 takayama 708:
1.6 takayama 709: */
1.1 takayama 710:
1.6 takayama 711: /*&jp
1.1 takayama 712:
1.8 takayama 713: [OpenXM 下のファイルの構成メモ]
1.3 maekawa 714: lib/asir には, asir のライブラリ, ox_asir 本体
715:
1.8 takayama 716: cd OpenXM/src/kxx ; make install-for-debug した場合,
1.3 maekawa 717: lib/sm1 は src/SSkan/Doc への symbolic link
718: であり, sm1 のライブラリファイルが格納されています.
719: lib/sm1/bin には, binaryfiles
1.1 takayama 720: sm1, ox_sm1, ox, ox_log, ox_sm1_*
1.3 maekawa 721: へのシンボリックリンクが格納されます.
1.8 takayama 722: このシンボリックリンクは src/kxx で make install-for-debug を実行することにより
1.3 maekawa 723: 作成されます.
1.1 takayama 724:
1.3 maekawa 725: sm1 が ox_asir を利用するのに必要なファイル.
1.1 takayama 726: lib/asir/ox_asir,
727: lib/sm1/bin/ox, lib/sm1/bin/ox_log (src/kxx/ox, src/kxx/ox_log)
728: lib/sm1/ox.sm1, lib/sm1/oxasir.sm1
729:
1.3 maekawa 730: asir が ox_sm1_forAsir を利用するのに必要なファイル:
1.1 takayama 731: lib/asir/ox_launch
1.3 maekawa 732: lib/sm1/bin/ox_sm1_forAsir (ox_sm1 へのリンク)
1.1 takayama 733: lib/asir/xm
1.3 maekawa 734: lib/sm1/ 以下の *.sm1 なるすべての ライブラリファイル.
1.1 takayama 735: callsm1.sm1 callsm1b.sm1
1.3 maekawa 736: (ox_sm1_forAsir の定義ファイル, src/kxx/oxserver00.c
737: ox_sm1 が ox_sm1_forAsir という名前で呼ばれるとこれらのファイルをロード.)
1.1 takayama 738:
1.3 maekawa 739: asir が ox_sm1_gnuplot を利用するのに必要なファイル:
1.1 takayama 740: lib/asir/ox_launch
1.3 maekawa 741: lib/sm1/bin/ox_sm1_gnuplot (ox_sm1 へのリンク, ox_sm1_gnuplot は fork して
1.4 maekawa 742: gnuplot4ox を実行します.)
1.1 takayama 743: lib/asir/xm
744: lib/sm1/callsm1.sm1, lib/sm1/gnuplot.sm1
1.3 maekawa 745: (ox_sm1_gnuplot の定義ファイル, src/kxx/oxserver00.c
746: ox_sm1 が ox_sm1_gnuplot という名前で呼ばれるとこれらのファイルをロード.)
1.4 maekawa 747: bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*)
1.1 takayama 748:
749: ----------------------------------------
1.3 maekawa 750: [開発者用メモ]
1.1 takayama 751:
1.3 maekawa 752: << sm1, ox_sm1, ox, oxlog の debug >>
753: binary file は各 directory の make install により
754: OpenXM/bin にコピーされますが,
755: debug 用にいちいちコピーするのは面倒なので,
1.8 takayama 756: OpenXM/src/kan96xx で make install-for-debug
757: OpenXM/src/kxx で make install-for-debug
1.3 maekawa 758: を実行すると,
759: OpenXM/bin/sm1, ox, ox_sm1, oxlog より,
1.1 takayama 760: OpenXM/src/kan96xx/Kan/sm1
761: OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog
1.3 maekawa 762: へのシンボリックリンクが作成されます.
1.1 takayama 763:
1.3 maekawa 764: [CVSコミッタ用メモ]
765: << OpenXM ディレクトリ配布版の作成方法 >>
1.1 takayama 766: rcvs export -rHEAD OpenXM
767: rcvs export -rHEAD OpenXM_contrib
768: rcvs export -rHEAD OpenXM_contrib2
1.21 takayama 769: cd OpenXM/src ; make generate-source-distribution
1.3 maekawa 770: して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip.
1.7 takayama 771: */
772:
773: /*&C
774:
775: */
776: /*&jp
777:
778: ★ Solaris に関する注意.
779: Solaris ではまだ問題が山積してます.
780: Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt
781: を見てください.
1.8 takayama 782: Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって
783: おきます.
1.7 takayama 784:
785: */
1.8 takayama 786: /*&eg
787: ***** COMPILE ON SOLARIS
788: There are a lot of troubles on Solaris for now.
789: At least,
790: /usr/ccs/bin must be at the top of the command search path to compile
791: on Solaris.
792: */
1.31 takayama 793: /*&jp
794:
795: ★ Redhat Linux 6.1 上でのコンパイル
796: m4-1.4 と autoconf-2.13 が必要.
797: (あらかじめはいっている, autoconf は 2.12 でありこれは
798: gnuplot の make で不具合を生じます.)
1.8 takayama 799:
1.31 takayama 800: */
801: /*&eg
802: ***** COMPILE ON Redhat Linux 6.1
803: m4-1.4 and autoconf-2.13 are required.
804: (Preinstalled autoconf is version 2.12. It causes a trouble when
805: you build gnuplot.)
806: */
1.7 takayama 807:
808: /*&C
809:
1.1 takayama 810: */
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