diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 89 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 2039 |
2 files changed, 89 insertions, 2039 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 633bd221..67abf263 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1,3 +1,92 @@ +## Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. +## All rights reserved. +## Copyright (C) 2007-2010, Gabriel Dos Reis. +## All rights reserved. +## +## Redistribution and use in source and binary forms, with or without +## modification, are permitted provided that the following conditions are +## met: +## +## - Redistributions of source code must retain the above copyright +## notice, this list of conditions and the following disclaimer. +## +## - Redistributions in binary form must reproduce the above copyright +## notice, this list of conditions and the following disclaimer in +## the documentation and/or other materials provided with the +## distribution. +## +## - Neither the name of The Numerical ALgorithms Group Ltd. nor the +## names of its contributors may be used to endorse or promote products +## derived from this software without specific prior written permission. +## +## THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS +## IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED +## TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A +## PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER +## OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, +## EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +## PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR +## PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF +## LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING +## NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS +## SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +## + +# * Adding new algebra +# +# This is a complex process by its very nature. Developers and Maintainers +# who undertake the process need to understand quite a lot of detail. The +# ultimate steps to add algebra are tedious but simple. Note that only +# algebra code that gets shipped with the system needs to undergo this +# process. User code can be compiled once the distributed algebra exists +# and does not need either this Makefile or this installation process. +# +# NOTE: If you add new algebra to this file you must also update +# +# \File{exposed.lsp.pamphlet} +# +# otherwise the new algebra won't be loaded by the interpreter when needed. +# +# The first idea that you need to understand is the overall process +# of adding algebra code. Lets assume that you have a brand new spad +# file, called \File{foo.spad} containing a simple domain `BAR'. The +# steps in the process of adding this file are: +# 1. Find out where the algebra code lives in the lattice. +# You do this by +# a. starting a new interpsys session +# b. collecting all the names of the algebra files BAR requires +# c. determining which layer each of the required files resides +# d. determine the highest layer (e.g. 14) that contains +# the required files +# +# 2. insert the documentation into the next layer (e.g. 15) +# +# 3. insert the [[\${OUT}/BAR.$(FASLEXT)]] file into the layer's file list +# +# * Rebuilding the algebra from scratch +# +# Compile order is important. Here we try to define the ordered lattice +# of spad file dependencies. However this is, in reality, a graph rather +# than a lattice. In order to break cycles in this graph we explicitly +# cache a few of the intermediate generated lisp code for certain files. +# These are marked throughout (both here and in the various pamphlet +# files) with the word {\bf BOOTSTRAP}. +# +# If we take a cycle such as `RING' we discover that in order to +# compile the spad code we must load the compiled definition of [[RING]]. +# In this case we must compile the cached lisp code before we try to +# compile the spad file. +# +# It is highly recommended that you try to become a developer of OpenAxiom +# and read the archived mailing lists before you decide to change a +# cached file. In the fullness of time we will rewrite the whole algebra +# structure into a proper lattice if possible. Alternatively we'll +# reimplement the compiler to handle graphs. Or deeply adopt the +# extensible domains. Whatever we do will be much discussed (and cause +# much disgust) around the campfire. If you come up with a brilliant +# plan that gets adopted we'll even inscribe your name on a log and add +# it to the fire. + IN=$(srcdir) OUT=$(axiom_targetdir)/algebra diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet deleted file mode 100644 index d8c1d96f..00000000 --- a/src/algebra/Makefile.pamphlet +++ /dev/null @@ -1,2039 +0,0 @@ -%% Oh Emacs, this is a -*- Makefile -*-, so give me tabs. -\documentclass{article} -\usepackage{open-axiom} - -\title{\$SPAD/src/algebra Makefile} -\author{Timothy Daly \and Gabriel Dos~Reis} - -\begin{document} -\maketitle - -\begin{abstract} -\end{abstract} -\eject - -\tableofcontents -\eject - -\section{Adding new algebra} - -This is a complex process by its very nature. Developers and Maintainers -who undertake the process need to understand quite a lot of detail. The -ultimate steps to add algebra are tedious but simple. Note that only -algebra code that gets shipped with the system needs to undergo this -process. User code can be compiled once the distributed algebra exists -and does not need either this Makefile or this installation process. - -NOTE: If you add new algebra to this file you must also update - -\File{src/algebra/exposed.lsp.pamphlet} - -otherwise the new algebra won't be loaded by the interpreter when needed. - -Since understanding is the key to making correct changes to this file -I'll work on explaining the details of why things need to exist. - -The first idea that you need to understand is the overall process -of adding algebra code. Lets assume that you have a brand new spad -file, called \File{foo.spad} containing a simple domain [[BAR]]. The -steps in the process of adding this file are: -\begin{enumerate} -\item Find out where the algebra code lives in the lattice. - -You do this by -\begin{enumerate} -\item starting a new interpsys session -\item collecting all the names of the algebra files BAR requires -\item determining which layer each of the required files resides -\item determine the highest layer (e.g. 14) that contains the required files -\end{enumerate} - -\item insert the documentation into the next layer (e.g. 15) -\item insert the [[\${OUT}/BAR.$(FASLEXT)]] file into the layer's file list -\end{enumerate} - -\section{Rebuilding the algebra from scratch} - -Compile order is important. Here we try to define the ordered lattice -of spad file dependencies. However this is, in reality, a graph rather -than a lattice. In order to break cycles in this graph we explicitly -cache a few of the intermediate generated lisp code for certain files. -These are marked throughout (both here and in the various pamphlet -files) with the word {\bf BOOTSTRAP}. - -If we take a cycle such as [[RING]] we discover that in order to -compile the spad code we must load the compiled definition of [[RING]]. -In this case we must compile the cached lisp code before we try to -compile the spad file. - -It is highly recommended that you try to become a developer of Axiom -and read the archived mailing lists before you decide to change a -cached file. In the fullness of time we will rewrite the whole algebra -structure into a proper lattice if possible. Alternatively we'll -reimplement the compiler to handle graphs. Or deeply adopt the -extensible domains. Whatever we do will be much discussed (and cause -much disgust) around the campfire. If you come up with a brilliant -plan that gets adopted we'll even inscribe your name on a log and add -it to the fire. - -In the code that follows we find the categories, packages and domains -that compile with no dependencies and call this set ``layer 0''. Next -we find the categories, packages and domains that will compile using -only ``layer 0'' code and call this ``layer 1''. We walk up the -lattice in this fashion adding layers. Note that at layer 3 this -process runs into cycles and we create the ``layer 3 bootstrap'' -stanzas before continuing upward. - -\section{The Algebra Lattice Layers} - -\subsection{Layer 0 Bootstrap} - -\subsubsection{Completed spad files} - -\begin{verbatim} -si.spad.pamphlet (INS SINT) -\end{verbatim} - -Note well that none of the algebra stanzas should include these -files in the preconditions otherwise we have an infinite compile -loop. These files are originally bootstrapped from lisp code -when we build the system for the first time but they are -forcibly recompiled at the end of the build so they reflect -current code (just in case someone changes the spad code but -does not re-cache the generated lisp). If you add these files -as preconditions (note that they are all in the \File{strap/} -directory rather than the {\bf OUT} directory like everything -else) then the final recompile will invalidate all of the -rest of the algebra targets which will get rebuilt again causing -these targets to be out of date. The rest of the loop is left -up to the student. - -The bootstrap process works because first we ask for the compiled -lisp code stanzas (the \File{strap/BAR.$(FASLEXT)} files), THEN we ask for -the final algebra code stanzas (the [[\${OUT}/BAR.$(FASLEXT)]] files). This -is a very subtle point so think it through carefully. Notice that -this is the only layer calling for \File{strap/} files. All other -layers call for [[\${OUT}]] files. If you break this the world -will no longer compile so don't change it if you don't understand it. - -\begin{verbatim} -LAYER0BOOTSTRAP=${OUT}/XPR.$(FASLEXT) -\end{verbatim} - -<<layer0 bootstrap>>= -# The list of objects necessary to bootstrap the whole algebra library. -axiom_algebra_layer_strap = \ - $(addprefix strap/,$(axiom_algebra_bootstrap)) - -axiom_algebra_layer_strap_objects = \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_strap)) - -@ -<<layer0 copy>>= - -axiom_algebra_bootstrap = \ - ABELGRP ABELGRP- ABELMON ABELMON- \ - ABELSG ABELSG- ALAGG BOOLEAN \ - CABMON CHAR CLAGG CLAGG- \ - COMRING DFLOAT DIFRING \ - DIVRING DIVRING- ENTIRER \ - EUCDOM EUCDOM- FFIELDC \ - FFIELDC- FPS FPS- GCDDOM \ - GCDDOM- HOAGG HOAGG- ILIST \ - INS INS- INT INTDOM \ - INTDOM- ISTRING LIST LNAGG \ - LNAGG- LSAGG LSAGG- MONOID \ - MONOID- MTSCAT NNI OINTDOM \ - ORDRING ORDRING- OUTFORM PI \ - POLYCAT POLYCAT- \ - QFCAT QFCAT- RCAGG \ - RCAGG- RING RING- \ - RNG RNS RNS- SETAGG \ - SETAGG- SINT \ - STAGG STAGG- SYMBOL \ - UFD UFD- \ - URAGG URAGG- \ - VECTOR - -axiom_algebra_bootstrap_last_layer = \ - DFLOAT \ - DIVRING DIVRING- \ - EUCDOM EUCDOM- FFIELDC \ - FFIELDC- FPS FPS- \ - INS INS- INT \ - MTSCAT NNI \ - OUTFORM PI \ - POLYCAT POLYCAT- \ - QFCAT QFCAT- \ - RNS RNS- \ - SINT \ - SYMBOL \ - VECTOR - - -axiom_algebra_bootstrap_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_bootstrap)) - -axiom_algebra_bootstrap_last_layer_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT), $(axiom_algebra_bootstrap_last_layer))) - -@ - -\subsection{Layer 0} - -<<layer0>>= - -$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/EVALAB.$(FASLEXT): $(OUT)/IEVALAB.$(FASLEXT) -$(OUT)/ELTAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) - -$(OUT)/UTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/AHYP.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/PRIMCAT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/ATTREG.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/CONDUIT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/CFCAT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) - - - -$(OUT)/AGG.$(FASLEXT) $(OUT)/AGG-.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) -$(OUT)/ELTAGG.$(FASLEXT): $(OUT)/AGG.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/IXAGG.$(FASLEXT): $(OUT)/ELTAGG.$(FASLEXT) $(OUT)/EVALAB.$(FASLEXT) -$(OUT)/RCAGG.$(FASLEXT): $(OUT)/EVALAB.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) \ - $(OUT)/AGG.$(FASLEXT) -$(OUT)/QUAGG.$(FASLEXT): $(OUT)/BGAGG.$(FASLEXT) -$(OUT)/SKAGG.$(FASLEXT): $(OUT)/BGAGG.$(FASLEXT) -$(OUT)/DQAGG.$(FASLEXT): $(OUT)/QUAGG.$(FASLEXT) $(OUT)/SKAGG.$(FASLEXT) -$(OUT)/PRQAGG.$(FASLEXT): $(OUT)/BGAGG.$(FASLEXT) -#$(OUT)/DLAGG.$(FASLEXT): $(OUT)/RCAGG.$(FASLEXT) -#$(OUT)/URAGG.$(FASLEXT): $(OUT)/RCAGG.$(FASLEXT) -#$(OUT)/BRAGG.$(FASLEXT): $(OUT)/RCAGG.$(FASLEXT) -$(OUT)/FLAGG.$(FASLEXT): $(OUT)/BMODULE.$(FASLEXT) $(OUT)/PID.$(FASLEXT) \ - $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) \ - $(OUT)/LINEXP.$(FASLEXT) $(OUT)/PATMAB.$(FASLEXT) \ - $(OUT)/REAL.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ - $(OUT)/DIFFSPC.$(FASLEXT) -$(OUT)/A1AGG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/BOOLE-.$(FASLEXT) \ - $(OUT)/FLAGG.$(FASLEXT) $(OUT)/LOGIC-.$(FASLEXT) \ - $(OUT)/ORDTYPE-.$(FASLEXT) -$(OUT)/SRAGG.$(FASLEXT): $(OUT)/A1AGG.$(FASLEXT) -$(OUT)/ISTRING.$(FASLEXT): $(OUT)/SRAGG.$(FASLEXT) \ - $(OUT)/DIFFSPC-.$(FASLEXT) $(OUT)/DIFFDOM-.$(FASLEXT) -$(OUT)/STAGG.$(FASLEXT): $(OUT)/URAGG.$(FASLEXT) $(OUT)/LNAGG.$(FASLEXT) -$(OUT)/LNAGG.$(FASLEXT): $(OUT)/SEGCAT.$(FASLEXT) -$(OUT)/SEGCAT.$(FASLEXT): $(OUT)/KRCFROM.$(FASLEXT) -$(OUT)/SETAGG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/CLAGG.$(FASLEXT) -$(OUT)/STRING.$(FASLEXT): $(OUT)/SRAGG.$(FASLEXT) $(OUT)/ORDFIN.$(FASLEXT) -$(OUT)/DIOPS.$(FASLEXT): $(OUT)/STRING.$(FASLEXT) -$(OUT)/DIAGG.$(FASLEXT): $(OUT)/DIOPS.$(FASLEXT) -$(OUT)/KDAGG.$(FASLEXT): $(OUT)/DIAGG.$(FASLEXT) -$(OUT)/TBAGG.$(FASLEXT): $(OUT)/KDAGG.$(FASLEXT) -$(OUT)/ALAGG.$(FASLEXT): $(OUT)/TBAGG.$(FASLEXT) -$(OUT)/ILIST.$(FASLEXT): $(OUT)/LSAGG.$(FASLEXT) -$(OUT)/LIST.$(FASLEXT): $(OUT)/ILIST.$(FASLEXT) - -$(OUT)/MSYSCMD.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) - -$(OUT)/KOERCE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/KRCFROM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) - -$(OUT)/KONVERT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/KVTFROM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) - -$(OUT)/RETRACT.$(FASLEXT): $(OUT)/KRCFROM.$(FASLEXT) - -$(OUT)/BASTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/SETCAT.$(FASLEXT) $(OUT)/SETCAT-.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) - -$(OUT)/FINITE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/ORDSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ - $(OUT)/ORDTYPE.$(FASLEXT) -$(OUT)/FILECAT.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/SEXCAT.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/PID.$(FASLEXT) \ - $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/LINEXP.$(FASLEXT) \ - $(OUT)/PATMAB.$(FASLEXT) $(OUT)/REAL.$(FASLEXT) \ - $(OUT)/CHARZ.$(FASLEXT) $(OUT)/AGG.$(FASLEXT) \ - $(OUT)/IXAGG.$(FASLEXT) $(OUT)/FLAGG.$(FASLEXT) \ - $(OUT)/ELAGG.$(FASLEXT) -$(OUT)/STEP.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/PATMAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/REAL.$(FASLEXT): $(OUT)/KONVERT.$(FASLEXT) - -$(OUT)/LOGIC.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/BOOLE.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) - - -$(OUT)/SGROUP.$(FASLEXT) $(OUT)/SGROUP-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/ABELSG.$(FASLEXT) $(OUT)/ABELSG-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ - $(OUT)/LLINSET.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) -$(OUT)/RMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT) -$(OUT)/BMODULE.$(FASLEXT): $(OUT)/LMODULE.$(FASLEXT) \ - $(OUT)/RMODULE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) -$(OUT)/MODULE.$(FASLEXT): $(OUT)/BMODULE.$(FASLEXT) $(OUT)/LINSET.$(FASLEXT) -$(OUT)/ALGEBRA.$(FASLEXT): $(OUT)/MODULE.$(FASLEXT) -$(OUT)/OAGROUP.$(FASLEXT): $(OUT)/OCAMON.$(FASLEXT) -$(OUT)/OCAMON.$(FASLEXT): $(OUT)/OAMON.$(FASLEXT) -$(OUT)/OAMON.$(FASLEXT): $(OUT)/OASGP.$(FASLEXT) -$(OUT)/OAMONS.$(FASLEXT): $(OUT)/OAMON.$(FASLEXT) -$(OUT)/OASGP.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/ABELSG.$(FASLEXT) -$(OUT)/RNG.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT) - -$(OUT)/LLINSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/RLINSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/LINSET.$(FASLEXT): $(OUT)/LLINSET.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT) - -$(OUT)/CTORKIND.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/IOMODE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) - -$(OUT)/PRINT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/RTVALUE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/SYSPTR.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) - -$(OUT)/VOID.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) -$(OUT)/OUT.$(FASLEXT): $(OUT)/VOID.$(FASLEXT) - -$(OUT)/DIFFDOM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/DIFFSPC.$(FASLEXT): $(OUT)/DIFFDOM.$(FASLEXT) -$(OUT)/DIFFMOD.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) -$(OUT)/PDDOM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/PDSPC.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) -$(OUT)/DSEXT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) $(OUT)/PDSPC.$(FASLEXT) -$(OUT)/ORDTYPE.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) -$(OUT)/ORDSTRCT.$(FASLEXT): $(OUT)/ORDTYPE.$(FASLEXT) $(OUT)/HOMOTOP.$(FASLEXT) - -axiom_algebra_layer_0 = \ - AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \ - KRCFROM KVTFROM IEVALAB IEVALAB- EVALAB EVALAB- \ - RETRACT RETRACT- SETCAT SETCAT- VOID SEGCAT \ - MSYSCMD FINITE OM OMCONN OMDEV OUT \ - PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \ - BMODULE BASTYPE BASTYPE- STEP LMODULE \ - RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \ - ABELSG- ORDSET OASGP FILECAT SEXCAT \ - MODULE MODULE- PID OAGROUP OCAMON OAMON \ - RNG ORDFIN LLINSET RLINSET LINSET OAMONS \ - MKBCFUNC MKRECORD MKUCFUNC DROPT1 PLOT1 ITFUN2 \ - ITFUN3 STREAM1 STREAM2 STREAM3 ANY1 SEGBIND2 \ - COMBOPC EQ2 NONE1 CONDUIT IOMODE CTORKIND \ - AGG AGG- ELTAGG ELTAGG- IXAGG IXAGG- \ - BGAGG BGAGG- BRAGG BRAGG- ELAGG ELAGG- \ - DLAGG DQAGG QUAGG SKAGG PRQAGG ALAGG \ - FLAGG FLAGG- URAGG URAGG- LNAGG LNAGG- \ - A1AGG A1AGG- LSAGG LSAGG- SRAGG SRAGG- \ - FSAGG FSAGG- STAGG STAGG- CLAGG CLAGG- \ - RCAGG RCAGG- SETAGG SETAGG- HOAGG HOAGG- \ - TBAGG TBAGG- KDAGG KDAGG- DIAGG DIAGG- \ - DIOPS DIOPS- STRING ISTRING ILIST \ - LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \ - LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ - RTVALUE SYSPTR PDDOM PDDOM- PDSPC PDSPC- \ - DSEXT DSEXT- ORDTYPE ORDTYPE- ORDSTRCT \ - BOOLE BOOLE- - -axiom_algebra_layer_0_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0)) - -axiom_algebra_layer_0_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_0))) -@ - -\subsection{Layer 1} - -<<layer1>>= - -$(OUT)/HOMOTOP.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/KRCFROM.$(FASLEXT) -$(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/STREAM.$(FASLEXT) -$(OUT)/PATAB.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) -$(OUT)/PPCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) -$(OUT)/PSCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) - -$(OUT)/IEVALAB.$(FASLEXT) $(OUT)/IEVALAB-.$(FASLEXT): \ - $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/EVALAB.$(FASLEXT) $(OUT)/EVALAB-.$(FASLEXT): \ - $(OUT)/IEVALAB.$(FASLEXT) - -$(OUT)/PROPLOG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) - -$(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) - -$(OUT)/BYTEORD.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) - -$(OUT)/RING.$(FASLEXT): $(OUT)/RNG.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT) \ - $(OUT)/LMODULE.$(FASLEXT) $(OUT)/KOERCE.$(FASLEXT) -$(OUT)/MONOID.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT) -$(OUT)/ABELGRP.$(FASLEXT): $(OUT)/CABMON.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT) -$(OUT)/ABELMON.$(FASLEXT): $(OUT)/ABELSG.$(FASLEXT) -$(OUT)/ORDRING.$(FASLEXT): $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/RING.$(FASLEXT) \ - $(OUT)/MONOID.$(FASLEXT) -$(OUT)/COMRING.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/BMODULE.$(FASLEXT) -$(OUT)/DIFRING.$(FASLEXT): $(OUT)/RING.$(FASLEXT) -$(OUT)/ENTIRER.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/BMODULE.$(FASLEXT) -$(OUT)/INTDOM.$(FASLEXT): $(OUT)/COMRING.$(FASLEXT) $(OUT)/ALGEBRA.$(FASLEXT) \ - $(OUT)/ENTIRER.$(FASLEXT) $(OUT)/FIELD.$(FASLEXT) -$(OUT)/OINTDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) $(OUT)/ORDRING.$(FASLEXT) -$(OUT)/GCDDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) -$(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) $(OUT)/ES.$(FASLEXT) -$(OUT)/ES.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT) \ - $(OUT)/REF.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT) \ - $(OUT)/PATAB.$(FASLEXT) $(OUT)/PRIMARR.$(FASLEXT) \ - $(OUT)/MAYBE.$(FASLEXT) -$(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) -$(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT) -$(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) -$(OUT)/BOOLEAN.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) -$(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT) -$(OUT)/IARRAY1.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT) -$(OUT)/PROPERTY.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT) -$(OUT)/BINDING.$(FASLEXT): $(OUT)/PROPERTY.$(FASLEXT) -$(OUT)/OPERCAT.$(FASLEXT): $(OUT)/ARITY.$(FASLEXT) -$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT) -$(OUT)/DIFRING.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) -$(OUT)/PDMOD.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/PDSPC.$(FASLEXT) \ - $(OUT)/COMRING.$(FASLEXT) $(OUT)/MODULE.$(FASLEXT) -$(OUT)/DMEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) $(OUT)/DIFFMOD.$(FASLEXT) \ - $(OUT)/PDMOD.$(FASLEXT) -$(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT) - -axiom_algebra_layer_1 = \ - ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \ - CABMON MONOID MONOID- RING RING- COMRING \ - DIFRING ENTIRER INTDOM INTDOM- OINTDOM \ - GCDDOM GCDDOM- UFD UFD- ES ES- \ - PATAB PPCURVE PSCURVE CACHSET RESLATC REF \ - IDENT BINDING ALIST BOOLEAN PRIMARR \ - ORDRING ORDRING- FEVALAB FEVALAB- IARRAY1 \ - OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ - FIELD FIELD- VECTCAT VECTCAT- \ - PROPERTY ARITY OPERCAT OPERCAT- PAIR STREAM \ - RADCAT RADCAT- PDMOD DMEXT LZSTAGG LZSTAGG- - -axiom_algebra_layer_1_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) - -axiom_algebra_layer_1_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_1))) -@ - -\subsection{Layer 2} - -<<layer2>>= -axiom_algebra_layer_2 = \ - SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \ - COMMONOP FNCAT SCACHE BOP BOP1 \ - DOMTMPLT FCTRDATA - -$(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) -$(OUT)/COMMONOP.$(FASLEXT): $(OUT)/BOP.$(FASLEXT) -$(OUT)/DOMTMPLT.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) $(OUT)/OAMONS.$(FASLEXT) -$(OUT)/FCTRDATA.$(FASLEXT): $(OUT)/DOMTMPLT.$(FASLEXT) - -axiom_algebra_layer_2_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) - -axiom_algebra_layer_2_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_2))) -@ - -\subsection{Layer 3} - -<<layer3>>= -axiom_algebra_layer_3 = \ - GRDEF SCOPE MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1 \ - MAPPKG2 MAPPKG3 INTBIT MONAD MONAD- - - -$(OUT)/MONAD.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/SCOPE.$(FASLEXT): $(OUT)/BINDING.$(FASLEXT) - -axiom_algebra_layer_3_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_3)) - -axiom_algebra_layer_3_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_3))) -@ - -\subsubsection{Completed spad files} - -<<layer4>>= - -$(OUT)/ENV.$(FASLEXT): $(OUT)/SCOPE.$(FASLEXT) -$(OUT)/COMM.$(FASLEXT): $(OUT)/OSI.$(FASLEXT) -$(OUT)/PALETTE.$(FASLEXT): $(OUT)/COLOR.$(FASLEXT) - - -axiom_algebra_layer_4 = \ - ANON OSI COMM COMPPROP ESCONT1 EXIT \ - FAMONC FORMULA1 IDPC NONE NUMINT \ - ODECAT COLOR OMENC ONECOMP2 OPTCAT \ - PALETTE PARPCURV PARPC2 PARSCURV PARSC2 PARSURF \ - PARSU2 PATRES2 PATTERN1 PDECAT \ - REPSQ REPDB RFDIST RIDIST SPACEC SPLNODE \ - SUCH TEX1 UDVO YSTREAM ENV \ - ATRIG ATRIG- GROUP GROUP- LALG LALG- - - -axiom_algebra_layer_4_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_4)) - -axiom_algebra_layer_4_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_4))) -@ - -\subsection{Layer 5} - -<<layer5>>= - -$(OUT)/KERNEL.$(FASLEXT): $(OUT)/KERNEL2.$(FASLEXT) -$(OUT)/DVARCAT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) -$(OUT)/PDRING.$(FASLEXT): $(OUT)/PDSPC.$(FASLEXT) - -axiom_algebra_layer_5 = \ - CHARNZ DVARCAT DVARCAT- ELEMFUN \ - ELEMFUN- ESTOOLS2 FCOMP FPATMAB IDPAM IDPO \ - INCRMAPS KERNEL2 MODMONOM MONADWU MONADWU- \ - MRF2 NARNG NARNG- NSUP2 ODVAR OPQUERY \ - ORDMON PATMATCH PERMCAT PDRING \ - SDVAR SUP2 TRIGCAT TRIGCAT- ULS2 UP2 \ - ELABEXPR KERNEL - -axiom_algebra_layer_5_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_5)) - -axiom_algebra_layer_5_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_5))) -@ - -\subsection{Layer6} - -<<layer6>>= - -$(OUT)/CHARPOL.$(FASLEXT): $(OUT)/SETCAT-.$(FASLEXT) -$(OUT)/PROPFRML.$(FASLEXT): $(OUT)/KERNEL.$(FASLEXT) -$(OUT)/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) $(OUT)/BYTE.$(FASLEXT) -$(OUT)/PROPFUN1.$(FASLEXT): $(OUT)/PROPFRML.$(FASLEXT) -$(OUT)/PROPFUN2.$(FASLEXT): $(OUT)/PROPFRML.$(FASLEXT) -$(OUT)/DIFEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) -$(OUT)/BYTE.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) -$(OUT)/SYSNNI.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) $(OUT)/ORDFIN.$(FASLEXT) - -axiom_algebra_layer_6 = \ - PROPFRML PROPFUN1 AUTOMOR CARTEN2 CHARPOL COMPLEX2 \ - DIFEXT ES1 ES2 GRMOD GRMOD- \ - HYPCAT HYPCAT- MODRING NASRING NASRING- \ - SORTPAK ZMOD PROPFUN2 \ - KTVLOGIC BYTE SYSINT SYSNNI - -axiom_algebra_layer_6_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_6)) -axiom_algebra_layer_6_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_6))) -@ - -\subsection{Layer7} - -\begin{verbatim} -\end{verbatim} - -<<layer7>>= -$(OUT)/IFAMON.$(FASLEXT): $(OUT)/LMOPS.$(FASLEXT) -axiom_algebra_layer_7 = \ - BTCAT BTCAT- LMOPS FMCAT IDPOAM \ - IFAMON GRALG GRALG- \ - INT8 INT16 INT32 INT64 UINT8 UINT16 \ - UINT32 UINT64 - -axiom_algebra_layer_7_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_7)) - -axiom_algebra_layer_7_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_7))) -@ - -\subsection{Layer8} - -<<layer8>>= - -$(OUT)/BSTREE.$(FASLEXT): $(OUT)/BTREE.$(FASLEXT) -$(OUT)/ITAYLOR.$(FASLEXT): $(OUT)/STREAM.$(FASLEXT) - -axiom_algebra_layer_8 = \ - BSTREE BTOURN CARD DRAWHACK FACTFUNC FMTC \ - FR2 FRAC2 FRUTIL ITAYLOR MLO NAALG \ - NAALG- OP ORDCOMP2 RANDSRC UNISEG2 XALG \ - BTREE ARR2CAT ARR2CAT- - -axiom_algebra_layer_8_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_8)) - -axiom_algebra_layer_8_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_8))) -@ - -\subsection{Layer9} - -<<layer9>>= -$(OUT)/ODEIFTBL.$(FASLEXT): $(OUT)/TABLE.$(FASLEXT) $(OUT)/INTABL.$(FASLEXT) -$(OUT)/FT.$(FASLEXT): $(OUT)/FST.$(FASLEXT) - -axiom_algebra_layer_9 = \ - AMR AMR- DEGRED DLP EAB ESTOOLS1 \ - FAGROUP FAMONOID FLINEXP FLINEXP- FRETRCT FRETRCT- \ - FSERIES FT IDPAG IDPOAMS INFINITY LA \ - OMLO ORTHPOL PRODUCT PADICCT PMPRED PMASS \ - PTFUNC2 RATRET RADUTIL UPXS2 \ - XFALG ZLINDEP BBTREE TABLE INTABL \ - ODEIFTBL NIPROB ODEPROB OPTPROB \ - PDEPROB SIG FMONCAT FST - - -axiom_algebra_layer_9_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_9)) - -axiom_algebra_layer_9_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_9))) -@ - -\subsection{Layer10} - -<<layer10>>= -$(OUT)/D01GBFA.$(FASLEXT): $(OUT)/RESULT.$(FASLEXT) $(OUT)/ANY.$(FASLEXT) \ - $(OUT)/SEX.$(FASLEXT) $(OUT)/HASHTBL.$(FASLEXT) -$(OUT)/ANY.$(FASLEXT): $(OUT)/SEX.$(FASLEXT) - -$(OUT)/SEX.$(FASLEXT): $(OUT)/SEXOF.$(FASLEXT) -$(OUT)/LEXP.$(FASLEXT): $(OUT)/XPBWPOLY.$(FASLEXT) -$(OUT)/XPBWPOLY.$(FASLEXT): $(OUT)/XPOLYC.$(FASLEXT) -$(OUT)/PENDTREE.$(FASLEXT): $(OUT)/TREE.$(FASLEXT) -$(OUT)/QFORM.$(FASLEXT): $(OUT)/SQMATRIX.$(FASLEXT) -$(OUT)/SQMATRIX.$(FASLEXT): $(OUT)/SMATCAT.$(FASLEXT) \ - $(OUT)/MATRIX.$(FASLEXT) $(OUT)/IIARRAY2.$(FASLEXT) -$(OUT)/SMATCAT.$(FASLEXT): $(OUT)/RMATCAT.$(FASLEXT) -$(OUT)/RMATCAT.$(FASLEXT): $(OUT)/DIRPROD.$(FASLEXT) -$(OUT)/DIRPROD.$(FASLEXT): $(OUT)/DIRPCAT.$(FASLEXT) -$(OUT)/DIRPCAT.$(FASLEXT): $(OUT)/VSPACE.$(FASLEXT) $(OUT)/IVECTOR.$(FASLEXT) -$(OUT)/MATRIX.$(FASLEXT): $(OUT)/MATCAT.$(FASLEXT) -$(OUT)/BTAGG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) -$(OUT)/PATLRES.$(FASLEXT): $(OUT)/PATRES.$(FASLEXT) - -axiom_algebra_layer_10 = \ - RESULT BFUNCT BPADIC ANY \ - SEXOF CRAPACK DEQUEUE DLIST \ - DRAWCX D01GBFA D02EJFA D03FAFA \ - DRAWPT FAMR FAMR- FLASORT \ - FLAGG2 FGROUP FM FM1 \ - FPC FPC- FMONOID INDE \ - IPADIC IROOT IR2 LEXP \ - LIECAT LIECAT- LIST2 LIST2MAP \ - SEX HASHTBL TREE MAGMA \ - MESH MOEBIUS MODFIELD MODOP \ - MRING MTHING NCNTFRAC NCODIV \ - NUMTUBE ODR OFMONOID ONECOMP \ - ORDCOMP OREPCAT OREPCAT- OWP \ - PADIC PATTERN2 PATLRES PARTPERM \ - PBWLB PENDTREE PGE PGROEB \ - PINTERP PLOTTOOL PFR PMDOWN \ - PRTITION PMINS PMLSAGG PMTOOLS \ - PSCAT PSCAT- QFORM QUEUE \ - SQMATRIX SEG SEG2 \ - STACK STTAYLOR TABLBUMP TABLEAU \ - TOPSP TRANFUN TRANFUN- TUBE \ - UDPO UNISEG VIEW VSPACE \ - VSPACE- XPOLYC XPR BTAGG BTAGG- \ - FUNDESC XPBWPOLY SMATCAT SMATCAT- \ - RMATRIX RMATCAT RMATCAT- DIRPROD \ - DIRPCAT DIRPCAT- IVECTOR MATRIX \ - MATCAT MATCAT- IIARRAY2 - - -axiom_algebra_layer_10_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_10)) - -axiom_algebra_layer_10_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_10))) -@ - -\subsection{Layer11} - -<<layer11>>= -$(OUT)/ARRAY2.$(FASLEXT): $(OUT)/IFARRAY.$(FASLEXT) - -axiom_algebra_layer_11 = \ - APPLYORE ARRAY1 ARRAY12 ARRAY2 \ - ASTACK COMBINAT \ - CSTTOOLS D01FCFA E04MBFA FARRAY \ - FLALG GALUTIL HEAP \ - IARRAY2 IFARRAY INTCAT INTHEORY \ - IRREDFFX LFCAT LODOCAT LODOCAT- \ - LWORD MATSTOR \ - ORESUP OREPCTO OREUP PLOT3D \ - PR PREASSOC PRIMARR2 REDORDER \ - SYMPOLY \ - TS TUPLE UPSCAT UPSCAT- \ - XDPOLY XEXPPKG \ - XF XF- XPOLY \ - XRPOLY - -axiom_algebra_layer_11_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_11)) - -axiom_algebra_layer_11_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_11))) -@ - -\subsection{Layer12} - -<<layer12>>= -axiom_algebra_layer_12 = \ - ULSCAT BITS DIRPROD2 IMATRIX \ - LPOLY LSMP LSMP1 MATCAT2 PTCAT TRIMAT \ - SYSTEM HOSTNAME PORTNUM - -axiom_algebra_layer_12_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_12)) - -axiom_algebra_layer_12_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_12))) -@ - -\subsection{Layer13} - -<<layer13>>= - -$(OUT)/UPOLYC.$(FASLEXT): $(OUT)/PFECAT.$(FASLEXT) -$(OUT)/SETMN.$(FASLEXT): $(OUT)/IBITS.$(FASLEXT) - -axiom_algebra_layer_13 = \ - ASSOCEQ CARTEN CLIF CLIP \ - UPOLYC UPOLYC- \ - COORDSYS DBASE DHMATRIX DIOSP \ - D02BBFA D02BHFA \ - D02CJFA FAXF FAXF- FFPOLY2 \ - FNLA GRAY HB IRSN \ - MCALCFN MHROWRED NUMODE NUMQUAD \ - ODESYS ODETOOLS ORDFUNS PERMAN \ - PFECAT PFECAT- POINT PSEUDLIN \ - PTPACK REP2 SETMN \ - SYMFUNC VECTOR2 CHAR \ - INBCON INBCON- OUTBCON OUTBCON- - -axiom_algebra_layer_13_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_13)) - -axiom_algebra_layer_13_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_13))) -@ - -\subsection{Layer14} - -<<layer14>>= -$(OUT)/FS.$(FASLEXT): $(OUT)/UPOLYC.$(FASLEXT) -$(OUT)/FTEM.$(FASLEXT): $(OUT)/TEXTFILE.$(FASLEXT) -$(OUT)/FILE.$(FASLEXT): $(OUT)/FNAME.$(FASLEXT) - -axiom_algebra_layer_14 = \ - FS FS- ACF ACF- \ - ACFS ACFS- BALFACT BEZOUT BINARY BINFILE BOUNDZRO \ - BPADICRT BRILL CDEN CHVAR \ - COMMUPC CONTFRAC CVMP CYCLOTOM \ - CYCLES DDFACT DECIMAL DISPLAY DMP \ - DPMO DPOLCAT DPOLCAT- D01AJFA \ - D01AKFA D01ALFA D01AMFA D01APFA \ - D01AQFA EMR EQ ERROR \ - EVALCYC E04DGFA E04FDFA E04GCFA \ - E04JAFA FACUTIL FF FFCG \ - FFCGX FFHOM FFNB FFNBX \ - FFPOLY FFX FFSLPE FGLMICPK \ - FILE FINAALG FINAALG- FINRALG \ - FINRALG- FLOATRP FNAME \ - FOP FORMULA FORT FRAC \ - FTEM GENEEZ GENMFACT GENPGCD \ - GALFACTU GALPOLYU GB GBEUCLID \ - GBF GBINTERN GHENSEL GMODPOL \ - GOSPER GRIMAGE GROEBSOL HDMP \ - HDP HEXADEC HEUGCD IBPTOOLS \ - IFF ICARD ICDEN \ - IDECOMP IMATLIN IMATQF \ - INMODGCD INNMFACT INPSIGN INTHERTR \ - INTRAT INTRF INTSLPE INTTR \ - ISUMP LAUPOL LEADCDET LGROBP \ - LIMITRF LINDEP LO LPEFRAC \ - LSPP MATLIN MCDEN MDDFACT \ - MFINFACT MFLOAT MINT MLIFT \ - MMAP MODMON MONOTOOL MPCPF \ - MPC2 MPC3 MPOLY MPRFF \ - MRATFAC MULTSQFR NORMRETR NPCOEF \ - NSUP NTPOLFN ODP ODEPRIM \ - ODEPRRIC OMPKG OMSERVER PADEPAC \ - PADICRAT PADICRC PCOMP PDECOMP \ - PF PFBR PFBRU PFOTOOLS \ - PFRPAC PGCD PINTERPA PLEQN \ - PMPLCAT PMQFCAT PNTHEORY POLUTIL \ - POLTOPOL POLYCATQ POLYLIFT POLYROOT \ - POLY2 POLY2UP PRS PSQFR \ - PUSHVAR QALGSET QFCAT2 RADIX \ - RATFACT RCFIELD RCFIELD- RDETR \ - RDETRS REAL0 REAL0Q REALSOLV \ - RESRING RETSOL RF RFFACTOR \ - RRCC RRCC- \ - SCPKG SHDP SHP SIGNRF \ - SMITH SMP SMTS SOLVEFOR \ - SPLTREE STINPROD STTFNC SUBRESP \ - SUMRF SUP SUPFRACF TANEXP \ - TEMUTL TEX TEXTFILE \ - TWOFACT UNIFACT UP UPCDEN \ - UPDECOMP UPDIVP UPMP UPOLYC2 \ - UPXSCAT UPSQFREE VIEWDEF VIEW2D \ - WEIER WP \ - EQTBL GSTBL \ - INTFTBL STBL STRTBL\ - SYMS SYMTAB \ - IOBCON - - -axiom_algebra_layer_14_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_14)) - -axiom_algebra_layer_14_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_14))) -@ - -\subsection{Layer15} - -<<layer15>>= -$(OUT)/EXPUPXS.$(FASLEXT): $(OUT)/UPXS.$(FASLEXT) -$(OUT)/UPXS.$(FASLEXT): $(OUT)/UPXSCAT.$(FASLEXT) $(OUT)/UPXSCONS.$(FASLEXT) \ - $(OUT)/ULS.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT) -$(OUT)/UPXSCONS.$(FASLEXT): $(OUT)/UPXSCCA.$(FASLEXT) -$(OUT)/ULS.$(FASLEXT): $(OUT)/ULSCONS.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT) -$(OUT)/ULSCONS.$(FASLEXT): $(OUT)/ULSCCAT.$(FASLEXT) -$(OUT)/ULSCCAT.$(FASLEXT): $(OUT)/UTS.$(FASLEXT) -$(OUT)/UTS.$(FASLEXT): $(OUT)/UTSCAT.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT) - -axiom_algebra_layer_15 = \ - DSMP EXPUPXS UPXS UPXSCONS \ - FRAMALG FRAMALG- MDAGG ODPOL \ - PLOT RMCAT2 ROIRC SDPOL \ - ULS ULSCONS TUBETOOL UPXSCCA \ - UPXSCCA- JVMBCODE POLY BYTEBUF OVERSET \ - ULSCCAT ULSCCAT- UTS UTSCAT UTSCAT- - -axiom_algebra_layer_15_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_15)) - -axiom_algebra_layer_15_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_15))) -@ - -\subsection{Layer16} - -<<layer16>>= -$(OUT)/SPACE3.$(FASLEXT): $(OUT)/SUBSPACE.$(FASLEXT) - -axiom_algebra_layer_16 = \ - DPMM EFUPXS FFINTBAS FRIDEAL \ - FRIDEAL2 FRMOD \ - IBATOOL INTFACT \ - MSETAGG MONOGEN MONOGEN- NFINTBAS \ - SPACE3 FFF SUBSPACE - -axiom_algebra_layer_16_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_16)) - -axiom_algebra_layer_16_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_16))) -@ - -\subsection{Layer17} - -<<layer17>>= -axiom_algebra_layer_17 = \ - CCLASS FSAGG2 GALFACT IALGFACT CTORCAT CTORCAT- \ - IBACHIN MMLFORM NORMMA ODERED OMSAGG OPSIG \ - PERM PERMGRP PRIMES PWFFINTB \ - RDIST SAE SAEFACT SAERFFC \ - SGCF VIEW3D - -axiom_algebra_layer_17_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_17)) - -axiom_algebra_layer_17_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_17))) -@ - -\subsection{Layer18} - -<<layer18>>= -$(OUT)/PSETCAT.$(FASLEXT): $(OUT)/RPOLCAT.$(FASLEXT) - -axiom_algebra_layer_18 = \ - INTPACK IPF CATCTOR DOMCTOR CTORCALL \ - KAFILE PATRES TBCMPPK PSETCAT PSETCAT- \ - RPOLCAT RPOLCAT- - -axiom_algebra_layer_18_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_18)) - -axiom_algebra_layer_18_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_18))) -@ - -\subsection{Layer19} - -<<layer19>>= -$(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT) -$(OUT)/FPARFRAC.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) -$(OUT)/FEXPR.$(FASLEXT): $(OUT)/EXPR.$(FASLEXT) -$(OUT)/OMERR.$(FASLEXT): $(OUT)/OMERRK.$(FASLEXT) - -axiom_algebra_layer_19 = \ - ACPLOT ANTISYM ATTRBUT \ - COMPCAT \ - COMPCAT- DRAW DRAWCFUN DROPT \ - DROPT0 D01ANFA D01ASFA D03AGNT \ - EP E04AGNT FCPAK1 FEXPR \ - FFCAT FFCAT- FFCGP FFNBP \ - FFP FLOAT FPARFRAC FR \ - FRNAALG FRNAALG- EXPR \ - FUNCTION GDMP HACKPI \ - IDEAL INFORM INFORM1 IPRNTPK \ - IR ISUPS LIB \ - LMDICT LODOOPS MKFLCFN \ - MSET M3D NAGC02 NAGC05 \ - NAGC06 NAGD03 NAGE01 NAGE02 \ - NAGE04 NAGF07 NAGS NAGSP \ - NREP NUMFMT OC OC- \ - ODEPACK ODERAT OMERR OMERRK \ - OPTPACK PATTERN OVAR \ - PMKERNEL PMSYM PRIMELT \ - QALGSET2 QEQUAT RECLOS REP1 \ - QUATCAT QUATCAT- RFFACT \ - ROMAN ROUTINE RNGBIND \ - RULECOLD SAOS SEGBIND \ - SET SPECOUT SWITCH \ - SYSSOLP \ - VARIABLE WFFINTBS SPADPRSR \ - PARSER TSETCAT TSETCAT- - -axiom_algebra_layer_19_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_19)) - -axiom_algebra_layer_19_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_19))) -@ - -\subsection{Layer20} - -<<layer20>>= -$(OUT)/AN.$(FASLEXT): $(OUT)/IAN.$(FASLEXT) -$(OUT)/IAN.$(FASLEXT): $(OUT)/EXPR.$(FASLEXT) -$(OUT)/SUTS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) -$(OUT)/OCT.$(FASLEXT): $(OUT)/QUAT.$(FASLEXT) - -axiom_algebra_layer_20 = \ - AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \ - ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \ - COMPLPAT CMPLXRT CPMATCH CRFP \ - CTRIGMNP D01WGTS D02AGNT D03EEFA \ - DBLRESP DERHAM DFSFUN DRAWCURV \ - E04NAFA E04UCFA EF EFSTRUC \ - ELFUTS ESTOOLS EXPEXPAN EXPRODE \ - EXPRTUBE EXPR2 FC FDIVCAT \ - FDIVCAT- FDIV2 FFCAT2 FLOATCP \ - FORDER FORTRAN FSRED FSUPFACT \ - FRNAAF2 FSPECF FS2 FS2UPS \ - GAUSSFAC GCNAALG GENUFACT GENUPS \ - GTSET GPOLSET IAN INEP \ - INFPROD0 INFSP INPRODFF INPRODPF \ - INTAF INTALG INTEF INTG0 \ - INTHERAL INTPAF INTPM INTTOOLS \ - ITRIGMNP JORDAN KOVACIC LF \ - LIE LODOF LSQM OMEXPR \ - MCMPLX MULTFACT NAGD01 NAGD02 \ - NAGF01 NAGF02 NAGF04 NCEP \ - NLINSOL NSMP NUMERIC OCT \ - OCTCT2 ODEPAL ODERTRIC PADE \ - PAN2EXPR PDEPACK PFO PFOQ \ - PICOERCE PMASSFS PMFS PMPREDFS \ - PSETPK QUAT QUATCT2 RADFF \ - RDEEF RDEEFS RDIV RSETCAT \ - RSETCAT- RULE RULESET SIMPAN \ - SFORT SOLVESER SUMFS SUTS \ - TOOLSIGN TRIGMNIP TRMANIP ULSCCAT \ - ULSCCAT- UPXSSING UTSODE UTSODETL \ - UTS2 WUTSET - -axiom_algebra_layer_20_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_20)) - -axiom_algebra_layer_20_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_20))) -@ - -\subsection{Layer21} - -<<layer21>>= -$(OUT)/FDIV.$(FASLEXT): $(OUT)/HELLFDIV.$(FASLEXT) -$(OUT)/GSERIES.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) -$(OUT)/SULS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) -$(OUT)/SUPXS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) - -axiom_algebra_layer_21 = \ - DEFINTEF DFINTTLS DEFINTRF D01TRNS \ - EFULS ESCONT EXPR2UPS \ - FDIV FSCINT FSINT FS2EXPXP \ - GSERIES HELLFDIV INVLAPLA IR2F \ - IRRF2F LAPLACE LIMITPS LODEEF \ - NODE1 ODECONST ODEINT REP \ - SOLVERAD SULS SUPXS \ - UPXSCONS - -axiom_algebra_layer_21_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_21)) - -axiom_algebra_layer_21_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_21))) -@ - -\subsection{Layer22} - -<<layer22>>= -axiom_algebra_layer_22 = \ - COMBF D01AGNT FSPRMELT \ - INBFF LODO LODO1 LODO2 \ - NTSCAT REGSET RGCHAIN RSETGCD \ - RSDCMPK SFRTCAT SIGNEF SNTSCAT \ - SOLVETRA SRDCMPK SREGSET STTF \ - ZDSOLVE - -axiom_algebra_layer_22_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_22)) - -axiom_algebra_layer_22_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_22))) -@ - -\subsection{Final layer spad files} - -<<layer23>>= -axiom_algebra_layer_23 = \ - CPIMA IRURPK LAZM3PK LEXTRIPK \ - NORMPK QCMPACK RURPK SFRGCD \ - SFQCMPK INTRVL ODEEF DOMAIN CATEGORY - -axiom_algebra_layer_23_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_23)) - -axiom_algebra_layer_23_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_23))) -@ - -\subsection{User Layer for newly added algebra} - -Rather than classify newly created algebra into the existing type lattice -we add it here. -<<USERLAYER>>= -axiom_algebra_layer_user = \ - RINTERP ASTCAT ASTCAT- SASTCAT SASTCAT- HEADAST \ - LITERAL TYPEAST IMPTAST MAPPAST ATTRAST \ - JOINAST IFAST RPTAST WHILEAST INAST CLLCAST \ - LSTAST EXITAST RETAST SEGAST PRTDAST CRCAST \ - LETAST SUCHAST RDUCEAST COLONAST ADDAST CAPSLAST \ - CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ - QQUTAST DEFAST MACROAST SPADXPT SPADAST PARAMAST \ - INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC STEPAST \ - CTOR IP4ADDR NETCLT INETCLTS \ - FMC FMFUN FORTFN FVC FVFUN ASP34 \ - ASP1 ASP10 ASP24 ASP4 ASP50 ASP6 \ - ASP73 ASP27 ASP28 ASP33 ASP49 ASP7 \ - ASP78 ASP9 ASP12 ASP55 ASP8 ASP19 \ - ASP20 ASP30 ASP31 ASP35 ASP41 ASP42 \ - ASP74 ASP77 ASP80 ASP29 IRFORM COMPILER \ - ITFORM ELABOR TALGOP YDIAGRAM LINELT DBASIS \ - LINFORM LINBASIS JVMOP JVMCFACC JVMFDACC JVMMDACC \ - JVMCSTTG - -axiom_algebra_layer_user_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user)) - -axiom_algebra_layer_user_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_user))) - -$(OUT)/SASTCAT.$(FASLEXT): $(OUT)/ASTCAT.$(FASLEXT) -$(OUT)/LITERAL.$(FASLEXT): $(OUT)/SASTCAT.$(FASLEXT) -$(OUT)/PARAMAST.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/STRING.$(FASLEXT) -$(OUT)/HEADAST.$(FASLEXT): $(OUT)/PARAMAST.$(FASLEXT) -$(OUT)/SPADXPT.$(FASLEXT): $(OUT)/ASTCAT.$(FASLEXT) -$(OUT)/ATTRAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/TYPEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/IMPTAST.$(FASLEXT): $(OUT)/TYPEAST.$(FASLEXT) -$(OUT)/MAPPAST.$(FASLEXT): $(OUT)/TYPEAST.$(FASLEXT) -$(OUT)/SIGAST.$(FASLEXT): $(OUT)/SIG.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT) -$(OUT)/JOINAST.$(FASLEXT): $(OUT)/TYPEAST.$(FASLEXT) -$(OUT)/IFAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/RPTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/WHILEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/INAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/STEPAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) \ - $(OUT)/IDENT.$(FASLEXT) $(OUT)/MAYBE.$(FASLEXT) -$(OUT)/CLLCTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/LSTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/EXITAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/RETAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/SEGAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/SEQAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/PRTDAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/CRCEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/RSTRCAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/LETAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/RDUCEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/SUCHTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/COLONAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/ADDAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/CAPSLAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/CASEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/HASAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/ISAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/CATAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/WHEREAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/COMMAAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/QQUTAST.$(FASLEXT): $(OUT)/SASTCAT.$(FASLEXT) -$(OUT)/DEFAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/MACROAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) -$(OUT)/SPADAST.$(FASLEXT): \ - $(addprefix $(OUT)/,$(addsuffix .$(FASLEXT), \ - IMPTAST DEFAST MACROAST WHEREAST CATAST CAPSLAST \ - SIGAST ATTRAST MAPPAST IFAST RPTAST WHILEAST INAST \ - CLLCTAST LSTAST EXITAST RETAST CRCEAST PRTDAST RSTRCAST \ - SEGAST SEQAST LETAST SUCHTAST COLONAST CASEAST HASAST \ - ISAST)) - -$(OUT)/INBFILE.$(FASLEXT): $(OUT)/FNAME.$(FASLEXT) \ - $(OUT)/INBCON.$(FASLEXT) $(OUT)/STRING.$(FASLEXT) -$(OUT)/OUTBFILE.$(FASLEXT): $(OUT)/FNAME.$(FASLEXT) \ - $(OUT)/OUTBCON.$(FASLEXT) $(OUT)/STRING.$(FASLEXT) -$(OUT)/IOBFILE.$(FASLEXT): $(OUT)/INBFILE.$(FASLEXT) \ - $(OUT)/OUTBFILE.$(FASLEXT) - -$(OUT)/CTOR.$(FASLEXT): $(OUT)/CTORKIND.$(FASLEXT) \ - $(OUT)/IDENT.$(FASLEXT) - -$(OUT)/NETCLT.$(FASLEXT): $(OUT)/IOBCON.$(FASLEXT) -$(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT) - - -$(OUT)/ASP34.$(FASLEXT): $(OUT)/FMC.$(FASLEXT) - -$(OUT)/IRFORM.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) -$(OUT)/COMPILER.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) $(OUT)/ENV.$(FASLEXT) -$(OUT)/ITFORM.$(FASLEXT): $(OUT)/IRFORM.$(FASLEXT) -$(OUT)/ELABOR.$(FASLEXT): $(OUT)/ITFORM.$(FASLEXT) $(OUT)/ENV.$(FASLEXT) \ - $(OUT)/IRFORM.$(FASLEXT) - - -$(OUT)/LINBASIS.$(FASLEXT): $(OUT)/ORDFIN.$(FASLEXT) $(OUT)/OVAR.$(FASLEXT) -$(OUT)/LINELT.$(FASLEXT): $(OUT)/VSPACE.$(FASLEXT) $(OUT)/FM.$(FASLEXT) -$(OUT)/DBASIS.$(FASLEXT): $(OUT)/ORDFIN.$(FASLEXT) $(OUT)/KVTFROM.$(FASLEXT) -$(OUT)/LINFORM.$(FASLEXT): $(OUT)/DBASIS.$(FASLEXT) \ - $(OUT)/VSPACE.$(FASLEXT) $(OUT)/LINELT.$(FASLEXT) - -$(OUT)/JVMOP.$(FASLEXT): $(OUT)/JVMBCODE.$(FASLEXT) -$(OUT)/JVMCFACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) -$(OUT)/JVMFDACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) -$(OUT)/JVMMDACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) - -@ - -\section{Broken Files} - -These files are Aldor files -\begin{verbatim} -axtimer.as Timer -iviews.as InventorRenderPackage IVREND -ffrac.as FormalFraction FORMAL -iviews.as InventorViewPort IVVIEW -iviews.as InventorDataSink IVDATA -herm.as PackedHermitianSequence PACKED -nsfip.as NagSpecialFunctionsInterfacePackage NAGSPE -nrc.as NagResultChecks NAGRES -nqip.as NagQuadratureInterfacePackage NAGQUA -noptip.as NagOptimizationInterfacePackage NAGOPT -nepip.as NagEigenInterfacePackage NAGEIG -ndftip.as NagDiscreteFourierTransformInterfacePackage NAGDIS -\end{verbatim} - -These domains are referenced but don't exist -\begin{verbatim} -OBJECT -\end{verbatim} - -\section{The Environment} - -\subsection{The working directories} - -We define 5 directories for this build. The{\bf IN} directory -contains the pamphlet files for the algebra. These are expanded -into the{\bf MID} directory as either .spad or .as files. The -.spad files are compiled by the native spad internal compiler. -The .as files are compiled using the Aldor compiler. The output -of the compilation has two purposes. Part of the information is -used to build various database files (daase files). The other -part is executable code which is placed in the {\bf OUT} -directory. When invoked as ``make document'' we construct -the .dvi files in the{\bf DOC} directory. - -The [[OUTSRC=$(axiom_target_srcdir)/algebra]] subdirectory contains the -algebra source files extracted from the pamphlet files. These sources -allow the end user to change the algebra if needed. - -<<environment>>= - -IN=$(srcdir) -OUT=$(axiom_targetdir)/algebra -DOC=$(axiom_target_docdir)/src/algebra -OUTSRC=$(axiom_target_srcdir)/algebra -INPUT=../input - -@ - -<<environment>>= -## We use interpsys, built from previous stage, to bootstrap the algebra -## files. In fact, we use interpsys to build everything. -COMPILE_LISP = $(INTERPSYS) --compile --output=$@ $< - -@ - -\subsection{The interpsys variable} -The {\bf interpsys} image is the compile-time environment for algebra -files. - -<<environment>>= - -INTERPSYS = ../interp/interpsys$(EXEEXT) -- --system="$(AXIOM)" \ - --sysalg="$(axiom_src_datadir)/algebra/" - -@ - -\subsection{The SPADFILES list} -Note that we have excluded {\bf mlift.spad.jhd} from this list. -We need to figure out which mlift.spad to keep. - -<<environment>>= - -SPADFILES= \ - ${OUTSRC}/acplot.spad ${OUTSRC}/aggcat2.spad ${OUTSRC}/aggcat.spad \ - ${OUTSRC}/algcat.spad ${OUTSRC}/algext.spad ${OUTSRC}/algfact.spad \ - ${OUTSRC}/algfunc.spad ${OUTSRC}/allfact.spad ${OUTSRC}/alql.spad \ - ${OUTSRC}/annacat.spad ${OUTSRC}/any.spad ${OUTSRC}/array1.spad \ - ${OUTSRC}/array2.spad ${OUTSRC}/asp.spad ${OUTSRC}/attreg.spad \ - ${OUTSRC}/bags.spad ${OUTSRC}/bezout.spad ${OUTSRC}/boolean.spad \ - ${OUTSRC}/brill.spad \ - ${OUTSRC}/c02.spad ${OUTSRC}/c05.spad ${OUTSRC}/c06.spad \ - ${OUTSRC}/card.spad ${OUTSRC}/carten.spad ${OUTSRC}/catdef.spad \ - ${OUTSRC}/cden.spad ${OUTSRC}/clifford.spad ${OUTSRC}/clip.spad \ - ${OUTSRC}/cmplxrt.spad ${OUTSRC}/coerce.spad ${OUTSRC}/color.spad \ - ${OUTSRC}/combfunc.spad ${OUTSRC}/combinat.spad ${OUTSRC}/complet.spad \ - ${OUTSRC}/constant.spad ${OUTSRC}/contfrac.spad ${OUTSRC}/cont.spad \ - ${OUTSRC}/coordsys.spad ${OUTSRC}/cra.spad ${OUTSRC}/crfp.spad \ - ${OUTSRC}/curve.spad ${OUTSRC}/cycles.spad ${OUTSRC}/cyclotom.spad \ - ${OUTSRC}/d01agents.spad ${OUTSRC}/d01Package.spad \ - ${OUTSRC}/d01routine.spad ${OUTSRC}/d01.spad ${OUTSRC}/d01transform.spad \ - ${OUTSRC}/d01weights.spad ${OUTSRC}/d02agents.spad \ - ${OUTSRC}/d02Package.spad ${OUTSRC}/d02routine.spad ${OUTSRC}/d02.spad \ - ${OUTSRC}/d03agents.spad ${OUTSRC}/d03Package.spad \ - ${OUTSRC}/d03routine.spad ${OUTSRC}/d03.spad ${OUTSRC}/ddfact.spad \ - ${OUTSRC}/defaults.spad ${OUTSRC}/defintef.spad ${OUTSRC}/defintrf.spad \ - ${OUTSRC}/degred.spad ${OUTSRC}/derham.spad ${OUTSRC}/dhmatrix.spad \ - ${OUTSRC}/divisor.spad ${OUTSRC}/dpolcat.spad ${OUTSRC}/drawopt.spad \ - ${OUTSRC}/drawpak.spad ${OUTSRC}/draw.spad \ - ${OUTSRC}/e01.spad ${OUTSRC}/e02.spad ${OUTSRC}/e04agents.spad \ - ${OUTSRC}/e04Package.spad ${OUTSRC}/e04routine.spad ${OUTSRC}/e04.spad \ - ${OUTSRC}/efstruc.spad ${OUTSRC}/efuls.spad ${OUTSRC}/efupxs.spad \ - ${OUTSRC}/eigen.spad ${OUTSRC}/elemntry.spad ${OUTSRC}/elfuts.spad \ - ${OUTSRC}/equation1.spad ${OUTSRC}/equation2.spad ${OUTSRC}/error.spad \ - ${OUTSRC}/expexpan.spad ${OUTSRC}/expr2ups.spad \ - ${OUTSRC}/exprode.spad ${OUTSRC}/expr.spad \ - ${OUTSRC}/f01.spad ${OUTSRC}/f02.spad ${OUTSRC}/f04.spad \ - ${OUTSRC}/f07.spad ${OUTSRC}/facutil.spad ${OUTSRC}/ffcat.spad \ - ${OUTSRC}/ffcg.spad ${OUTSRC}/fff.spad ${OUTSRC}/ffhom.spad \ - ${OUTSRC}/ffnb.spad ${OUTSRC}/ffpoly2.spad ${OUTSRC}/ffpoly.spad \ - ${OUTSRC}/ffp.spad ${OUTSRC}/ffx.spad \ - ${OUTSRC}/files.spad ${OUTSRC}/float.spad ${OUTSRC}/fmod.spad \ - ${OUTSRC}/fname.spad ${OUTSRC}/fnla.spad ${OUTSRC}/formula.spad \ - ${OUTSRC}/fortcat.spad ${OUTSRC}/fortmac.spad ${OUTSRC}/fortpak.spad \ - ${OUTSRC}/fortran.spad ${OUTSRC}/forttyp.spad ${OUTSRC}/fourier.spad \ - ${OUTSRC}/fparfrac.spad ${OUTSRC}/fraction.spad ${OUTSRC}/free.spad \ - ${OUTSRC}/fr.spad ${OUTSRC}/fs2expxp.spad ${OUTSRC}/fs2ups.spad \ - ${OUTSRC}/fspace.spad ${OUTSRC}/funcpkgs.spad ${OUTSRC}/functions.spad \ - ${OUTSRC}/galfact.spad ${OUTSRC}/galfactu.spad ${OUTSRC}/galpolyu.spad \ - ${OUTSRC}/galutil.spad ${OUTSRC}/gaussfac.spad ${OUTSRC}/gaussian.spad \ - ${OUTSRC}/gbeuclid.spad ${OUTSRC}/gbintern.spad ${OUTSRC}/gb.spad \ - ${OUTSRC}/gdirprod.spad ${OUTSRC}/gdpoly.spad ${OUTSRC}/geneez.spad \ - ${OUTSRC}/generic.spad ${OUTSRC}/genufact.spad ${OUTSRC}/genups.spad \ - ${OUTSRC}/ghensel.spad ${OUTSRC}/gpgcd.spad ${OUTSRC}/gpol.spad \ - ${OUTSRC}/grdef.spad ${OUTSRC}/groebf.spad ${OUTSRC}/groebsol.spad \ - ${OUTSRC}/gseries.spad \ - ${OUTSRC}/ideal.spad ${OUTSRC}/idecomp.spad ${OUTSRC}/indexedp.spad \ - ${OUTSRC}/infprod.spad ${OUTSRC}/intaf.spad ${OUTSRC}/intalg.spad \ - ${OUTSRC}/intaux.spad ${OUTSRC}/intclos.spad ${OUTSRC}/intef.spad \ - ${OUTSRC}/integer.spad ${OUTSRC}/integrat.spad \ - ${OUTSRC}/interval.spad \ - ${OUTSRC}/intfact.spad ${OUTSRC}/intpm.spad \ - ${OUTSRC}/intrf.spad \ - ${OUTSRC}/irexpand.spad \ - ${OUTSRC}/irsn.spad ${OUTSRC}/ituple.spad \ - ${OUTSRC}/kl.spad ${OUTSRC}/kovacic.spad \ - ${OUTSRC}/laplace.spad ${OUTSRC}/laurent.spad ${OUTSRC}/leadcdet.spad \ - ${OUTSRC}/lie.spad ${OUTSRC}/limitps.spad ${OUTSRC}/lindep.spad \ - ${OUTSRC}/lingrob.spad ${OUTSRC}/liouv.spad ${OUTSRC}/listgcd.spad \ - ${OUTSRC}/list.spad ${OUTSRC}/lmdict.spad ${OUTSRC}/lodof.spad \ - ${OUTSRC}/lodop.spad ${OUTSRC}/lodo.spad \ - ${OUTSRC}/manip.spad ${OUTSRC}/mappkg.spad ${OUTSRC}/matcat.spad \ - ${OUTSRC}/matfuns.spad ${OUTSRC}/mathml.spad \ - ${OUTSRC}/matrix.spad ${OUTSRC}/matstor.spad \ - ${OUTSRC}/mesh.spad ${OUTSRC}/mfinfact.spad ${OUTSRC}/misc.spad \ - ${OUTSRC}/mkfunc.spad ${OUTSRC}/mkrecord.spad \ - ${OUTSRC}/mlift.spad ${OUTSRC}/moddfact.spad ${OUTSRC}/modgcd.spad \ - ${OUTSRC}/modmonom.spad ${OUTSRC}/modmon.spad ${OUTSRC}/modring.spad \ - ${OUTSRC}/moebius.spad ${OUTSRC}/mring.spad ${OUTSRC}/mset.spad \ - ${OUTSRC}/mts.spad ${OUTSRC}/multfact.spad ${OUTSRC}/multpoly.spad \ - ${OUTSRC}/multsqfr.spad \ - ${OUTSRC}/naalgc.spad ${OUTSRC}/naalg.spad \ - ${OUTSRC}/newdata.spad ${OUTSRC}/newpoint.spad \ - ${OUTSRC}/newpoly.spad ${OUTSRC}/nlinsol.spad ${OUTSRC}/nlode.spad \ - ${OUTSRC}/npcoef.spad \ - ${OUTSRC}/nregset.spad \ - ${OUTSRC}/nsregset.spad ${OUTSRC}/numeigen.spad ${OUTSRC}/numeric.spad \ - ${OUTSRC}/numode.spad ${OUTSRC}/numquad.spad ${OUTSRC}/numsolve.spad \ - ${OUTSRC}/numtheor.spad \ - ${OUTSRC}/oct.spad ${OUTSRC}/odealg.spad ${OUTSRC}/odeef.spad \ - ${OUTSRC}/oderf.spad ${OUTSRC}/omcat.spad ${OUTSRC}/omdev.spad \ - ${OUTSRC}/omerror.spad ${OUTSRC}/omserver.spad ${OUTSRC}/opalg.spad \ - ${OUTSRC}/openmath.spad ${OUTSRC}/op.spad ${OUTSRC}/ore.spad \ - ${OUTSRC}/outform.spad ${OUTSRC}/out.spad \ - ${OUTSRC}/pade.spad ${OUTSRC}/padiclib.spad ${OUTSRC}/padic.spad \ - ${OUTSRC}/paramete.spad ${OUTSRC}/partperm.spad ${OUTSRC}/patmatch1.spad \ - ${OUTSRC}/patmatch2.spad ${OUTSRC}/pattern.spad ${OUTSRC}/pcurve.spad \ - ${OUTSRC}/pdecomp.spad ${OUTSRC}/perman.spad ${OUTSRC}/permgrps.spad \ - ${OUTSRC}/perm.spad ${OUTSRC}/pfbr.spad ${OUTSRC}/pfo.spad \ - ${OUTSRC}/pfr.spad ${OUTSRC}/pf.spad ${OUTSRC}/pgcd.spad \ - ${OUTSRC}/pgrobner.spad ${OUTSRC}/pinterp.spad ${OUTSRC}/pleqn.spad \ - ${OUTSRC}/plot3d.spad ${OUTSRC}/plot.spad ${OUTSRC}/plottool.spad \ - ${OUTSRC}/polset.spad ${OUTSRC}/poltopol.spad ${OUTSRC}/polycat.spad \ - ${OUTSRC}/poly.spad ${OUTSRC}/primelt.spad ${OUTSRC}/print.spad \ - ${OUTSRC}/product.spad ${OUTSRC}/prs.spad ${OUTSRC}/prtition.spad \ - ${OUTSRC}/pscat.spad ${OUTSRC}/pseudolin.spad ${OUTSRC}/ptranfn.spad \ - ${OUTSRC}/puiseux.spad \ - ${OUTSRC}/qalgset.spad ${OUTSRC}/quat.spad \ - ${OUTSRC}/radeigen.spad ${OUTSRC}/radix.spad ${OUTSRC}/random.spad \ - ${OUTSRC}/ratfact.spad ${OUTSRC}/rdeef.spad ${OUTSRC}/rderf.spad \ - ${OUTSRC}/rdesys.spad ${OUTSRC}/real0q.spad ${OUTSRC}/realzero.spad \ - ${OUTSRC}/reclos.spad ${OUTSRC}/regset.spad ${OUTSRC}/rep1.spad \ - ${OUTSRC}/rep2.spad ${OUTSRC}/resring.spad ${OUTSRC}/retract.spad \ - ${OUTSRC}/rf.spad ${OUTSRC}/riccati.spad ${OUTSRC}/rinterp.spad \ - ${OUTSRC}/routines.spad \ - ${OUTSRC}/rule.spad \ - ${OUTSRC}/seg.spad ${OUTSRC}/setorder.spad ${OUTSRC}/sets.spad \ - ${OUTSRC}/sex.spad ${OUTSRC}/sf.spad ${OUTSRC}/sgcf.spad \ - ${OUTSRC}/sign.spad ${OUTSRC}/si.spad ${OUTSRC}/smith.spad \ - ${OUTSRC}/solvedio.spad ${OUTSRC}/solvefor.spad ${OUTSRC}/solvelin.spad \ - ${OUTSRC}/solverad.spad ${OUTSRC}/sortpak.spad ${OUTSRC}/space.spad \ - ${OUTSRC}/special.spad ${OUTSRC}/sregset.spad ${OUTSRC}/s.spad \ - ${OUTSRC}/stream.spad ${OUTSRC}/string.spad ${OUTSRC}/sttaylor.spad \ - ${OUTSRC}/sttf.spad ${OUTSRC}/sturm.spad ${OUTSRC}/suchthat.spad \ - ${OUTSRC}/suls.spad ${OUTSRC}/sum.spad ${OUTSRC}/sups.spad \ - ${OUTSRC}/supxs.spad ${OUTSRC}/suts.spad ${OUTSRC}/symbol.spad \ - ${OUTSRC}/syssolp.spad ${OUTSRC}/system.spad \ - ${OUTSRC}/tableau.spad ${OUTSRC}/table.spad ${OUTSRC}/taylor.spad \ - ${OUTSRC}/tex.spad ${OUTSRC}/tools.spad ${OUTSRC}/transsolve.spad \ - ${OUTSRC}/tree.spad ${OUTSRC}/trigcat.spad ${OUTSRC}/triset.spad \ - ${OUTSRC}/tube.spad ${OUTSRC}/twofact.spad \ - ${OUTSRC}/unifact.spad ${OUTSRC}/updecomp.spad ${OUTSRC}/updivp.spad \ - ${OUTSRC}/utsode.spad \ - ${OUTSRC}/variable.spad ${OUTSRC}/vector.spad ${OUTSRC}/view2D.spad \ - ${OUTSRC}/view3D.spad ${OUTSRC}/viewDef.spad ${OUTSRC}/viewpack.spad \ - ${OUTSRC}/void.spad \ - ${OUTSRC}/weier.spad ${OUTSRC}/wtpol.spad \ - ${OUTSRC}/xlpoly.spad ${OUTSRC}/xpoly.spad \ - ${OUTSRC}/ystream.spad \ - ${OUTSRC}/zerodim.spad - -@ - -\subsection{The ALDORFILES list} -<<environment>>= - -ALDORFILES= \ - axtimer.as \ - ffrac.as \ - herm.as \ - interval.as \ - invnode.as \ - invrender.as \ - invtypes.as \ - invutils.as \ - iviews.as \ - ndftip.as \ - nepip.as \ - noptip.as nqip.as \ - nrc.as nsfip.as - -@ - - -\section{Test Cases} - -<<environment>>= - -TESTS=${INPUT}/INTHEORY.input ${INPUT}/VIEW2D.input ${INPUT}/TESTFR.input - -@ - -<<testrules>>= - -${INPUT}/TESTFR.input: $(srcdir)/fr.spad.pamphlet - $(oa_hammer) --tangle='TEST FR' --output=$@ $< - -${INPUT}/INTHEORY.input: $(srcdir)/numtheor.spad.pamphlet - $(oa_hammer) --tangle='TEST INTHEORY' --output=$@ $< - -${INPUT}/VIEW2D.input: $(srcdir)/view2D.spad.pamphlet - $(oa_hammer) --tangle='TEST VIEW2D' --output=$@ $< - -@ - -\section{The Makefile Stanzas} - -A [[spad]] pamphlet can contain many Axiom [[categories]], [[domains]], and -[[packages]]. - -For the purpose of explanation we assume that the pamphlet file is -named [[foo.spad.pamphlet]]. It contains the domains [[BAR]], [[BAX]], -and [[BAZ]]. Thus there will be a subsection named [[foo.spad]]. - -Since pamphlet files (e.g. [[foo.spad.pamphlet]] contain a spad file -e.g. [[foo.spad]], it follows that every subsection contains a Makefile -stanza that extract the [[foo.spad]] file using [[notangle]]. - -Since pamphlet files are intended as documents it follows that each -subsection contains a Makefile stanza that extracts a [[dvi]] file -using [[noweave]]. - -We could have a category, domain, or package that is in -the ``bootstrap'' list. Bootstrap spad files contain their generated -lisp code in special sections. The way bootstrapping works is that -we extract the lisp code and compile it rather than extracting the -spad code. We do this because we need the domain to exist before we -can compile the domain. Some domains depend on themselves directly. -Some domains depend on themselves thru a long chain of other domains. -In either case we can't compile the domain until it exists so we -cache the generated lisp code and, when we need to bootstrap the -domain, we compile the raw lisp rather than the spad. - -This will only happen when the system is built from scratch. Once -the system has been built the bootstrap code is no longer executed -and these algebra files will appear as normal algebra files. That -means that once the system has been built once only the last three -rules will ever be executed. The first two rules happen when the -system is built from scratch. - -A 5 stanza group for this case performs the following functions: -\begin{enumerate} -\item compile and copy the bootstrap lisp to the final algebra directory -\item compile the extracted [[BAR]] domain -\item copy the compiled [[BAR]] to the final algebra directory -\end{enumerate} - -The subtle point here occurs in the first item. The bootstrap code -group (in the [[layer0 bootstrap]] code chunk above) asks for the -compiled [[.$(FASLEXT)]] files in the \File{strap/} directory. Essentially this -code group calls for intermediate compiled files. This triggers the -bootstrap stanzas (items 1 and 2 above). All of the other layer -chunks ask for compiled code in the [[\${OUT}]] directory which is -the final algebra directory. - -The bootstrap process works because first we ask for the compiled -lisp code stanzas (the \File{strap/BAR.$(FASLEXT)} files), THEN we ask for -the final algebra code stanzas (the [[\${OUT}/BAR.$(FASLEXT)]] files). This -is a very subtle point so think it through carefully. The layer0 -bootstrap list is the only file list that calls for \File{strap/} files. -All other layers ask for [[\${OUT}]] files. Make sure you -understand this before you change things. If you break it the -world will no longer compile. - -So we have a 3 stanza group for normal files, a 3+2 (5) stanza -group for normal files with default code, and a 3+2 (5) stanza -group for normal files that need to be bootstrapped. There is -another combination that occurs, namely bootstrap code that -also contains default code which gives a 3+2+2+2 (9) stanza case. -(see TSETCAT for an example. Be sure to read the items in reverse order). - -A 9 stanza group for this case performs the following functions: -\begin{enumerate} -\item extract the bootstrap \File{BAR.lsp} from the \File{foo.spad.pamphlet} -\item compile the bootstrap \File{BAR.lsp} to the \File{strap/} directory -\item extract the bootstrap \File{BAR-.lsp} from the \File{foo.spad.pamphlet} -\item compile the bootstrap \File{BAR-.lsp} to the \File{strap/} directory -\item extract the spad \File{BAR.spad} from the pamphlet - \File{foo.spad.pamphlet} -\item compile the extracted \File{BAR.spad} domain (to get [[BAR.$(FASLEXT)]]) -\item copy the \File{BAR.$(FASLEXT)} to the final algebra directory -\item compile the extracted \File{BAR-.spad} domain (to get [[BAR-.$(FASLEXT)]]) -\item copy the [[BAR-.$(FASLEXT)]] to the final algebra directory -\end{enumerate} - -As you can see this is just the combination of the two possible 5 -stanza case. We just have to deal with the [[BAR-]] both in regular -and bootstrap files. The first four stanzas will only happen when -the system is built from scratch. Once the system is built these -four rules no longer apply and these stanzas effectively act like -the 5 stanza rules above. - -I'm sure all of this seems confusing but it is very stylized code. -Basically you need to figure out which kind of stanza group you need, -copy an existing stanza group, and do a correct renaming of the parts. -The decision tree looks something like: -\begin{verbatim} -IF (you have a regular spad domain) - THEN use a 3 stanza form (see YSTREAM) -IF (you have a default spad domain (it generates [[-]] files)) AND - (it does not require bootstrapping) - THEN use the first 5 stanza form explained above (see LIECAT) -IF (you have a normal spad domain) AND - (it requires bootstrapping) - THEN use the second 5 stanza form explained above (see VECTOR) -IF (you have a default spad domain (it generates [[-]] files)) AND - (it requires bootstrapping) - THEN use the 9 stanza form explained above (see TSETCAT) -\end{verbatim} - -\section{Generic Make Rules} - -The idea is to use generic rules to try to cut down the size of this file. - -This Makefile works very hard to cache -intermediate results in order to minimize the re-build time. The cached -files are kept in the current build and \File{strap/} directories. -If one of these -files disappears but the original pamphlet file is unchanged we only -need to rebuild the intermediate file. These rule will attempt to do -that and they succeed however these are intermediate files created by -implicit rules so they would normally be deleted. To prevent the removal -the NRLIB directory and its contents, the files are marked as .PRECIOUS. - -The output of the compile step is saved in a file of the same name -and extension .$(FASLEXT)ut in the \${MID} directory. These files are useful for -deriving the dependencies by scanning the ``Loading ...'' messages. - -<<genericDotOfiles>>= - -.PRECIOUS: $(OUT)/%.$(FASLEXT) -${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) - cp $< $@ - -@ - -<<genericNRLIBfiles>>= -.PREVIOUS: %.spad -.PRECIOUS: %.NRLIB/code.$(FASLEXT) -%.NRLIB/code.$(FASLEXT): %.spad - ${INTERPSYS} --strap=strap --system-algebra --optimize=3 --compile $< - -@ - -<<genericBOOTSTRAPfiles>>= -# Compile bootstrap file to machine object code, and the result -# immediately available for AXIOMsys consumption. -strap/%.$(FASLEXT): $(srcdir)/strap/%.lsp - $(COMPILE_LISP) - -@ - -<<genericSPADfiles>>= - -$(OUTSRC)/%.spad: mk-target-src-algabra-dir - -${OUTSRC}/%.spad: $(srcdir)/%.spad.pamphlet - $(oa_hammer) --tangle --output=$@ $< - -.PHONY: mk-target-src-algabra-dir -mk-target-src-algabra-dir: - @ [ -d $(OUTSRC) ] || $(mkdir_p) $(OUTSRC) - -@ -<<genericDOCfiles>>= -.PRECIOUS: $(builddir)/%.tex -.PRECIOUS: $(builddir)/%.dvi - -$(DOC)/%.dvi: mk-target-doc-dir - -.PHONY: mk-target-doc-dir -mk-target-doc-dir: - @ [ -d $(DOC) ] || $(mkdir_p) $(DOC) - -$(DOC)/%.dvi: $(builddir)/%.dvi - @cp -p $< $@ - -$(builddir)/%.dvi: $(axiom_build_texdir)/diagrams.tex \ - $(axiom_build_texdir)/axiom.sty - -$(builddir)/%.dvi: $(builddir)/%.tex - $(oa_hammer) --latex $< - -$(builddir)/%.tex: $(srcdir)/%.pamphlet - $(oa_hammer) --weave --output=$@ $< - -$(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex - @cp -p $< $@ -@ -<<genericRules>>= - -<<genericDotOfiles>> -<<genericNRLIBfiles>> -<<genericBOOTSTRAPfiles>> -<<genericSPADfiles>> -<<genericDOCfiles>> - -SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad - ${INTERPSYS} --system-algebra --compile $< - -PARSER.NRLIB/code.$(FASLEXT): script-parser.spad - ${INTERPSYS} --system-algebra --compile $< - -@ -<<diagrams.tex (OUT from IN)>>= - -${DOC}/diagrams.tex: $(axiom_src_docdir)/diagrams.tex - @cp -p $< $@ - -@ - -\section{Pamphlet file structure} - -Because the individual .spad files are grouped into higher-level -algebra pamphlet files, the rules for extracting them are coded -below as simple ``awk'' scripts that are called when the Makefile -is constructed. - -There are, at present, 3 kinds of algebra files to be handled. -First we have [[.as]] files which use the [[aldor]] compiler. -These are ignored here as the compiler is not yet integrated. - -Second, there are the bootstrap files. These files live within -their respective pamphlet files and are "captured" lisp code. -These are necessary to create the algebra. See the -[[src/algebra/Makefile.pamphlet]] for details. - -Third, there are 3 "types" of algebra which are all treated -the same at compile time, namely the "domain", "category", and -"package" algebra. - -\subsection{Finding the algebra code} - -NOTE: This construct is now moved to configure time. Update. - -Step 1 is to scan all of the algebra pamphlet files for the -chunk names which contain the string "domain", "package", or -"category". This is done using egrep (same as grep -E, which -means that the pattern is an extended regular expression) because -extended regular expressions allows the use of alternatives -written as (domain|package|category). Thus the command -\begin{verbatim} - egrep '@<<(domain|package|category) .*>>=' *.spad.pamphlet -\end{verbatim} -will scan the algebra files looking for special chunknames. -Axiom's chunk names are written in a stylized form so that each -algebra chunk name begins with one of those three symbols. Thus -in zerodim.spad.pamphlet the LexTriangularPackage chunkname is: -\begin{verbatim} -@<<package LEXTRIPK LexTriangularPackage>> -\end{verbatim} -so this egrep will generate an output line, prefixed by the filename -that looks like: -\begin{verbatim} -zerodim.spad.pamphlet:@<<package LEXTRIPK LexTriangularPackage>>= -\end{verbatim} -There can be many lines of output per pamphlet file, one for -each domain, package and category cod chunk contained in the file. - -Step 2 is an [[awk]] command line. - -\subsection{Write the Makefile stanzas for the algebra files} - -NOTE: This construct is now moved to configure time. - -[awk] processes each line of the [[egrep]] output. - -The awk script uses [[-F:]] which is a flag that says that a [[:]] is -the field separator. As a result the \$1 and \$2 in the awk script -refer to the parts of the egrep output that come before and after the -[[:]] respectively. - -The variable [[chunk]] is assigned the actual chunk name minus -the @<< and >>= delimiters. In the example given above this will become -\begin{verbatim} -package LEXTRIPK LexTriangularPackage -\end{verbatim} -The call to [[split]] splits the chunk into parts separated -by spaces. Thus -\begin{verbatim} - part[1]=package - part[2]=LEXTRIPK - part[3]=LexTriangularPackage -\end{verbatim} -The variable [[spadfile]] in the above example is set to -\begin{verbatim} -${MID}/LEXTRIPK.spad -\end{verbatim} -Finally, in the domain example given above we print two lines. -The first line is the Makefile stanza header which depends on the -original [[zerodim.spad.pamphlet]] file. - -The second line is the body of the makefile stanza which calls -notangle to extract the algebra from the original pamphlet using -the chunk name and writes it to the intermediate subdirectory. In -the case above this would resolve to [[\${MID}/LEXTRIPK.spad]]. - -For the line given above it outputs the following: -\begin{verbatim} -${MID}/LEXTRIPK.spad: $(srcdir)/zerodim.spad.pamphlet - $(oa_hammer) --tangle='package LEXTRIPK LexTriangularPackage' --output=$@ $< -\end{verbatim} - - -\section{Stage markers} - -We output these as each stage completes. -<<stages>>= -$(axiom_algebra_layer_0_objects): strap-stamp -$(axiom_algebra_layer_1_objects): 0-stamp -$(axiom_algebra_layer_2_objects): 1-stamp -$(axiom_algebra_layer_3_objects): 2-stamp -$(axiom_algebra_layer_4_objects): 3-stamp -$(axiom_algebra_layer_5_objects): 4-stamp -$(axiom_algebra_layer_6_objects): 5-stamp -$(axiom_algebra_layer_7_objects): 6-stamp -$(axiom_algebra_layer_8_objects): 7-stamp -$(axiom_algebra_layer_9_objects): 8-stamp -$(axiom_algebra_layer_10_objects): 9-stamp -$(axiom_algebra_layer_11_objects): 10-stamp -$(axiom_algebra_layer_12_objects): 11-stamp -$(axiom_algebra_layer_13_objects): 12-stamp -$(axiom_algebra_layer_14_objects): 13-stamp -$(axiom_algebra_layer_15_objects): 14-stamp -$(axiom_algebra_layer_16_objects): 15-stamp -$(axiom_algebra_layer_17_objects): 16-stamp -$(axiom_algebra_layer_18_objects): 17-stamp -$(axiom_algebra_layer_19_objects): 18-stamp -$(axiom_algebra_layer_20_objects): 19-stamp -$(axiom_algebra_layer_21_objects): 20-stamp -$(axiom_algebra_layer_22_objects): 21-stamp -$(axiom_algebra_layer_23_objects): 22-stamp -$(axiom_algebra_bootstrap_last_layer_objects): 23-stamp -$(axiom_algebra_layer_user_objects): bootstrap-stamp - -strap-stamp: $(axiom_algebra_layer_strap_objects) - @ rm -f strap-stamp - @ $(STAMP) strap-stamp - @ echo ===================================== - @ echo === algebra bootstrap complete ====== - @ echo ===================================== - -0-stamp: strap-stamp $(axiom_algebra_layer_0_objects) - @ rm -f 0-stamp - @ $(STAMP) 0-stamp - @ echo ================================== - @ echo === layer 0 of 23 complete ====== - @ echo ================================== - -1-stamp: 0-stamp $(axiom_algebra_layer_1_objects) - @ rm -f 1-stamp - @ $(STAMP) 1-stamp - @ echo ================================== - @ echo === layer 1 of 23 complete ====== - @ echo ================================== - -2-stamp: 1-stamp $(axiom_algebra_layer_2_objects) - @ rm -f 2-stamp - @ $(STAMP) 2-stamp - @ echo ================================== - @ echo === layer 2 of 23 complete ====== - @ echo ================================== - -3-stamp: 2-stamp $(axiom_algebra_layer_3_objects) - @ rm -f 3-stamp - @ $(STAMP) 3-stamp - @ echo ================================== - @ echo === layer 3 of 23 complete ====== - @ echo ================================== - -4-stamp: 3-stamp $(axiom_algebra_layer_4_objects) - @ rm -f 4-stamp - @ $(STAMP) 4-stamp - @ echo ================================== - @ echo === layer 4 of 23 complete ====== - @ echo ================================== - -5-stamp: 4-stamp $(axiom_algebra_layer_5_objects) - @ rm -f 5-stamp - @ $(STAMP) 5-stamp - @ echo ================================== - @ echo === layer 5 of 23 complete ====== - @ echo ================================== - -6-stamp: 5-stamp $(axiom_algebra_layer_6_objects) - @ rm -f 6-stamp - @ $(STAMP) 6-stamp - @ echo ================================== - @ echo === layer 6 of 23 complete ====== - @ echo ================================== - -7-stamp: 6-stamp $(axiom_algebra_layer_7_objects) - @ rm -f 7-stamp - @ $(STAMP) 7-stamp - @ echo ================================== - @ echo === layer 7 of 23 complete ====== - @ echo ================================== - -8-stamp: 7-stamp $(axiom_algebra_layer_8_objects) - @ rm -f 8-stamp - @ $(STAMP) 8-stamp - @ echo ================================== - @ echo === layer 8 of 23 complete ====== - @ echo ================================== - -9-stamp: 8-stamp $(axiom_algebra_layer_9_objects) - @ rm -f 9-stamp - @ $(STAMP) 9-stamp - @ echo ================================== - @ echo === layer 9 of 23 complete ====== - @ echo ================================== - -10-stamp: 9-stamp $(axiom_algebra_layer_10_objects) - @ rm -f 10-stamp - @ $(STAMP) 10-stamp - @ echo ================================== - @ echo === layer 10 of 23 complete ====== - @ echo ================================== - -11-stamp: 10-stamp $(axiom_algebra_layer_11_objects) - @ rm -f 11-stamp - @ $(STAMP) 11-stamp - @ echo ================================== - @ echo === layer 11 of 23 complete ====== - @ echo ================================== - -12-stamp: 11-stamp $(axiom_algebra_layer_12_objects) - @ rm -f 12-stamp - @ $(STAMP) 12-stamp - @ echo ================================== - @ echo === layer 12 of 23 complete ====== - @ echo ================================== - -13-stamp: 12-stamp $(axiom_algebra_layer_13_objects) - @ rm -f 13-stamp - @ $(STAMP) 13-stamp - @ echo ================================== - @ echo === layer 13 of 23 complete ====== - @ echo ================================== - -14-stamp: 13-stamp $(axiom_algebra_layer_14_objects) - @ rm -f 14-stamp - @ $(STAMP) 14-stamp - @ echo ================================== - @ echo === layer 14 of 23 complete ====== - @ echo ================================== - -15-stamp: 14-stamp $(axiom_algebra_layer_15_objects) - @ rm -f 15-stamp - @ $(STAMP) 15-stamp - @ echo ================================== - @ echo === layer 15 of 23 complete ====== - @ echo ================================== - -16-stamp: 15-stamp $(axiom_algebra_layer_16_objects) - @ rm -f 16-stamp - @ $(STAMP) 16-stamp - @ echo ================================== - @ echo === layer 16 of 23 complete ====== - @ echo ================================== - -17-stamp: 16-stamp $(axiom_algebra_layer_17_objects) - @ rm -f 17-stamp - @ $(STAMP) 17-stamp - @ echo ================================== - @ echo === layer 17 of 23 complete ====== - @ echo ================================== - -18-stamp: 17-stamp $(axiom_algebra_layer_18_objects) - @ rm -f 18-stamp - @ $(STAMP) 18-stamp - @ echo ================================== - @ echo === layer 18 of 23 complete ====== - @ echo ================================== - -19-stamp: 18-stamp $(axiom_algebra_layer_19_objects) - @ rm -f 19-stamp - @ $(STAMP) 19-stamp - @ echo ================================== - @ echo === layer 19 of 23 complete ====== - @ echo ================================== - -20-stamp: 19-stamp $(axiom_algebra_layer_20_objects) - @ rm -f 20-stamp - @ $(STAMP) 20-stamp - @ echo ================================== - @ echo === layer 20 of 23 complete ====== - @ echo ================================== - -21-stamp: 20-stamp $(axiom_algebra_layer_21_objects) - @ rm -f 21-stamp - @ $(STAMP) 21-stamp - @ echo ================================== - @ echo === layer 21 of 23 complete ====== - @ echo ================================== - -22-stamp: 21-stamp $(axiom_algebra_layer_22_objects) - @ rm -f 22-stamp - @ $(STAMP) 22-stamp - @ echo ================================== - @ echo === layer 22 of 23 complete ====== - @ echo ================================== - -23-stamp: 22-stamp $(axiom_algebra_layer_23_objects) - @ rm -f 23-stamp - @ $(STAMP) 23-stamp - @ echo ================================== - @ echo === layer 23 of 23 complete ====== - @ echo ================================== - -bootstrap-stamp: 23-stamp $(axiom_algebra_bootstrap_last_layer_objects) - @ rm -f bootstrap-stamp - @ $(STAMP) bootstrap-stamp - @ echo ================================== - @ echo === algebra complete ====== - @ echo ================================== - -user-stamp: $(axiom_algebra_layer_user_objects) - @ rm -f user-stamp - @ $(STAMP) user-stamp - - -@ - -\section{The Makefile} - -<<*>>= -<<environment>> - -subdir = src/algebra/ - -<<layer0 bootstrap>> -<<layer0 copy>> -<<layer0>> -<<layer1>> -<<layer2>> -<<layer3>> -<<layer4>> -<<layer5>> -<<layer6>> -<<layer7>> -<<layer8>> -<<layer9>> -<<layer10>> -<<layer11>> -<<layer12>> -<<layer13>> -<<layer14>> -<<layer15>> -<<layer16>> -<<layer17>> -<<layer18>> -<<layer19>> -<<layer20>> -<<layer21>> -<<layer22>> -<<layer23>> -<<USERLAYER>> - -.PHONY: all all-algebra mkdir-output-directory -all: all-ax - -all-ax all-algebra: stamp - @ echo finished $(builddir) - -stamp: mkdir-output-directory ${SPADFILES} user-stamp ${TESTS} - -rm -f stamp - $(STAMP) stamp - -mkdir-output-directory: - $(mkdir_p) $(OUTSRC) - -everything: check lib db cmd gloss - @ echo 4303 invoking make in `pwd` with parms: - -check: - @ echo 4305 Checking that INTERP.EXPOSED and NRLIBs are consistent - @ echo 4306 libcheck needs to use exposed.lsp, not INTERP.EXPOSED - - -<<genericRules>> - -<<testrules>> -<<diagrams.tex (OUT from IN)>> -<<stages>> - - -.PHONY: all-algstrap -all-algstrap: $(addsuffix .NRLIB/code.lsp,$(axiom_algebra_bootstrap)) - for a in $(axiom_algebra_bootstrap); do \ - old=$(srcdir)/strap/$$a.lsp; new=$$a.NRLIB/code.lsp; \ - cmp -s $$new $$old || cp -p $$new $$old || exit 1; \ - done - -mostlyclean-local: - @rm -f $(OUT)/*.$(FASLEXT) $(OUT)/*.daase - @rm -rf *.NRLIB - @rm -rf *.DAASE *.daase libdb.text - @rm -rf strap - @rm -f *stamp - -clean-local: mostlyclean-local - -distclean-local: clean-local - -include extract-spad.mk - -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} |