Re: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc.

[root]

Bill,

(btw, it appears that i've been automatically unsubscribed from
the axiom mailing lists due to excessive mail bounces. I've just
now fixed that. sigh.)

The build sequence should be:

obj/linux/bin/lisp      ...  contains the socket extensions
obj/linux/bin/bootsys   ...  contains the boot -> lisp compiler
                             used to compile the interp/*.boot files
obj/linux/bin/depsys    ...  contains macros used by axiom
                             used for compiling the intermediate lisp files
obj/linux/bin/interpsys ...  contains the final image
                             used to compile the algebra
obj/linux/bin/AXIOMsys       contains the final image
                             a clean copy for the end user


I've attached the interesting part of a console log. At this point
the Axiom build is making the transition from building the BOOTSTRAP
algebra to building the non-BOOTSTRAP algebra.

Notice that the BOOTSTRAP algebra is just lisp code. This code is 
compiled in a DEPSYS image so that macros are properly expanded.
However it is clear that the BOOTSTRAP lisp code was not compiled by
the "new" compiler.

Next we see the transition to compiling the non-BOOTSTRAP algebra.
This is done in the interpsys image. It is also done in an image 
that has access to only the BOOTSTRAP algebra code. Thus the 
new compiler might not have all of the algebra-defined replacements
available at compile time. Notice the autoload files that contain
the optimizations.

A second or third round of compiles will expose the algebra-based
optimizations and these will be compiled into the code. Since these
are only optimizations the final results should not be affected.

Also note that the BOOTSTRAP algebra is recompiled as the last step
of building the algebra from scratch so that it can use the circular
definitions.

==========================================================================
====  running DEPSYS image ===============================================
==========================================================================

BOOT>0 making /home/arch/axiom--hyperdoc--1--base-0/int/algebra/VECTOR.lsp from 
/home/arch/axiom--hyperdoc--1--base-0/src/algebra/vector.spad.pamphlet
0 making /home/arch/axiom--hyperdoc--1--base-0/int/algebra/VECTOR.o from 
/home/arch/axiom--hyperdoc--1--base-0/int/algebra/VECTOR.lsp

>
Compiling VECTOR.lsp.
End of Pass 1.  
End of Pass 2.  
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling VECTOR.o.
#p"VECTOR.o"

BOOT>0 making /home/arch/axiom--hyperdoc--1--base-0/int/algebra/AHYP.spad from 
/home/arch/axiom--hyperdoc--1--base-0/src/algebra/trigcat.spad.pamphlet

==========================================================================
====  running AXIOMSYS image =============================================
==========================================================================


0 making /home/arch/axiom--hyperdoc--1--base-0/int/algebra/AHYP.NRLIB from 
/home/arch/axiom--hyperdoc--1--base-0/int/algebra/AHYP.spad
                        AXIOM Computer Algebra System 
              Version of Friday November 19, 2004 at 16:36:16 
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------
 
   Using local database 
/home/arch/axiom--hyperdoc--1--base-0/src/share/algebra/compress.daase..   
Using local database 
/home/arch/axiom--hyperdoc--1--base-0/src/share/algebra/interp.daase..
   Using local database 
/home/arch/axiom--hyperdoc--1--base-0/src/share/algebra/operation.daase..
   Using local database 
/home/arch/axiom--hyperdoc--1--base-0/src/share/algebra/category.daase..
   Using local database 
/home/arch/axiom--hyperdoc--1--base-0/src/share/algebra/browse.daase..
(1) ->    Loading 
/home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/apply.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/c-doc.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/c-util.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/profile.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/category.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/compiler.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/define.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/functor.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/info.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/iterator.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/modemap.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/nruncomp.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/package.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/htcheck.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/xruncomp.
   Compiling AXIOM source code from file 
      /home/arch/axiom--hyperdoc--1--base-0/int/algebra/AHYP.spad using
      old system compiler.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/parsing.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/bootlex.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/def.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/fnewmeta.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/metalex.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/metameta.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/parse.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/postpar.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/postprop.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/preparse.
   AHYP abbreviates category ArcHyperbolicFunctionCategory 
------------------------------------------------------------------------
   initializing NRLIB AHYP for ArcHyperbolicFunctionCategory 
   compiling into NRLIB AHYP 

;;;     ***       |ArcHyperbolicFunctionCategory| REDEFINED
Time: 0 SEC.

   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/bc-matrix.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/bc-misc.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/bc-solve.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/bc-util.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/ht-util.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/htsetvar.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/ht-root.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/br-con.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/br-data.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/showimp.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/br-op1.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/br-op2.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/br-search.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/br-util.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/topics.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/br-prof.
   Loading /home/arch/axiom--hyperdoc--1--base-0/mnt/linux/autoload/br-saturn.
   finalizing NRLIB AHYP 
   Processing ArcHyperbolicFunctionCategory for Browser database:
--------(acosh ($ $))---------
--------(acoth ($ $))---------
--------(acsch ($ $))---------
--------(asech ($ $))---------
--------(asinh ($ $))---------
--------(atanh ($ $))---------
--------constructor---------
Compiling /home/arch/axiom--hyperdoc--1--base-0/int/algebra/AHYP.NRLIB/code.lsp.