Ralf, In axiom-wiki I use the following commands. The first one translates BOOT to Lisp and the second one compiles the lisp and loads it into the running image. For example:
(1) -> )lisp (boottran::boottocl "~/fricas-src/src/interp/trace.boot" "trace.clisp") trace.clisp PRODUCED Value = "trace.clisp PRODUCED" (1) -> )lisp (load (compile-file "trace.clisp")) ; compiling file "/home/wspage/trace.clisp" (written 08 DEC 2011 07:45:50 PM): ; file: /home/wspage/trace.clisp ... ; caught 23 WARNING conditions ; caught 13 STYLE-WARNING conditions ; printed 2 notes ; /home/wspage/trace.fasl written ; compilation finished in 0:00:00.272 ... STYLE-WARNING: redefining BOOT::|compileBoot| in DEFUN Value = T (1) -> -- There may be other ways to do this in fewer steps. But I hope that helps. Regards, Bill Page. On Thu, Dec 8, 2011 at 6:57 PM, Ralf Hemmecke <[email protected]> wrote: > Hello, > > I'd like to fix ax.boot. > > http://groups.google.com/group/fricas-devel/browse_thread/thread/c7d1c908a07758d2 > > From my limite knowledge of boot and lisp, I suppose it should be possible > to recompile a (modified) boot function from the FriCAS command line. > > Can someone tell me how exactly that should be done? > In particular, assume that I want to recompile ax.boot from within fricas. > Of course, I'd also like to immediately use the (modified) boot function. > > If all can be done by piping something into AXIOMsys that would be even > better. > > Thanks in advance. > -- 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 [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
