Re: [Axiom-developer] wh-sandbox and aldor, now silver

[Franz Lehner]

Dear all,

thanks for all your replies.
I did some more linking and got make to proceed up to
LSP->O: Error 255
in one go. Being clueless for the rest,
I switched to axiom.silver 580.

Some notes:
make stops at libXpm.a, which is in /usr/lib/libXpm.a under
Debian etch, which someone already noted in ubuntu. Simply replacing 
all occurences of 
XLIB= /usr/X11R6/lib
with
XLIB= /usr/lib

in Makefile.linux.pamphlet fixes this.

Aldor now compiles fine as well, even without any error message
if one does

     for pp in *.pamphlet; do document $pp;done

instead of only

     document Makefile.pamphlet

Thus there is a working amd64 environment now.

Unfortunately

    --enable-checking

does not work on silver.
Being completely illiterate in lisp, I blindly applied
Waldek's method from an earlier mail

+++ wh-sandbox2/src/interp/interp-proclaims.lisp        2007-04-12 
15:39:58.0000
00000 +0200
@@ -1,4 +1,6 @@
-
+(eval-when (:execute :compile-toplevel :load-toplevel)
+  (proclaim
+    '(optimize (safety 3))))
  (IN-PACKAGE "USER")
  (PROCLAIM '(FTYPE (FUNCTION (*) (VALUES T T)) BOOT:|ReadLine|))
  (PROCLAIM


it does compile, but then leads to

    >> System error:
    The function |output| is undefined.

and consequently no results are shown.
Is there a way to fix this?

Franz