Ralf,

Apparently the Aldor interface build uses lisp trace and the changes
discussed here on another thread about preventing infinite loops and
limiting the output of the )trace command break this process. Have I
understood correctly that the output of trace might differ
significantly between versions of Lisp?  Is using trace a good idea?
Is there a more robust way to do the same thing?

I'll try this again setting *print-level* as Tim Daly suggests.
Perhaps that will work better. Do you think (setf *print-level* 1)
will be sufficient?

I am using the newest FriCAS sources plus one small patch:

wsp...@debian:~/fricas-build$ svn info ~/fricas-sources
Path: /home/wspage/fricas-sources
URL: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk
Repository Root: https://fricas.svn.sourceforge.net/svnroot/fricas
Repository UUID: b0c55286-4f34-0410-a049-a1e7e93b0762
Revision: 686
Node Kind: directory
Schedule: normal
Last Changed Author: whebisch
Last Changed Rev: 686
Last Changed Date: 2009-10-18 16:09:56 -0400 (Sun, 18 Oct 2009)

wsp...@debian:~/fricas-build$ svn status ~/fricas-sources
M      /home/wspage/fricas-sources/src/lisp/fricas-lisp.lisp
wsp...@debian:~/fricas-build$ svn diff ~/fricas-sources
Index: /home/wspage/fricas-sources/src/lisp/fricas-lisp.lisp
===================================================================
--- /home/wspage/fricas-sources/src/lisp/fricas-lisp.lisp       (revision 686)
+++ /home/wspage/fricas-sources/src/lisp/fricas-lisp.lisp       (working copy)
@@ -19,6 +19,8 @@

 #-:cmu
 (defun set-initial-parameters()
+    (setf *print-circle* t)
+    (setq *print-array* nil)
     (setf *read-default-float-format* 'double-float))

 #+:cmu
wsp...@debian:~/fricas-build$ ../fricas-sources/configure
-with-lisp=sbcl --enable-aldor
...
wsp...@debian:~/fricas-build$ nohup make &
...
wsp...@debian:~/fricas-build$ tail -25 nohup.out
echo ')lisp (generate-ax-file "BASTYPE" (quote (BASTYPE)) (quote ()))'
>> ap/BASTYPE.lsp
DAASE=/home/wspage/fricas-build/target/i686-pc-linux
/home/wspage/fricas-build/target/i686-pc-linux/bin/AXIOMsys <
ap/BASTYPE.lsp > tmp/BASTYPE.log
test -f ap/BASTYPE.ap
ar r al/libaxiom_BASTYPE.al ao/lang.ao ao/boolean0.ao ao/minimach.ao
ao/subsetc.ao
ar: creating al/libaxiom_BASTYPE.al
aldor -Wname=axiom -Mno-abbrev -Mpreview -Y al -L
AxiomLib=axiom_BASTYPE -fao=ao/BASTYPE.ao ap/BASTYPE.ap
echo ')lisp (load "../../../fricas-sources/src/aldor/gendepap.lsp")' >
ap/KOERCE.lsp
echo ')lisp (trace |makeAxExportForm|)' >> ap/KOERCE.lsp
echo ')lisp (trace |modemapToAx|)' >> ap/KOERCE.lsp
echo ')lisp (trace getdatabase)' >> ap/KOERCE.lsp
echo ')lisp (generate-ax-file "KOERCE" (quote (KOERCE)) (quote ()))'
>> ap/KOERCE.lsp
DAASE=/home/wspage/fricas-build/target/i686-pc-linux
/home/wspage/fricas-build/target/i686-pc-linux/bin/AXIOMsys <
ap/KOERCE.lsp > tmp/KOERCE.log
test -f ap/KOERCE.ap
ar r al/libaxiom_KOERCE.al ao/lang.ao ao/boolean0.ao ao/minimach.ao
ao/subsetc.ao
ar: creating al/libaxiom_KOERCE.al
aldor -Wname=axiom -Mno-abbrev -Mpreview -Y al -L
AxiomLib=axiom_KOERCE -fao=ao/KOERCE.ao ap/KOERCE.ap
Compiler bug...Bug: Inappropriate shared structure for reposition
make[3]: *** [ao/KOERCE.ao] Error 1
rm ao/.dir
make[3]: Leaving directory `/home/wspage/fricas-build/src/aldor'
make[2]: *** [al/libaxiom.al] Error 2
make[2]: Leaving directory `/home/wspage/fricas-build/src/aldor'
make[1]: *** [all-aldor] Error 2
make[1]: Leaving directory `/home/wspage/fricas-build/src'
make: *** [all-src] Error 2
wsp...@debian:~/fricas-build$ gcc --version
gcc (Debian 4.3.2-1.1) 4.3.2
...
wsp...@debian:~/fricas-build$ sbcl -version
This is SBCL 1.0.30, an implementation of ANSI Common Lisp.
...

This was run under 32 bit Debian 5.0.

Regards,
Bill Page.

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to fricas-devel@googlegroups.com
To unsubscribe from this group, send email to 
fricas-devel+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to