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
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
