version 1.7, 2000/01/27 01:13:17 |
version 1.14, 2000/03/20 00:24:34 |
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> |
<HTML> |
<HTML> |
<!-- |
<!-- |
$OpenXM: OpenXM/doc/OpenXM-web/ERRATA.html,v 1.6 2000/01/26 07:48:11 takayama Exp $ |
$OpenXM: OpenXM/doc/OpenXM-web/ERRATA.html,v 1.13 2000/03/19 10:54:55 takayama Exp $ |
--> |
--> |
<HEAD> |
<HEAD> |
<LINK REV=MADE HREF="mailto:takayama@math.sci.kobe-u.ac.jp"> |
<LINK REV=MADE HREF="mailto:takayama@math.sci.kobe-u.ac.jp"> |
<META http-equiv="Content-Type" content="text/html; charset=us-ascii"> |
<META http-equiv="Content-Type" content="text/html; charset=us-ascii"> |
<TITLE>ERRATA (20000124), OpenXM </TITLE> |
<TITLE>ERRATA for 1.1.2 (May 20, 2000), OpenXM </TITLE> |
</HEAD> |
</HEAD> |
<BODY> |
<BODY> |
|
|
<H1>ERRATA (20000124) (OpenXM) : IMPORTANT </H1> |
<H1>ERRATA for 1.1.2 (May 20, 2000) : IMPORTANT </H1> |
|
|
<OL> |
<OL> Nothing for now. |
|
<PRE> |
|
|
<LI> (OpenXM/doc/install-??.txt) |
</PRE> |
The line "source .cshrc" should be added at the last of .login |
|
in some unix distributions. |
|
|
|
<LI> (OpenXM/doc/install-??.txt) |
|
<PRE> |
|
Wrong: source /xxx/yyy/OpenXM/rc/dot.bash |
|
===> Correct: source /xxx/yyy/OpenXM/rc/dot.bashrc |
|
</PRE> |
|
|
|
<LI> (OpenXM/doc/install-??.txt) |
|
<PRE> |
|
Wrong: or read dot.bash or dot.cshrc file by the source command. |
|
===> Correct : or read dot.bashrc or dot.cshrc file by the source command. |
|
</PRE> |
|
<LI> (OpenXM/rc/cshrc, OpenXM/rc/bashrc, OpenXM/bin/gp) |
|
<PRE> |
|
Pari gp needs a shared library libpari.so.2.0. |
|
So, LD_LIBRARY_PATH must be set properly to use "gp". |
|
Append the following lines to OpenXM/rc/bashrc and |
|
OpenXM/rc/cshrc respectively and type in "make" in OpenXM/rc to generate |
|
dot.bashrc, dot.cshrc and openxm. |
|
bashrc : |
|
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib:$OpenXM_HOME/lib |
|
export LD_LIBRARY_PATH |
|
cshrc : |
|
if ( ${?LD_LIBRARY_PATH} == 1) then |
|
setenv LD_LIBRARY_PATH $LD_LIBRARY_PATH:/usr/lib:$OpenXM_HOME/lib |
|
else |
|
setenv LD_LIBRARY_PATH /usr/lib:$OpenXM_HOME/lib |
|
endif |
|
</PRE> |
|
|
|
|
|
</OL> |
</OL> |
|
|
<H1>ERRATA (20000124) (OpenXM) : Minor corrections </H1> |
<H1>ERRATA for 1.1.2 (May 20, 2000) : Minor corrections </H1> |
|
|
<OL> |
<LI> |
|
<PRE> |
|
|
|
[1] openxm01-1.1.2.tar.gz (source distribution): |
|
bash$ diff -s Makefile.old Makefile |
|
13c13 |
|
< (cd packages/doc ; make install) |
|
--- |
|
> -(cd packages/doc ; make install) |
|
|
</OL> |
|
|
|
|
</PRE> |
|
|
|
<LI> OpenXM/lib/libasir*.a is experimental in 1.1.2. |
|
There might be troubles. Please report them. |
|
|
|
|
</BODY> |
</BODY> |