aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-11-05 03:18:24 +0000
committerdos-reis <gdr@axiomatics.org>2010-11-05 03:18:24 +0000
commit595d5540c7bb5ff9f70aa9e10ad3a145ef691f3b (patch)
tree0879f7a6a8543a8e9a64328ca128545a878890a8
parent0cc74bf1129fb0330dcd85789e179653e95c76e9 (diff)
downloadopen-axiom-595d5540c7bb5ff9f70aa9e10ad3a145ef691f3b.tar.gz
* algebra/Makefile.pamphlet: Likewise.
* interp/Makefile.pamphlet: Remove.
-rwxr-xr-xbuild-setup.sh4
-rwxr-xr-xconfigure18
-rw-r--r--configure.ac2
-rw-r--r--src/ChangeLog5
-rw-r--r--src/algebra/Makefile.in89
-rw-r--r--src/algebra/Makefile.pamphlet2039
-rw-r--r--src/interp/Makefile.in46
-rw-r--r--src/interp/Makefile.pamphlet672
8 files changed, 151 insertions, 2724 deletions
diff --git a/build-setup.sh b/build-setup.sh
index d7a73d5d..b5ec8f78 100755
--- a/build-setup.sh
+++ b/build-setup.sh
@@ -12,9 +12,7 @@ autoheader || error "could not re-generate config/openaxiom-c-macros.h"
autoconf || error "could not re-generate configure"
## subdirectories that contain Makefile pamphlets of interest
-SUBDIRS=" src/interp \
- src/algebra \
- src/input \
+SUBDIRS=" src/input \
"
diff --git a/configure b/configure
index b79b3048..25fc3892 100755
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.65 for OpenAxiom 1.4.0-2010-11-03.
+# Generated by GNU Autoconf 2.65 for OpenAxiom 1.4.0-2010-11-04.
#
# Report bugs to <open-axiom-bugs@lists.sf.net>.
#
@@ -701,8 +701,8 @@ MAKEFLAGS=
# Identity of this package.
PACKAGE_NAME='OpenAxiom'
PACKAGE_TARNAME='openaxiom'
-PACKAGE_VERSION='1.4.0-2010-11-03'
-PACKAGE_STRING='OpenAxiom 1.4.0-2010-11-03'
+PACKAGE_VERSION='1.4.0-2010-11-04'
+PACKAGE_STRING='OpenAxiom 1.4.0-2010-11-04'
PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net'
PACKAGE_URL=''
@@ -1455,7 +1455,7 @@ if test "$ac_init_help" = "long"; then
# Omit some internal or obsolete options to make the list less imposing.
# This message is too long to be a string in the A/UX 3.1 sh.
cat <<_ACEOF
-\`configure' configures OpenAxiom 1.4.0-2010-11-03 to adapt to many kinds of systems.
+\`configure' configures OpenAxiom 1.4.0-2010-11-04 to adapt to many kinds of systems.
Usage: $0 [OPTION]... [VAR=VALUE]...
@@ -1525,7 +1525,7 @@ fi
if test -n "$ac_init_help"; then
case $ac_init_help in
- short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2010-11-03:";;
+ short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2010-11-04:";;
esac
cat <<\_ACEOF
@@ -1633,7 +1633,7 @@ fi
test -n "$ac_init_help" && exit $ac_status
if $ac_init_version; then
cat <<\_ACEOF
-OpenAxiom configure 1.4.0-2010-11-03
+OpenAxiom configure 1.4.0-2010-11-04
generated by GNU Autoconf 2.65
Copyright (C) 2009 Free Software Foundation, Inc.
@@ -2525,7 +2525,7 @@ cat >config.log <<_ACEOF
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
-It was created by OpenAxiom $as_me 1.4.0-2010-11-03, which was
+It was created by OpenAxiom $as_me 1.4.0-2010-11-04, which was
generated by GNU Autoconf 2.65. Invocation command line was
$ $0 $@
@@ -17801,7 +17801,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
# report actual input values of CONFIG_FILES etc. instead of their
# values after options handling.
ac_log="
-This file was extended by OpenAxiom $as_me 1.4.0-2010-11-03, which was
+This file was extended by OpenAxiom $as_me 1.4.0-2010-11-04, which was
generated by GNU Autoconf 2.65. Invocation command line was
CONFIG_FILES = $CONFIG_FILES
@@ -17867,7 +17867,7 @@ _ACEOF
cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
ac_cs_version="\\
-OpenAxiom config.status 1.4.0-2010-11-03
+OpenAxiom config.status 1.4.0-2010-11-04
configured by $0, generated by GNU Autoconf 2.65,
with options \\"\$ac_cs_config\\"
diff --git a/configure.ac b/configure.ac
index ea618b61..eed3c4b8 100644
--- a/configure.ac
+++ b/configure.ac
@@ -37,7 +37,7 @@ dnl Most of the macros used in this configure.ac are defined in files
dnl located in the subdirectory config/
sinclude(config/open-axiom.m4)
sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.4.0-2010-11-03],
+AC_INIT([OpenAxiom], [1.4.0-2010-11-04],
[open-axiom-bugs@lists.sf.net])
AC_CONFIG_AUX_DIR(config)
diff --git a/src/ChangeLog b/src/ChangeLog
index 8faf081c..07d562e9 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2010-11-04 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * algebra/Makefile.pamphlet: Likewise.
+ * interp/Makefile.pamphlet: Remove.
+
2010-11-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet: Remove.
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}
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in
index 6fbfdf3c..995ba24b 100644
--- a/src/interp/Makefile.in
+++ b/src/interp/Makefile.in
@@ -1,9 +1,45 @@
+## 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.
+##
+
subdir = src/interp/
IN=$(srcdir)
DOC=$(axiom_target_docdir)/src/interp
BOOK=$(axiom_target_docdir)
+
+# Do we still need this?
AUTO=$(axiom_targetdir)/autoload
autoload_objects =
@@ -12,9 +48,13 @@ autoload_objects =
# derived Lisp images (interpsys, AXIOMsys)
LISPSYS= $(axiom_build_bindir)/lisp$(EXEEXT)
+# Translator from Boot to Lisp (or machine code)
BOOTSYS= $(axiom_target_bindir)/bootsys$(EXEEXT) -- --syslib=$(axiom_target_libdir)
+# Minimal OpenAxiom image necessary to build the algebra
SAVESYS= interpsys$(EXEEXT)
+
+# Complete OpenAxiom image after completion of algebra, ready to install.
AXIOMSYS= $(axiom_target_bindir)/AXIOMsys$(EXEEXT)
OBJS= boot-pkg.$(FASLEXT) types.$(FASLEXT) \
@@ -88,8 +128,11 @@ OBJS= boot-pkg.$(FASLEXT) types.$(FASLEXT) \
fortcall.$(FASLEXT) i-parser.$(FASLEXT) \
$(OCOBJS) $(BROBJS) $(ASCOMP) $(INOBJS)
+# Last minite patches.
+# FIXMEL: should be folded into the main object list.
INOBJS= setvart.$(FASLEXT) interop.$(FASLEXT) patches.$(FASLEXT)
+# Main compiler files.
OCOBJS= \
info.$(FASLEXT) modemap.$(FASLEXT) \
category.$(FASLEXT) define.$(FASLEXT) \
@@ -100,6 +143,7 @@ OCOBJS= \
autoload_objects += $(OCOBJS)
+# Browser component files.
BROBJS= bc-matrix.$(FASLEXT) \
bc-misc.$(FASLEXT) bc-solve.$(FASLEXT) \
htsetvar.$(FASLEXT) \
@@ -113,6 +157,8 @@ BROBJS= bc-matrix.$(FASLEXT) \
autoload_objects += $(BFOBJS)
+# Translator from `old Spad' to `new spad (Aldor)' code.
+# FIXME: is this still relevant?
TRANOBJS= ${AUTO}/wi1.$(FASLEXT) ${AUTO}/wi2.$(FASLEXT) ${AUTO}/pspad1.$(FASLEXT) \
${AUTO}/pspad2.$(FASLEXT) ${AUTO}/mark.$(FASLEXT) ${AUTO}/nspadaux.$(FASLEXT)
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet
deleted file mode 100644
index a1579c1c..00000000
--- a/src/interp/Makefile.pamphlet
+++ /dev/null
@@ -1,672 +0,0 @@
-%% Oh Emacs, this is a -*- Makefile -*-, so give me tabs.
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/Makefile} Pamphlet}
-\author{Timothy Daly \and Gabriel Dos~Reis}
-
-\begin{document}
-\maketitle
-
-\begin{abstract}
-\end{abstract}
-
-\tableofcontents
-\eject
-
-\section{The Environment}
-
-We define 3 directories for this build. The first two are
-the traditional {\bf IN}, which is where the source pamphlets are,
-and {\bf OUT} which is where we will put the binaries.
-
-In this case the {\bf IN} files are usually written in Boot \cite{2}.
-These will be compiled in a \Tool{bootsys} image to translate from
-Boot to Common Lisp.
-
-\subsection{Documentation}
-
-The dvi files will be generated from the pamphlet files in the
-final ship \File{doc/src/} directory. Since they are system independent
-but machine generated and part of the final ship they will exist
-in the [[\$(axiom_target_docdir)/src/interp/]] directory.
-
-<<environment>>=
-IN=$(srcdir)
-DOC=$(axiom_target_docdir)/src/interp
-BOOK=$(axiom_target_docdir)
-@
-
-
-\subsection{Autloload}
-
-In order to minimize the size of the OpenAxiom image at load time
-we put some of the compiled files into a separate directory
-that will be autoloaded on demand. This directory of code
-will be shipped with the final system and so it belongs in
-the [[$(axiom_targetdir)]] subtree.
-<<environment>>=
-AUTO=$(axiom_targetdir)/autoload
-
-autoload_objects =
-
-@
-
-
-\subsection{Initial Lisp image}
-
-We need a raw Lisp image --- running on the build platform ---
-that we can use as a base to construct
-the other images. This is called {\bf LISPSYS} and is located in the
-build platform sub-directory.
-<<environment>>=
-# Build platform-dependent Lisp image, at the base of other
-# derived Lisp images (interpsys, AXIOMsys)
-LISPSYS= $(axiom_build_bindir)/lisp$(EXEEXT)
-
-@
-
-\subsection{Boot translator}
-
-Most of the interpreter is written in the Boot programming language.
-Thus we need a program to translate Boot to Common
-Lisp. That program is called the {\bf BOOTSYS} image (because the
-translator is written in {\bf boot} and needs to translate
-itself to bootstrap the system). This image is assumed to
-have been built (on the build platform) by a previous step in the
-make process.
-<<environment>>=
-BOOTSYS= $(axiom_target_bindir)/bootsys$(EXEEXT) -- --syslib=$(axiom_target_libdir)
-
-@
-
-
-The {\bf SAVESYS} image is copied to the [[$(axiom_target_bindir)]]
-subdirectory and becomes the axiom executable image. Technically, that is
-not right because the host plaform may not be the same as the build
-platform. However, we don't yet support cross compilation, so that
-is alright for the time being.
-<<environment>>=
-SAVESYS= interpsys$(EXEEXT)
-AXIOMSYS= $(axiom_target_bindir)/AXIOMsys$(EXEEXT)
-
-@
-
-
-\subsection{The Spad interpreter and compiler}
-
-<<environment>>=
-OBJS= boot-pkg.$(FASLEXT) types.$(FASLEXT) \
- sys-driver.$(FASLEXT) sys-constants.$(FASLEXT) \
- hash.$(FASLEXT) \
- sys-globals.$(FASLEXT) vmlisp.$(FASLEXT) \
- sys-os.$(FASLEXT) \
- sys-utility.$(FASLEXT) diagnostics.$(FASLEXT) \
- union.$(FASLEXT) sys-macros.$(FASLEXT) \
- macros.$(FASLEXT) metalex.$(FASLEXT) \
- parsing.$(FASLEXT) util.$(FASLEXT) \
- unlisp.$(FASLEXT) \
- astr.$(FASLEXT) bits.$(FASLEXT) \
- ht-util.$(FASLEXT) bc-util.$(FASLEXT) \
- br-search.$(FASLEXT) \
- alql.$(FASLEXT) buildom.$(FASLEXT) \
- g-util.$(FASLEXT) hashcode.$(FASLEXT) \
- simpbool.$(FASLEXT) g-timer.$(FASLEXT) \
- cattable.$(FASLEXT) posit.$(FASLEXT) \
- cformat.$(FASLEXT) \
- clam.$(FASLEXT) \
- clammed.$(FASLEXT) nlib.$(FASLEXT) \
- comp.$(FASLEXT) foam_l.$(FASLEXT) \
- pathname.$(FASLEXT) \
- compat.$(FASLEXT) \
- serror.$(FASLEXT) ptrees.$(FASLEXT) \
- cparse.$(FASLEXT) cstream.$(FASLEXT) \
- g-cndata.$(FASLEXT) database.$(FASLEXT) \
- debug.$(FASLEXT) dq.$(FASLEXT) \
- fname.$(FASLEXT) format.$(FASLEXT) \
- g-error.$(FASLEXT) g-opt.$(FASLEXT) \
- ggreater.$(FASLEXT) \
- hypertex.$(FASLEXT) \
- i-object.$(FASLEXT) i-analy.$(FASLEXT) \
- i-code.$(FASLEXT) i-resolv.$(FASLEXT) \
- i-coerce.$(FASLEXT) \
- i-coerfn.$(FASLEXT) i-eval.$(FASLEXT) \
- i-funsel.$(FASLEXT) \
- i-intern.$(FASLEXT) i-map.$(FASLEXT) \
- i-output.$(FASLEXT) \
- i-spec1.$(FASLEXT) \
- i-spec2.$(FASLEXT) i-syscmd.$(FASLEXT) \
- i-toplev.$(FASLEXT) i-util.$(FASLEXT) \
- incl.$(FASLEXT) int-top.$(FASLEXT) \
- intfile.$(FASLEXT) c-util.$(FASLEXT) \
- lisplib.$(FASLEXT) macex.$(FASLEXT) \
- match.$(FASLEXT) \
- monitor.$(FASLEXT) msg.$(FASLEXT) \
- msgdb.$(FASLEXT) \
- newaux.$(FASLEXT) newfort.$(FASLEXT) \
- nrunfast.$(FASLEXT) \
- nrungo.$(FASLEXT) nrunopt.$(FASLEXT) \
- osyscmd.$(FASLEXT) \
- packtran.$(FASLEXT) \
- pf2sex.$(FASLEXT) \
- scan.$(FASLEXT) pile.$(FASLEXT) \
- property.$(FASLEXT) \
- postpar.$(FASLEXT) parse.$(FASLEXT) \
- spad-parser.$(FASLEXT) \
- record.$(FASLEXT) \
- rulesets.$(FASLEXT) \
- server.$(FASLEXT) \
- setvars.$(FASLEXT) \
- sfsfun-l.$(FASLEXT) sfsfun.$(FASLEXT) \
- slam.$(FASLEXT) fnewmeta.$(FASLEXT) \
- preparse.$(FASLEXT) bootlex.$(FASLEXT) \
- spad.$(FASLEXT) \
- spaderror.$(FASLEXT) \
- termrw.$(FASLEXT) \
- trace.$(FASLEXT) daase.$(FASLEXT) \
- fortcall.$(FASLEXT) i-parser.$(FASLEXT) \
- $(OCOBJS) $(BROBJS) $(ASCOMP) $(INOBJS)
-
-@
-
-Before we save the {\bf SAVESYS} image we need to run some
-initialization code. These files perform initialization
-for various parts of the system. The {\bf patches.lisp} \cite{5}
-file contains last-minute changes to various functions and
-constants.
-<<environment>>=
-INOBJS= setvart.$(FASLEXT) interop.$(FASLEXT) patches.$(FASLEXT)
-
-@
-
-Certain functions do not need to be in the running system.
-If the running image never calls the compiler or does not
-use the hypertex browser we will never call the functions
-in these files. The code that calls these functions in the
-running system will autoload the appropriate files the
-first time they are called. Loading the files overwrites
-the autoload function call and re-calls the function.
-Any subsequent calls will run the compiled code.
-
-The {\bf OCOBJS} list contains files from the old compiler. Again,
-``old'' is meaningless. These files should probably be autoloaded.
-<<environment>>=
-OCOBJS= \
- info.$(FASLEXT) modemap.$(FASLEXT) \
- category.$(FASLEXT) define.$(FASLEXT) \
- compiler.$(FASLEXT) \
- c-doc.$(FASLEXT) \
- profile.$(FASLEXT) functor.$(FASLEXT) \
- nruncomp.$(FASLEXT) htcheck.$(FASLEXT)
-
-autoload_objects += $(OCOBJS)
-
-@
-
-The {\bf BROBJS} list contains files only used by the hypertex
-browser. These files should probably be autoloaded.
-<<environment>>=
-BROBJS= bc-matrix.$(FASLEXT) \
- bc-misc.$(FASLEXT) bc-solve.$(FASLEXT) \
- htsetvar.$(FASLEXT) \
- ht-root.$(FASLEXT) \
- br-con.$(FASLEXT) \
- br-data.$(FASLEXT) showimp.$(FASLEXT) \
- br-op1.$(FASLEXT) br-op2.$(FASLEXT) \
- br-util.$(FASLEXT) \
- topics.$(FASLEXT) br-prof.$(FASLEXT) \
- br-saturn.$(FASLEXT)
-
-autoload_objects += $(BFOBJS)
-
-@
-
-The {\bf TRANOBJS} list contains files used by Spad to Aldor convertor.
-The files probably are also used by the {\bf boot}
-to Common Lisp translator and are probably never used by anyone
-but the developers.
-
-When a user requests converting a file from Spad to Aldor the
-function
-[[spad2AsTranslatorAutoloadOnceTrigger]] is called triggering
-load of this group of files. Loading [[$TRANOBJS]] in turn replaces
-many compiler functions by versions contain in this files.
- These files should probably be autoloaded
-(at least [[${AUTO}/wi1.$(FASLEXT)]] and [[${AUTO}/wi2.$(FASLEXT)]]
-(which replace compiler functions) {\em must} be autoloaded).
-<<environment>>=
-TRANOBJS= ${AUTO}/wi1.$(FASLEXT) ${AUTO}/wi2.$(FASLEXT) ${AUTO}/pspad1.$(FASLEXT) \
- ${AUTO}/pspad2.$(FASLEXT) ${AUTO}/mark.$(FASLEXT) ${AUTO}/nspadaux.$(FASLEXT)
-
-autoload_objects += $(TRANOBJS)
-
-@
-
-The {\bf ASCOMP} list contains files used by the {\bf Aldor}
-\cite{5} compiler. These files should probably be autoloaded.
-<<environment>>=
-ASCOMP= as.$(FASLEXT) axext_l.$(FASLEXT)
-
-@
-
-The {\bf ASAUTO} list contains files used by the {\bf Aldor}
-\cite{5} compiler. These files are autoloaded as needed.
-<<environment>>=
-ASAUTO= ${AUTO}/ax.$(FASLEXT)
-
-autoload_objects += $(ASAUTO)
-@
-
-OpenAxiom versions are given as a string of the form:
-"Sunday September 21, 2003 at 20:38:05 "
-which describe the day, date, and time of the build.
-This is used for reporting bugs. It is only partially useful
-in identifying which source code was used. Ideally we could create
-a tar file of all of the date/time stamps of all of the source files
-and use the MD5 hash of that file as the version stamp. Ultimately
-though, this would be chasing the elusive "perfect information" idea.
-
-A new variable [[boot::*build-version*]] is set here and used by the
-[[yearweek]] function to display the version number of the OpenAxiom build.
-This information is set by hand in the top level Makefile.
-<<environment>>=
-TIMESTAMP=$(axiom_targetdir)/timestamp
-YEARWEEK=(progn (defconstant timestamp "${TIMESTAMP}") \
- (setq *build-version* "$(PACKAGE_STRING)") \
- (yearweek))
-
-@
-
-The {\bf .PRECIOUS} setting will keep make from deleting these
-images if the build is stopped. Since once they are built they
-are likely to be useable we don't need to redo the work if they
-exist.
-<<environment>>=
-
-.PRECIOUS: ${SAVESYS}
-.PRECIOUS: ${AXIOMSYS}
-
-@
-
-\section{UNUSED}
-
-These files were in the interp distribution from NAG but have
-no purpose at the moment. This belief is no doubt due to my
-lack of understanding. Rather than erase them they are documented
-here for future reference.
-<<environment>>=
-UNUSED= ${DOC}/construc.lisp.dvi \
- ${DOC}/guess.boot.dvi \
- ${DOC}/interp-fix.boot.dvi \
- ${DOC}/nhyper.boot.dvi ${DOC}/pf2atree.boot.dvi \
- ${DOC}/redefs.boot.dvi ${DOC}/word.boot.dvi
-
-@
-
-
-\section{Building SAVESYS and AXIOMSYS}
-
-GCL likes to tell you when it has replaced a function call by a
-tail-recursive call. This happens when the last form in a function
-is a call to the same function. In general, we don't care so we set
-compiler::*suppress-compiler-notes* to true in order to reduce the noise.
-
-Notice that when OpenAxiom uses GCL as the Lisp platform, it is usually not
-a good idea to mess with GCL's internal variables. In particular, GCL
-has its own idea about what to do with [[si::*system-directory*]], which
-should not be set here just because we happen to save an GCL-based image.
-Doing otherwise causes havoc.
-
-<<savesys>>=
-
-$(axiom_target_datadir)/msgs/s2-us.msgs: \
- $(axiom_src_docdir)/msgs/s2-us.msgs
- $(mkdir_p) $(axiom_target_datadir)/msgs
- cp -p $< $@
-
-makeint.lisp: Makefile
- @rm -f makeint.lisp
- @ echo '(import-module "util")' >> makeint.lisp
- @ echo '(in-package "BOOT")' >> makeint.lisp
- @ touch ${TIMESTAMP}
- @ echo '${YEARWEEK}' >> makeint.lisp
- @ echo '(unless (or |$$StandardLinking| (|%basicSystemIsComplete|)) (build-interpsys (quote ($(patsubst %, "%", ${TRANOBJS}))) (quote ($(patsubst %, "%", ${ASAUTO}))))(|clearClams|))' >> makeint.lisp
- @ echo '#+:akcl (setq compiler::*suppress-compiler-notes* t)' >> makeint.lisp
- @ echo '#+:akcl (si::gbc-time 0)' >> makeint.lisp
- @ echo '#+:GCL (si::gbc t)' >> makeint.lisp
-
-${SAVESYS}: database.date \
- $(axiom_targetdir)/algebra/exposed.$(FASLEXT) \
- $(axiom_target_datadir)/msgs/s2-us.msgs \
- $(ASAUTO) $(TRANOBJS) $(OBJS) makeint.$(LNKEXT)
- $(BOOTSYS) -- --system="$(AXIOM)/" --system-algebra \
- --sysalg="$(axiom_src_datadir)/algebra/" \
- --prologue="(pushnew :open-axiom-basic-system *features*)" \
- --make --output=$@ --main="BOOT::|systemMain|" \
- --load-directory=. $(OBJS) makeint.$(LNKEXT)
- @ echo 6 $@ created
- $(mkdir_p) $(axiom_target_bindir)
-@
-
-\section{Building SAVESYS and AXIOMSYS}
-
-We want to cache database data in the final image, so we dump it only
-after databases are build.
-Note that having dependency on databases is not enough, since databases
-are re-generated after leaving \File{interp/} directory.
-
-<<axiomsys>>=
-.PHONY: all-axiomsys
-
-all-axiomsys: ${AXIOMSYS}
-
-${AXIOMSYS}: database.date \
- $(axiom_targetdir)/algebra/exposed.$(FASLEXT) \
- $(axiom_target_datadir)/msgs/s2-us.msgs \
- $(ASAUTO) $(TRANOBJS) $(OBJS) makeint.$(LNKEXT)
- $(BOOTSYS) -- \
- --system="$(AXIOM)/" \
- --sysalg="$(axiom_targetdir)/algebra/" \
- --prologue="(pushnew :open-axiom-algebra-system *features*)" \
- --make --output=$@ --main="BOOT::|systemMain|" \
- --load-directory=. $(OBJS) makeint.$(LNKEXT)
- @ echo 6a $@ created
-@
-
-\section{The Interpreter files}
-
-\subsection{DVI files from pmaphlet files}
-
-<<DVI from pamphlet>>=
-$(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
- @cp -p $< $@
-@
-
-\section{The databases}
-
-\begin{verbatim}
- autoload dependencies
-
- if you are adding a file which is to be autoloaded the following step
- information is useful:
- there are 2 cases:
- 1) adding files to currently autoloaded parts
- (as of 2/92: browser old parser and old compiler)
- 2) adding new files
- case 1:
- a) you have to add the file to the list of files currently there
- (e.g. see BROBJS above)
- b) add an autolaod rule
- (e.g. ${AUTO}/parsing.$(FASLEXT): parsing.$(FASLEXT))
- c) edit util.lisp to add the 'external' function (those that
- should trigger the autoload
- case 2:
- build-interpsys (in util.lisp) needs an extra argument for the
- new autoload things and several functions in util.lisp need hacking.
-
- database.date is a marker file used to force a rebuild of interpsys if the
- database is rebuilt (src/algebra/Makefile).
-
-\end{verbatim}
-<<databases>>=
-exposed.lsp: $(axiom_src_algdir)/exposed.lsp.pamphlet
- $(oa_hammer) --tangle --output=$@ $<
-
-$(axiom_targetdir)/algebra/exposed.$(FASLEXT) : exposed.lsp boot-pkg.$(LNKEXT)
- $(mkdir_p) $(axiom_targetdir)/algebra
- $(BOOTSYS) --compile --output=$@ --load-directory=. $<
-
-database.date:
- @ echo 617 the database was updated...remaking interpsys
- @ touch database.date
-
-@
-
-\section{The Makefile}
-<<*>>=
-
-subdir = src/interp/
-
-<<environment>>
-
-.SUFFIXES:
-.SUFFIXES: .boot .clisp .lisp .pamphlet
-
-.PHONY: all all-ax all-interpsys all-axiomsys
-
-all: all-ax
-
-all-ax: stamp
- @echo finished $(srcdir)
-
-stamp: $(AUTO) remove-stamp build-images
- $(STAMP) stamp
-
-.PHONY: remove-stamp
-remove-stamp:
- -rm -f stamp
-
-.PHONY: build-images
-build-images: remove-stamp all-interpsys
-
-all-interpsys:
- $(mkdir_p) $(AUTO)
- $(MAKE) $(SAVESYS)
-
-all-axiomsys: all-interpsys
- $(MAKE) $(AXIOMSYS)
-
-mostlyclean-local:
- @rm -f *.fn *.data *.$(FASLEXT) *.lib *.$(OBJEXT)
- @rm -f $(SAVESYS) makeint.lisp
-
-clean-local: mostlyclean-local
- @rm -f *.clisp *.lsp
-
-distclean-local: clean-local
-
-<<savesys>>
-<<axiomsys>>
-<<databases>>
-
-## Copy FASLs that are autoloaded to the autoload directory.
-.PREVIOUS: $(AUTO)/%.$(FASLEXT)
-
-$(AUTO)/%.$(FASLEXT): %.$(FASLEXT)
- @cp -p $< $@
-
-%.$(LNKEXT) %.$(FASLEXT): %.boot
- $(BOOTSYS) --compile --output=$@ --load-directory=. $<
-
-%.$(LNKEXT) %.$(FASLEXT): %.lisp
- $(BOOTSYS) --compile --output=$@ --load-directory=. $<
-
-## Translation to Fortran
-fortcall.$(FASLEXT): sys-macros.$(FASLEXT)
-
-## HyperDoc
-topics.$(FASLEXT): macros.$(FASLEXT)
-alql.$(FASLEXT): br-search.$(FASLEXT)
-br-search.$(FASLEXT): bc-util.$(FASLEXT)
-br-saturn.$(FASLEXT): bc-util.$(FASLEXT)
-br-op2.$(FASLEXT): br-op1.$(FASLEXT)
-br-op1.$(FASLEXT): bc-util.$(FASLEXT)
-br-con.$(FASLEXT): bc-util.$(FASLEXT)
-br-prof.$(FASLEXT): bc-util.$(FASLEXT)
-br-data.$(FASLEXT): bc-util.$(FASLEXT)
-br-util.$(FASLEXT): bc-util.$(FASLEXT)
-bc-solve.$(FASLEXT): bc-matrix.$(FASLEXT)
-bc-matrix.$(FASLEXT): bc-util.$(FASLEXT)
-bc-misc.$(FASLEXT): bc-util.$(FASLEXT)
-bc-util.$(FASLEXT): ht-util.$(FASLEXT)
-ht-root.$(FASLEXT): ht-util.$(FASLEXT)
-htcheck.$(FASLEXT): sys-driver.$(FASLEXT) macros.$(FASLEXT)
-ht-util.$(FASLEXT): macros.$(FASLEXT)
-htsetvar.$(FASLEXT): macros.$(FASLEXT)
-hypertex.$(FASLEXT): types.$(FASLEXT)
-
-## OpenAxiom's interpreter.
-makeint.$(FASLEXT): util.$(FASLEXT)
-patches.$(FASLEXT): macros.$(FASLEXT) g-timer.$(FASLEXT) sys-driver.$(FASLEXT)
-setvars.$(FASLEXT): macros.$(FASLEXT) debug.$(FASLEXT)
-profile.$(FASLEXT): macros.$(FASLEXT)
-rulesets.$(FASLEXT): vmlisp.$(FASLEXT)
-osyscmd.$(FASLEXT): int-top.$(FASLEXT)
-int-top.$(FASLEXT): incl.$(FASLEXT) i-toplev.$(FASLEXT) unlisp.$(FASLEXT)
-i-toplev.$(FASLEXT): i-analy.$(FASLEXT)
-i-syscmd.$(FASLEXT): i-object.$(FASLEXT)
-i-output.$(FASLEXT): sys-macros.$(FASLEXT)
-i-spec2.$(FASLEXT): i-spec1.$(FASLEXT)
-i-spec1.$(FASLEXT): i-analy.$(FASLEXT)
-i-funsel.$(FASLEXT): i-coerfn.$(FASLEXT)
-i-map.$(FASLEXT): i-object.$(FASLEXT)
-i-eval.$(FASLEXT): i-analy.$(FASLEXT)
-i-coerfn.$(FASLEXT): i-coerce.$(FASLEXT)
-i-coerce.$(FASLEXT): i-analy.$(FASLEXT) i-resolv.$(FASLEXT)
-i-resolv.$(FASLEXT): i-object.$(FASLEXT)
-i-analy.$(FASLEXT): i-object.$(FASLEXT)
-i-intern.$(FASLEXT): i-object.$(FASLEXT) ptrees.$(FASLEXT)
-i-code.$(FASLEXT): i-object.$(FASLEXT)
-i-object.$(FASLEXT): g-util.$(FASLEXT)
-i-util.$(FASLEXT): g-util.$(FASLEXT)
-format.$(FASLEXT): macros.$(FASLEXT)
-match.$(FASLEXT): sys-macros.$(FASLEXT)
-record.$(FASLEXT): nlib.$(FASLEXT) pathname.$(FASLEXT)
-setvart.$(FASLEXT): macros.$(FASLEXT)
-
-## OpenAxiom's compiler
-wi2.$(FASLEXT): macros.$(FASLEXT) define.$(FASLEXT)
-wi1.$(FASLEXT): macros.$(FASLEXT)
-compiler.$(FASLEXT): msgdb.$(FASLEXT) pathname.$(FASLEXT) define.$(FASLEXT)
-nrunopt.$(FASLEXT): c-util.$(FASLEXT)
-nrunfast.$(FASLEXT): c-util.$(FASLEXT)
-nruncomp.$(FASLEXT): nrunopt.$(FASLEXT) profile.$(FASLEXT) \
- simpbool.$(FASLEXT) functor.$(FASLEXT)
-nrungo.$(FASLEXT): c-util.$(FASLEXT) clam.$(FASLEXT) interop.$(FASLEXT)
-define.$(FASLEXT): g-error.$(FASLEXT) modemap.$(FASLEXT) \
- nruncomp.$(FASLEXT) database.$(FASLEXT)
-database.$(FASLEXT): clam.$(FASLEXT) nlib.$(FASLEXT) \
- cattable.$(FASLEXT) compat.$(FASLEXT) g-cndata.$(FASLEXT)
-functor.$(FASLEXT): category.$(FASLEXT) nrungo.$(FASLEXT) lisplib.$(FASLEXT)
-category.$(FASLEXT): g-util.$(FASLEXT) g-cndata.$(FASLEXT)
-cattable.$(FASLEXT): simpbool.$(FASLEXT) g-util.$(FASLEXT)
-compat.$(FASLEXT): pathname.$(FASLEXT)
-simpbool.$(FASLEXT): macros.$(FASLEXT)
-newfort.$(FASLEXT): macros.$(FASLEXT)
-lisplib.$(FASLEXT): nlib.$(FASLEXT) c-util.$(FASLEXT) debug.$(FASLEXT)
-interop.$(FASLEXT): interop.boot c-util.$(FASLEXT) hashcode.$(FASLEXT)
-c-doc.$(FASLEXT): c-util.$(FASLEXT)
-
-## Interface with the Aldor compiler.
-ax.$(FASLEXT): as.$(FASLEXT)
-as.$(FASLEXT): macros.$(FASLEXT)
-server.$(FASLEXT): macros.$(FASLEXT)
-
-##
-## OpenAxiom's front-end consists of two parts:
-## (a) the interprerter's parser -- also referred to as new parser
-## (b) the compiler parser -- also referred to as parser
-##
-## The new parser component is always included in a running OpenAxiom
-## image. However the old parser component is so called `autoloaded'.
-## While in theory that should work, in practice it turns out that
-## people tend to override functions in the autoload part, correcting
-## bugs only there. The consequence is that the same function will
-## bahave very differently based on the history of the seesion. Ideal
-## recipe for creating heisenbugs.
-##
-
-## The old parser component roughtly is:
-##
-spad-parser.$(FASLEXT): parse.$(FASLEXT)
-mark.$(FASLEXT): macros.$(FASLEXT)
-parse.$(FASLEXT): metalex.$(FASLEXT) postpar.$(FASLEXT)
-packtran.$(FASLEXT): sys-macros.$(FASLEXT)
-postpar.$(FASLEXT): macros.$(FASLEXT)
-bootlex.$(FASLEXT): preparse.$(FASLEXT) macros.$(FASLEXT) \
- nlib.$(FASLEXT) sys-globals.$(FASLEXT)
-newaux.$(FASLEXT): macros.$(FASLEXT)
-comp.$(FASLEXT): macros.$(FASLEXT)
-preparse.$(FASLEXT): fnewmeta.$(FASLEXT)
-fnewmeta.$(FASLEXT): parsing.$(FASLEXT)
-parsing.$(FASLEXT): metalex.$(FASLEXT)
-metalex.$(FASLEXT): macros.$(FASLEXT)
-nlib.$(FASLEXT): macros.$(FASLEXT)
-macros.$(FASLEXT): sys-macros.$(FASLEXT) sys-utility.$(FASLEXT)
-
-## The new parser component roughtly is:
-## astr.boot dq.boot incl.boot pile.boot ptrees.boot
-## posit.boot cparse.boot format.boot cstream.boot
-##
-i-parser.$(FASLEXT): cparse.$(FASLEXT) pf2sex.$(FASLEXT)
-pf2sex.$(FASLEXT): ptrees.$(FASLEXT)
-cparse.$(FASLEXT): ptrees.$(FASLEXT)
-macex.$(FASLEXT): ptrees.$(FASLEXT)
-ptrees.$(FASLEXT): posit.$(FASLEXT) serror.$(FASLEXT)
-pile.$(FASLEXT): scan.$(FASLEXT)
-scan.$(FASLEXT): incl.$(FASLEXT) bits.$(FASLEXT) dq.$(FASLEXT) sys-utility.$(FASLEXT)
-incl.$(FASLEXT): cstream.$(FASLEXT) cformat.$(FASLEXT)
-cformat.$(FASLEXT): unlisp.$(FASLEXT) posit.$(FASLEXT)
-serror.$(FASLEXT): posit.$(FASLEXT)
-unlisp.$(FASLEXT): sys-macros.$(FASLEXT)
-posit.$(FASLEXT): sys-macros.$(FASLEXT) astr.$(FASLEXT)
-intfile.$(FASLEXT): cstream.$(FASLEXT)
-cstream.$(FASLEXT): sys-macros.$(FASLEXT)
-astr.$(FASLEXT): vmlisp.$(FASLEXT)
-bits.$(FASLEXT): boot-pkg.$(FASLEXT)
-dq.$(FASLEXT): types.$(FASLEXT)
-
-## General support and utilities.
-daase.$(FASLEXT): macros.$(FASLEXT) foam_l.$(FASLEXT)
-spaderror.$(FASLEXT): macros.$(FASLEXT)
-debug.$(FASLEXT): macros.$(FASLEXT) parsing.$(FASLEXT)
-spad.$(FASLEXT): bootlex.$(FASLEXT) postpar.$(FASLEXT) debug.$(FASLEXT)
-monitor.$(FASLEXT): macros.$(FASLEXT)
-property.$(FASLEXT): sys-macros.$(FASLEXT)
-nspadaux.$(FASLEXT): sys-macros.$(FASLEXT)
-sfsfun-l.$(FASLEXT): sys-macros.$(FASLEXT)
-trace.$(FASLEXT): debug.$(FASLEXT)
-termrw.$(FASLEXT): macros.$(FASLEXT)
-showimp.$(FASLEXT): macros.$(FASLEXT)
-sfsfun.$(FASLEXT): macros.$(FASLEXT)
-modemap.$(FASLEXT): c-util.$(FASLEXT) info.$(FASLEXT)
-info.$(FASLEXT): g-util.$(FASLEXT)
-slam.$(FASLEXT): g-timer.$(FASLEXT)
-clammed.$(FASLEXT): g-timer.$(FASLEXT)
-clam.$(FASLEXT): g-timer.$(FASLEXT)
-g-opt.$(FASLEXT): g-util.$(FASLEXT)
-g-timer.$(FASLEXT): macros.$(FASLEXT) g-util.$(FASLEXT)
-msgdb.$(FASLEXT): g-util.$(FASLEXT)
-g-error.$(FASLEXT): diagnostics.$(FASLEXT) g-util.$(FASLEXT)
-c-util.$(FASLEXT): g-opt.$(FASLEXT)
-pathname.$(FASLEXT): nlib.$(FASLEXT)
-hashcode.$(FASLEXT): g-util.$(FASLEXT)
-pspad2.$(FASLEXT): pspad1.$(FASLEXT)
-pspad1.$(FASLEXT): macros.$(FASLEXT)
-g-util.$(FASLEXT): ggreater.$(FASLEXT) macros.$(FASLEXT) sys-utility.$(FASLEXT)
-g-cndata.$(FASLEXT): sys-macros.$(FASLEXT)
-msg.$(FASLEXT): sys-macros.$(FASLEXT) astr.$(FASLEXT)
-util.$(FASLEXT): parsing.$(FASLEXT)
-fname.$(FASLEXT): macros.$(FASLEXT)
-sys-macros.$(FASLEXT): diagnostics.$(FASLEXT) union.$(FASLEXT)
-buildom.$(FASLEXT): buildom.boot sys-macros.$(FASLEXT)
-diagnostics.$(FASLEXT): sys-globals.$(FASLEXT) vmlisp.$(FASLEXT)
-sys-driver.$(FASLEXT): sys-driver.boot types.$(FASLEXT)
-sys-globals.$(FASLEXT): sys-constants.$(FASLEXT) hash.$(FASLEXT)
-sys-os.$(FASLEXT): sys-constants.$(FASLEXT)
-sys-constants.$(FASLEXT): types.$(FASLEXT)
-hash.$(FASLEXT): types.$(FASLEXT)
-union.$(FASLEXT): vmlisp.$(FASLEXT)
-ggreater.$(FASLEXT): vmlisp.$(FASLEXT)
-axext_l.$(FASLEXT): foam_l.$(FASLEXT)
-foam_l.$(FASLEXT): vmlisp.$(FASLEXT) sys-constants.$(FASLEXT)
-sys-utility.$(FASLEXT): vmlisp.$(FASLEXT) sys-os.$(FASLEXT) hash.$(FASLEXT)
-vmlisp.$(FASLEXT): types.$(FASLEXT) sys-globals.$(FASLEXT)
-types.$(FASLEXT): boot-pkg.$(FASLEXT)
-boot-pkg.$(FASLEXT): boot-pkg.lisp
-
-<<DVI from pamphlet>>
-
-@
-
-\end{document}