[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies,
From: |
root |
Subject: |
Re: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc. |
Date: |
Mon, 17 Jan 2005 22:31:15 -0500 |
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.
- RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc., Page, Bill, 2005/01/11
- RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc., Page, Bill, 2005/01/17
- RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc., Page, Bill, 2005/01/18
- RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc., Page, Bill, 2005/01/18