version 1.1, 1999/12/15 03:30:13 |
version 1.2, 1999/12/15 05:53:04 |
|
|
%% $OpenXM$ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.1 1999/12/15 03:30:13 takayama Exp $ |
OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
|
|
/*&jp |
/*&jp |
$B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B |
$B!z(B OpenXM $B%Q%C%1!<%8$N(B Make $BK!(B |
(FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B.) |
FreeBSD 2.2.8, FreeBSD 3.3, Linux $B$GF0:n$9$k$b$N$H4|BT$7$F$^$9(B. |
OpenXM, OpenXM_contrib, OpenXM_contrib2 $B$,I,MW$G$9(B. |
OpenXM, OpenXM_contrib, OpenXM_contrib2 $B$,I,MW$G$9(B. |
cvs $B%3%_%C%?$N>l9g<!$N$h$&$K$7$F%=!<%9$r$H$j$h$;$^$9(B. |
cvs $B%3%_%C%?$N>l9g<!$N$h$&$K$7$F%=!<%9$r$H$j$h$;$^$9(B. |
*/ |
*/ |
/*&eg |
/*&eg |
How to make OpenXM package? |
* How to make OpenXM package? |
(We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.) |
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
If you are a CVS committer, then you can get all sources as follows: |
If you are a CVS committer, then you can get all sources as follows: |
*/ |
*/ |
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
|
//&C |
//&jp $B$3$l$i$,$=$m$C$F$$$?$i$"$H$O<!$N$h$&$KF~NO$9$k$@$1$G$9(B. |
//&jp $B$3$l$i$,$=$m$C$F$$$?$i$"$H$O<!$N$h$&$KF~NO$9$k$@$1$G$9(B. |
//&eg Check that you have these directories, then just type in the following commands |
//&eg Check that you have these directories, then just type in the following commands |
/*&C |
/*&C |
Line 21 How to make OpenXM package? |
|
Line 22 How to make OpenXM package? |
|
cd OpenXM/src |
cd OpenXM/src |
make configure |
make configure |
make |
make |
|
|
*/ |
*/ |
|
/*&jp $B$J$*(B, OpenXM/src/ox_math $B$NMxMQ$K$O(B Mathematica $B$,(B, OpenXM/src/OpenMath |
|
$B$K$O(B, jdk (java $B4D6-(B) $B$,I,MW$G$9(B. |
|
*/ |
|
/*&eg In order to use OpenXM/src/ox_math, you need Mathematica. |
|
In order to use OpenXM/src/OpenMath, you need jdk (java environment). |
|
*/ |
/*&C |
/*&C |
|
|
*/ |
*/ |
Line 30 How to make OpenXM package? |
|
Line 38 How to make OpenXM package? |
|
OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B, $B<!$N$h$&$K$7$^$9(B. |
OpenXM $B$r%[!<%`$ND>2<$KE83+$7$?>l9g(B, $B<!$N$h$&$K$7$^$9(B. |
*/ |
*/ |
/*&eg |
/*&eg |
How to use the OpenXM package? |
* How to use the OpenXM package? |
If you have OpenXM under your home directory, do as follows. |
If you have OpenXM under your home directory, do as follows. |
*/ |
*/ |
/*&C |
/*&C |
|
|
cp OpenXM/rc/asirrc ~/.asirrc |
cp OpenXM/rc/asirrc ~/.asirrc |
source OpenXM/rc/bashrc (in case of bash) |
source OpenXM/rc/bashrc (in case of bash) |
source OpenXM/rc/cshrc (in case of csh) |
source OpenXM/rc/cshrc (in case of csh) |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM/rc/bashrc, OpenXM/rc/cshrc $B$r(B |
OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM/rc/bashrc, OpenXM/rc/cshrc $B$r(B |
Line 46 OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM |
|
Line 56 OpenXM $B$r%[!<%`$ND>2<$KE83+$7$F$J$$>l9g$O(B OpenXM |
|
If you have OpenXM in a different place, edit OpenXM/rc/bashrc or |
If you have OpenXM in a different place, edit OpenXM/rc/bashrc or |
OpenXM/rc/cshrc properly. |
OpenXM/rc/cshrc properly. |
*/ |
*/ |
|
//&C |
|
//&jp asir $B$NMxMQ$K$O(B key $B$,I,MW$G$9(B. $B0J2<$N%U%!%$%k$r8fMw$/$@$5$$(B. |
|
//&eg You need key to use asir. See the following file: |
|
//&C OpenXM/lib/asir/asir_key |
|
//&C |
/*&jp |
/*&jp |
$BCm0U(B 1. |
$BCm0U(B 1. |
asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B, |
asir $B$GF|K\8l$N%X%k%W$rMxMQ$9$k$K$O(B, |
|
|
ptex cman.texi ($BF|K\8l(B) |
ptex cman.texi ($BF|K\8l(B) |
tex cman-eg.texi ($B1Q8l(B) |
tex cman-eg.texi ($B1Q8l(B) |
$B$9$l$P$h$m$7$$(B. |
$B$9$l$P$h$m$7$$(B. |
Online manual : ox_help(xxx) $B$O8=:_0l;~E*$K$D$+$($^$;$s(B. |
Online manual : ox_help(xxx) $B$rMxMQ$9$k$K$O(B, |
|
(cd OpenXM/src/asir-contrib/packages/doc ; make install-help) |
|
$B$H$7$^$9(B. |
|
|
$BCm0U(B: |
$BCm0U(B: |
$OpenXM_HOME/bin $B$N2<$N(B, fep, phc $B$O(B, $B$$$^$N$H$3$m(B |
$OpenXM_HOME/bin $B$N2<$N(B, fep, phc $B$O(B, $B$$$^$N$H$3$m(B |