aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-04-04 07:24:17 +0000
committerdos-reis <gdr@axiomatics.org>2013-04-04 07:24:17 +0000
commit39600884e2bdb4b187ef3a7f6ebbc72fcaf2bd59 (patch)
tree5a70f4b46d1da28e1faeeaedaa571d047a14d1f5
parentddd2d9bad0b992621a3607d979f465f4f43fd689 (diff)
downloadopen-axiom-39600884e2bdb4b187ef3a7f6ebbc72fcaf2bd59.tar.gz
convert src/algebra/Makefile.in to Automake stuff
-rw-r--r--Makefile.in14
-rwxr-xr-xconfigure10
-rw-r--r--configure.ac11
-rw-r--r--src/ChangeLog5
-rw-r--r--src/Makefile.am2
-rw-r--r--src/Makefile.in2
-rw-r--r--src/algebra/Makefile.am2510
-rw-r--r--src/algebra/Makefile.in2172
8 files changed, 3892 insertions, 834 deletions
diff --git a/Makefile.in b/Makefile.in
index 90ec86d4..1a71ad59 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -104,7 +104,6 @@ DIST_COMMON = README $(am__configure_deps) $(srcdir)/Makefile.am \
$(top_srcdir)/config/openaxiom-c-macros.h.in \
$(top_srcdir)/config/setup-dep.mk \
$(top_srcdir)/config/var-def.mk $(top_srcdir)/configure \
- $(top_srcdir)/src/algebra/Makefile.in \
$(top_srcdir)/src/boot/Makefile.in \
$(top_srcdir)/src/clef/Makefile.in \
$(top_srcdir)/src/doc/Makefile.in \
@@ -144,12 +143,11 @@ CONFIG_HEADER = $(top_builddir)/config/openaxiom-c-macros.h
CONFIG_CLEAN_FILES = src/lib/Makefile src/utils/Makefile \
src/hyper/Makefile src/driver/Makefile src/lisp/Makefile \
src/boot/Makefile src/interp/Makefile src/share/Makefile \
- src/algebra/Makefile src/input/Makefile src/etc/Makefile \
- src/doc/Makefile src/clef/Makefile src/sman/Makefile \
- src/graph/Makefile src/graph/Gdraws/Makefile \
- src/graph/view2D/Makefile src/graph/view3D/Makefile \
- src/graph/viewAlone/Makefile src/graph/viewman/Makefile \
- src/gui/gui.pro
+ src/input/Makefile src/etc/Makefile src/doc/Makefile \
+ src/clef/Makefile src/sman/Makefile src/graph/Makefile \
+ src/graph/Gdraws/Makefile src/graph/view2D/Makefile \
+ src/graph/view3D/Makefile src/graph/viewAlone/Makefile \
+ src/graph/viewman/Makefile src/gui/gui.pro
CONFIG_CLEAN_VPATH_FILES =
SOURCES =
DIST_SOURCES =
@@ -484,8 +482,6 @@ src/interp/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def.
cd $(top_builddir) && $(SHELL) ./config.status $@
src/share/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def.mk $(top_srcdir)/src/share/Makefile.in $(top_srcdir)/config/setup-dep.mk
cd $(top_builddir) && $(SHELL) ./config.status $@
-src/algebra/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def.mk $(top_srcdir)/src/algebra/Makefile.in $(top_srcdir)/config/setup-dep.mk
- cd $(top_builddir) && $(SHELL) ./config.status $@
src/input/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def.mk $(top_srcdir)/src/input/Makefile.in $(top_srcdir)/config/setup-dep.mk
cd $(top_builddir) && $(SHELL) ./config.status $@
src/etc/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def.mk $(top_srcdir)/src/etc/Makefile.in $(top_srcdir)/config/setup-dep.mk
diff --git a/configure b/configure
index 4e21a066..09425a40 100755
--- a/configure
+++ b/configure
@@ -19754,7 +19754,7 @@ esac
## We are ready to instantiate makefiles.
-ac_config_files="$ac_config_files Makefile src/Makefile src/io/Makefile"
+ac_config_files="$ac_config_files Makefile src/Makefile src/io/Makefile src/algebra/Makefile"
ac_config_files="$ac_config_files src/lib/Makefile:config/var-def.mk:src/lib/Makefile.in:config/setup-dep.mk"
@@ -19772,8 +19772,6 @@ ac_config_files="$ac_config_files src/interp/Makefile:config/var-def.mk:src/inte
ac_config_files="$ac_config_files src/share/Makefile:config/var-def.mk:src/share/Makefile.in:config/setup-dep.mk"
-ac_config_files="$ac_config_files src/algebra/Makefile:config/var-def.mk:src/algebra/Makefile.in:config/setup-dep.mk"
-
ac_config_files="$ac_config_files src/input/Makefile:config/var-def.mk:src/input/Makefile.in:config/setup-dep.mk"
ac_config_files="$ac_config_files src/etc/Makefile:config/var-def.mk:src/etc/Makefile.in:config/setup-dep.mk"
@@ -20934,6 +20932,7 @@ do
"Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
"src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;;
"src/io/Makefile") CONFIG_FILES="$CONFIG_FILES src/io/Makefile" ;;
+ "src/algebra/Makefile") CONFIG_FILES="$CONFIG_FILES src/algebra/Makefile" ;;
"src/lib/Makefile") CONFIG_FILES="$CONFIG_FILES src/lib/Makefile:config/var-def.mk:src/lib/Makefile.in:config/setup-dep.mk" ;;
"src/utils/Makefile") CONFIG_FILES="$CONFIG_FILES src/utils/Makefile:config/var-def.mk:src/utils/Makefile.in:config/setup-dep.mk" ;;
"src/hyper/Makefile") CONFIG_FILES="$CONFIG_FILES src/hyper/Makefile:config/var-def.mk:src/hyper/Makefile.in:config/setup-dep.mk" ;;
@@ -20942,7 +20941,6 @@ do
"src/boot/Makefile") CONFIG_FILES="$CONFIG_FILES src/boot/Makefile:config/var-def.mk:src/boot/Makefile.in:config/setup-dep.mk" ;;
"src/interp/Makefile") CONFIG_FILES="$CONFIG_FILES src/interp/Makefile:config/var-def.mk:src/interp/Makefile.in:config/setup-dep.mk" ;;
"src/share/Makefile") CONFIG_FILES="$CONFIG_FILES src/share/Makefile:config/var-def.mk:src/share/Makefile.in:config/setup-dep.mk" ;;
- "src/algebra/Makefile") CONFIG_FILES="$CONFIG_FILES src/algebra/Makefile:config/var-def.mk:src/algebra/Makefile.in:config/setup-dep.mk" ;;
"src/input/Makefile") CONFIG_FILES="$CONFIG_FILES src/input/Makefile:config/var-def.mk:src/input/Makefile.in:config/setup-dep.mk" ;;
"src/etc/Makefile") CONFIG_FILES="$CONFIG_FILES src/etc/Makefile:config/var-def.mk:src/etc/Makefile.in:config/setup-dep.mk" ;;
"src/doc/Makefile") CONFIG_FILES="$CONFIG_FILES src/doc/Makefile:config/var-def.mk:src/doc/Makefile.in:config/setup-dep.mk" ;;
@@ -22506,7 +22504,7 @@ egrep '<<(category|domain|package) .*>>=' \
while IFS=':' read spad_file chunk_desc; do
chunk_desc=`echo $chunk_desc | sed -e 's,<<,,' -e 's,>>=,,'`
set $chunk_desc; spad_abbrev=$2
- cat >> src/algebra/tmp-extract-spad.mk <<EOF
+ cat >> src/algebra/tmp-extract.mk <<EOF
$spad_abbrev.spad: \$(srcdir)/`basename $spad_file` ; \
@\$(oa_hammer) --output=\$@.tmp --tangle="$chunk_desc" \$< && \
\$(top_confdir)/move-if-change \$@.tmp \$@
@@ -22514,7 +22512,7 @@ EOF
done
echo done
$srcdir/config/move-if-change \
- src/algebra/tmp-extract-spad.mk src/algebra/extract-spad.mk
+ src/algebra/tmp-extract.mk src/algebra/extract.mk
echo "Type '${MAKE}' (without quotes) to build OpenAxiom"
diff --git a/configure.ac b/configure.ac
index 2bf9d80d..7fe61412 100644
--- a/configure.ac
+++ b/configure.ac
@@ -107,7 +107,11 @@ OPENAXIOM_CHECK_MM
OPENAXIOM_CHECK_MISC
## We are ready to instantiate makefiles.
-AC_CONFIG_FILES([Makefile src/Makefile src/io/Makefile])
+AC_CONFIG_FILES([
+ Makefile
+ src/Makefile
+ src/io/Makefile
+ src/algebra/Makefile])
OPENAXIOM_MAKEFILE([src/lib/Makefile])
OPENAXIOM_MAKEFILE([src/utils/Makefile])
OPENAXIOM_MAKEFILE([src/hyper/Makefile])
@@ -116,7 +120,6 @@ OPENAXIOM_MAKEFILE([src/lisp/Makefile])
OPENAXIOM_MAKEFILE([src/boot/Makefile])
OPENAXIOM_MAKEFILE([src/interp/Makefile])
OPENAXIOM_MAKEFILE([src/share/Makefile])
-OPENAXIOM_MAKEFILE([src/algebra/Makefile])
OPENAXIOM_MAKEFILE([src/input/Makefile])
OPENAXIOM_MAKEFILE([src/etc/Makefile])
OPENAXIOM_MAKEFILE([src/doc/Makefile])
@@ -151,7 +154,7 @@ egrep '<<(category|domain|package) .*>>=' \
while IFS=':' read spad_file chunk_desc; do
chunk_desc=`echo $chunk_desc | sed -e 's,<<,,' -e 's,>>=,,'`
set $chunk_desc; spad_abbrev=$2
- cat >> src/algebra/tmp-extract-spad.mk <<EOF
+ cat >> src/algebra/tmp-extract.mk <<EOF
$spad_abbrev.spad: \$(srcdir)/`basename $spad_file` ; \
@\$(oa_hammer) --output=\$@.tmp --tangle="$chunk_desc" \$< && \
\$(top_confdir)/move-if-change \$@.tmp \$@
@@ -159,7 +162,7 @@ EOF
done
echo done
$srcdir/config/move-if-change \
- src/algebra/tmp-extract-spad.mk src/algebra/extract-spad.mk
+ src/algebra/tmp-extract.mk src/algebra/extract.mk
echo "Type '${MAKE}' (without quotes) to build OpenAxiom"
diff --git a/src/ChangeLog b/src/ChangeLog
index 878a3040..522b084e 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-04 Gabriel Dos Reis <gdr@integrable-solutions.net>
+
+ * algebra/Makefile.am: New.
+ * algebra/Makefile.in: Generate content from Makefile.am.
+
2013-04-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
* include/Input.H: New.
diff --git a/src/Makefile.am b/src/Makefile.am
index 86112b90..afdf5055 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -130,7 +130,7 @@ all-axiomsys: all-asq
cd interp && $(MAKE) $(AM_MAKEFLAGS) all-axiomsys
all-algebra: all-driver all-interpsys all-share all-hyper-pre
- cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@
+ cd algebra && $(MAKE) -f Makefile -f extract.mk $(AM_MAKEFLAGS) $@
.PHONY: all-algstrap
all-algstrap: all-driver all-interpsys
diff --git a/src/Makefile.in b/src/Makefile.in
index 5a399c07..ebd3be27 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -774,7 +774,7 @@ all-axiomsys: all-asq
cd interp && $(MAKE) $(AM_MAKEFLAGS) all-axiomsys
all-algebra: all-driver all-interpsys all-share all-hyper-pre
- cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@
+ cd algebra && $(MAKE) -f Makefile -f extract.mk $(AM_MAKEFLAGS) $@
.PHONY: all-algstrap
all-algstrap: all-driver all-interpsys
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am
new file mode 100644
index 00000000..d1b5cbae
--- /dev/null
+++ b/src/algebra/Makefile.am
@@ -0,0 +1,2510 @@
+# Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd.
+# All rights reserved.
+# Copyright (C) 2007-2013, 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.
+#
+
+oa_targetdir = $(top_builddir)/$(target)
+oa_target_bindir = $(oa_targetdir)/bin
+oa_target_libdir = $(oa_targetdir)/lib
+oa_target_docdir = $(oa_targetdir)/doc
+oa_target_srcdir = $(oa_targetdir)/src
+oa_target_datadir = $(oa_targetdir)/share
+
+oa_src_srcdir = $(top_srcdir)/src
+oa_src_docdir = $(top_srcdir)/doc
+oa_src_datadir = $(oa_src_srcdir)/share
+
+oa_builddir = $(top_builddir)/build-$(build)
+oa_build_bindir = $(oa_builddir)/bin
+oa_build_texdir = $(oa_builddir)/texmf/tex
+oa_build_docdir = $(oa_builddir)/doc
+
+top_confdir = $(top_srcdir)/config
+
+OUT=$(oa_targetdir)/algebra
+DOC=$(oa_target_docdir)/src/algebra
+OUTSRC=$(oa_target_srcdir)/algebra
+INPUT=../input
+
+
+STAMP = echo timestamp >
+
+# Extension of the output file name returned by compile-file
+FASLEXT = @axiom_fasl_type@
+
+oa_hammer = $(top_builddir)/src/utils/hammer$(EXEEXT)
+
+# Name of the driver to launch the compiler
+DRIVER = ../driver/open-axiom$(EXEEXT)
+
+INTERPSYS = ../interp/interpsys$(EXEEXT)
+BOOTSYS = $(oa_target_bindir)/bootsys$(EXEEXT)
+
+COMPILE_SPAD = $(DRIVER) --execpath=$(INTERPSYS) \
+ --system="$(oa_targetdir)" --initial-db=initdb.$(FASLEXT) \
+ --sysdb="$(oa_src_datadir)/algebra/" \
+ --strap=strap-2 --optimize=3 \
+ --system-algebra --compile $<
+
+BOOTSTRAP = $(DRIVER) --execpath=$(INTERPSYS) \
+ --system="$(oa_targetdir)" --initial-db=initdb.$(FASLEXT) \
+ --sysdb="$(oa_src_datadir)/algebra/" \
+ --system-algebra --compile
+
+# Speed up implicit rules matching.
+SUFFIXES = .spad .$(FASLEXT) $(EXEEXT) .input .pamphlet .tex .dvi
+
+# Bootstrap layer 0 dependencies.
+# This layer comprises mostly categories, and a limited number of domains.
+# Categories are compiled for their exports. Default definitions
+# are skipped. Similarly, domains are compiled, mostly as incomplete types.
+# They are needed only for their being known as constructors.
+# Consequently, the dependencies listed here are at the categories
+# inheritance level; not necessarily at the use level.
+strap-0/UTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/BASTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/KOERCE.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/KONVERT.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/RETRACT.$(FASLEXT): strap-0/KRCFROM.$(FASLEXT)
+strap-0/FRETRCT.$(FASLEXT): strap-0/RETRACT.$(FASLEXT)
+strap-0/SETCAT.$(FASLEXT): strap-0/BASTYPE.$(FASLEXT) \
+ strap-0/KOERCE.$(FASLEXT)
+strap-0/FINITE.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/ORDTYPE.$(FASLEXT): strap-0/BASTYPE.$(FASLEXT)
+strap-0/ORDSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
+ strap-0/ORDTYPE.$(FASLEXT)
+strap-0/ORDFIN.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) \
+ strap-0/FINITE.$(FASLEXT)
+strap-0/LOGIC.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/BOOLE.$(FASLEXT): strap-0/LOGIC.$(FASLEXT)
+strap-0/PROPLOG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
+ strap-0/BOOLE.$(FASLEXT)
+strap-0/SEXCAT.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/LLINSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/RLINSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/LINSET.$(FASLEXT): strap-0/LLINSET.$(FASLEXT) \
+ strap-0/RLINSET.$(FASLEXT)
+strap-0/ABELSG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/ABELMON.$(FASLEXT): strap-0/ABELSG.$(FASLEXT)
+strap-0/CABMON.$(FASLEXT): strap-0/ABELMON.$(FASLEXT)
+strap-0/OCAMON.$(FASLEXT): strap-0/OAMON.$(FASLEXT) \
+ strap-0/CABMON.$(FASLEXT)
+strap-0/SGROUP.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/OAMON.$(FASLEXT): strap-0/OASGP.$(FASLEXT) \
+ strap-0/ABELMON.$(FASLEXT)
+strap-0/MONOID.$(FASLEXT): strap-0/SGROUP.$(FASLEXT)
+strap-0/GROUP.$(FASLEXT): strap-0/MONOID.$(FASLEXT)
+strap-0/ABELGRP.$(FASLEXT): strap-0/CABMON.$(FASLEXT) \
+ strap-0/LLINSET.$(FASLEXT)
+strap-0/OAGROUP.$(FASLEXT): strap-0/OCAMON.$(FASLEXT) \
+ strap-0/ABELGRP.$(FASLEXT)
+strap-0/RNG.$(FASLEXT): strap-0/ABELGRP.$(FASLEXT) \
+ strap-0/SGROUP.$(FASLEXT)
+strap-0/LMODULE.$(FASLEXT): strap-0/ABELGRP.$(FASLEXT) \
+ strap-0/LLINSET.$(FASLEXT)
+strap-0/RMODULE.$(FASLEXT): strap-0/ABELGRP.$(FASLEXT) \
+ strap-0/RLINSET.$(FASLEXT)
+strap-0/SRING.$(FASLEXT): strap-0/ABELMON.$(FASLEXT) \
+ strap-0/MONOID.$(FASLEXT)
+strap-0/ORDRING.$(FASLEXT): strap-0/OAGROUP.$(FASLEXT) \
+ strap-0/RING.$(FASLEXT) strap-0/MONOID.$(FASLEXT)
+strap-0/RING.$(FASLEXT): strap-0/RNG.$(FASLEXT) \
+ strap-0/SRING.$(FASLEXT) \
+ strap-0/LMODULE.$(FASLEXT) strap-0/KRCFROM.$(FASLEXT)
+strap-0/DIOID.$(FASLEXT): strap-0/OAMON.$(FASLEXT) strap-0/SRING.$(FASLEXT)
+strap-0/COMRING.$(FASLEXT): strap-0/RING.$(FASLEXT) \
+ strap-0/BMODULE.$(FASLEXT)
+strap-0/INTDOM.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \
+ strap-0/ALGEBRA.$(FASLEXT) strap-0/ENTIRER.$(FASLEXT)
+strap-0/GCDDOM.$(FASLEXT): strap-0/INTDOM.$(FASLEXT)
+strap-0/BMODULE.$(FASLEXT): strap-0/LMODULE.$(FASLEXT) \
+ strap-0/RMODULE.$(FASLEXT)
+strap-0/MODULE.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \
+ strap-0/BMODULE.$(FASLEXT) strap-0/LINSET.$(FASLEXT)
+strap-0/ENTIRER.$(FASLEXT): strap-0/RING.$(FASLEXT) \
+ strap-0/BMODULE.$(FASLEXT)
+
+strap-0/ALGEBRA.$(FASLEXT): strap-0/RING.$(FASLEXT) \
+ strap-0/MODULE.$(FASLEXT) strap-0/KOERCE.$(FASLEXT)
+
+strap-0/EUCDOM.$(FASLEXT): strap-0/PID.$(FASLEXT)
+strap-0/PID.$(FASLEXT): strap-0/GCDDOM.$(FASLEXT)
+strap-0/OINTDOM.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) \
+ strap-0/ORDRING.$(FASLEXT)
+strap-0/FIELD.$(FASLEXT): strap-0/EUCDOM.$(FASLEXT) \
+ strap-0/UFD.$(FASLEXT) strap-0/DIVRING.$(FASLEXT)
+
+strap-0/DIFFSPC.$(FASLEXT): strap-0/DIFFDOM.$(FASLEXT)
+strap-0/DIFFDOM.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/DIFRING.$(FASLEXT): strap-0/RING.$(FASLEXT) \
+ strap-0/DIFFSPC.$(FASLEXT)
+strap-0/LINEXP.$(FASLEXT): strap-0/LMODULE.$(FASLEXT)
+strap-0/CFCAT.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/REAL.$(FASLEXT): strap-0/KONVERT.$(FASLEXT)
+strap-0/CHARZ.$(FASLEXT): strap-0/RING.$(FASLEXT)
+strap-0/STEP.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/PATMAB.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/UFD.$(FASLEXT): strap-0/GCDDOM.$(FASLEXT)
+
+strap-0/PDSPC.$(FASLEXT): strap-0/PDDOM.$(FASLEXT)
+
+strap-0/DSEXT.$(FASLEXT): strap-0/DIFFSPC.$(FASLEXT) \
+ strap-0/PDSPC.$(FASLEXT)
+
+strap-0/DIFEXT.$(FASLEXT): strap-0/DSEXT.$(FASLEXT) \
+ strap-0/DIFRING.$(FASLEXT) strap-0/PDRING.$(FASLEXT)
+
+strap-0/PFECAT.$(FASLEXT): strap-0/UFD.$(FASLEXT) strap-0/CHARZ.$(FASLEXT)
+
+strap-0/QFCAT.$(FASLEXT): strap-0/FIELD.$(FASLEXT) \
+ strap-0/ALGEBRA.$(FASLEXT) strap-0/RETRACT.$(FASLEXT) \
+ strap-0/FEVALAB.$(FASLEXT) strap-0/DIFEXT.$(FASLEXT) \
+ strap-0/FLINEXP.$(FASLEXT) strap-0/PATAB.$(FASLEXT) \
+ strap-0/FPATMAB.$(FASLEXT) strap-0/ORDSET.$(FASLEXT) \
+ strap-0/OINTDOM.$(FASLEXT) strap-0/REAL.$(FASLEXT) \
+ strap-0/KONVERT.$(FASLEXT) strap-0/CHARZ.$(FASLEXT) \
+ strap-0/CHARNZ.$(FASLEXT) strap-0/EUCDOM.$(FASLEXT) \
+ strap-0/PFECAT.$(FASLEXT)
+
+strap-0/INS.$(FASLEXT): strap-0/UFD.$(FASLEXT) strap-0/EUCDOM.$(FASLEXT) \
+ strap-0/OINTDOM.$(FASLEXT) strap-0/DIFRING.$(FASLEXT) \
+ strap-0/KONVERT.$(FASLEXT) strap-0/RETRACT.$(FASLEXT) \
+ strap-0/LINEXP.$(FASLEXT) strap-0/CFCAT.$(FASLEXT) \
+ strap-0/REAL.$(FASLEXT) strap-0/CHARZ.$(FASLEXT) \
+ strap-0/STEP.$(FASLEXT) strap-0/PATMAB.$(FASLEXT)
+
+strap-0/FPS.$(FASLEXT): strap-0/RNS.$(FASLEXT)
+
+strap-0/RNS.$(FASLEXT): strap-0/FIELD.$(FASLEXT) strap-0/ORDRING.$(FASLEXT) \
+ strap-0/RETRACT.$(FASLEXT) strap-0/RADCAT.$(FASLEXT) \
+ strap-0/KONVERT.$(FASLEXT) strap-0/PATMAB.$(FASLEXT) \
+ strap-0/CHARZ.$(FASLEXT)
+
+strap-0/TRANFUN.$(FASLEXT): strap-0/TRIGCAT.$(FASLEXT) \
+ strap-0/ATRIG.$(FASLEXT) strap-0/HYPCAT.$(FASLEXT) \
+ strap-0/AHYP.$(FASLEXT) strap-0/ELEMFUN.$(FASLEXT)
+
+strap-0/TRIGCAT.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/ATRIG.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/HYPCAT.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/AHYP.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/ELEMFUN.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+
+strap-0/SEGCAT.$(FASLEXT): strap-0/KVTFROM.$(FASLEXT)
+strap-0/SEGXCAT.$(FASLEXT): strap-0/SEGCAT.$(FASLEXT)
+
+strap-0/VECTCAT.$(FASLEXT): strap-0/A1AGG.$(FASLEXT) \
+ strap-0/ABELMON.$(FASLEXT) strap-0/RING.$(FASLEXT) \
+ strap-0/MONOID.$(FASLEXT) strap-0/ABELGRP.$(FASLEXT)
+
+strap-0/ARR2CAT.$(FASLEXT): strap-0/HOAGG.$(FASLEXT)
+
+strap-0/MATCAT.$(FASLEXT): strap-0/ARR2CAT.$(FASLEXT) \
+ strap-0/EUCDOM.$(FASLEXT) strap-0/INTDOM.$(FASLEXT) \
+ strap-0/FIELD.$(FASLEXT)
+
+strap-0/IDPC.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+
+strap-0/AMR.$(FASLEXT): strap-0/RING.$(FASLEXT) strap-0/BMODULE.$(FASLEXT) \
+ strap-0/ALGEBRA.$(FASLEXT) strap-0/FIELD.$(FASLEXT) \
+ strap-0/CHARZ.$(FASLEXT) strap-0/CHARNZ.$(FASLEXT)
+
+strap-0/FAMR.$(FASLEXT): strap-0/AMR.$(FASLEXT) \
+ strap-0/FRETRCT.$(FASLEXT)
+
+strap-0/POLYCAT.$(FASLEXT): strap-0/PDRING.$(FASLEXT) \
+ strap-0/FAMR.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) \
+ strap-0/RETRACT.$(FASLEXT) strap-0/FLINEXP.$(FASLEXT)
+
+strap-0/PDRING.$(FASLEXT): strap-0/RING.$(FASLEXT) \
+ strap-0/PDSPC.$(FASLEXT)
+
+strap-0/UPOLYC.$(FASLEXT): strap-0/POLYCAT.$(FASLEXT) \
+ strap-0/ELTAB.$(FASLEXT) strap-0/DIFRING.$(FASLEXT) \
+ strap-0/DIFEXT.$(FASLEXT) strap-0/STEP.$(FASLEXT) \
+ strap-0/COMRING.$(FASLEXT) strap-0/INTDOM.$(FASLEXT) \
+ strap-0/FIELD.$(FASLEXT) strap-0/ALGEBRA.$(FASLEXT)
+
+strap-0/TBAGG.$(FASLEXT): strap-0/KDAGG.$(FASLEXT)
+strap-0/KDAGG.$(FASLEXT): strap-0/DIAGG.$(FASLEXT)
+strap-0/DIAGG.$(FASLEXT): strap-0/DIOPS.$(FASLEXT)
+strap-0/DIOPS.$(FASLEXT): strap-0/BGAGG.$(FASLEXT)
+strap-0/BGAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT)
+strap-0/LSAGG.$(FASLEXT): strap-0/STAGG.$(FASLEXT) \
+ strap-0/FLAGG.$(FASLEXT) strap-0/ELAGG.$(FASLEXT)
+strap-0/STAGG.$(FASLEXT): strap-0/URAGG.$(FASLEXT)
+strap-0/URAGG.$(FASLEXT): strap-0/RCAGG.$(FASLEXT)
+strap-0/RCAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT)
+strap-0/ELAGG.$(FASLEXT): strap-0/LNAGG.$(FASLEXT)
+strap-0/SRAGG.$(FASLEXT): strap-0/A1AGG.$(FASLEXT)
+strap-0/A1AGG.$(FASLEXT): strap-0/FLAGG.$(FASLEXT)
+strap-0/FLAGG.$(FASLEXT): strap-0/LNAGG.$(FASLEXT)
+strap-0/LNAGG.$(FASLEXT): strap-0/IXAGG.$(FASLEXT) \
+ strap-0/CLAGG.$(FASLEXT) strap-0/ETLAB.$(FASLEXT)
+strap-0/IXAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) \
+ strap-0/ELTAGG.$(FASLEXT)
+strap-0/HOAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) \
+ strap-0/KOERCE.$(FASLEXT) strap-0/BASTYPE.$(FASLEXT) \
+ strap-0/SETCAT.$(FASLEXT) strap-0/EVALAB.$(FASLEXT)
+strap-0/AGG.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+strap-0/ELTAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/ELTAB.$(FASLEXT)
+strap-0/ETLAB.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+
+strap-0/EVALAB.$(FASLEXT): strap-0/IEVALAB.$(FASLEXT)
+strap-0/IEVALAB.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
+
+strap-0/SEXCAT.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
+ strap-0/KVTFROM.$(FASLEXT) strap-0/ELTAB.$(FASLEXT)
+
+strap-0/BOOLEAN.$(FASLEXT): strap-0/PROPLOG.$(FASLEXT) \
+ strap-0/ORDFIN.$(FASLEXT) strap-0/KONVERT.$(FASLEXT)
+
+strap-0/SINT.$(FASLEXT): strap-0/INS.$(FASLEXT) strap-0/ORDFIN.$(FASLEXT) \
+ strap-0/BOOLE.$(FASLEXT) strap-0/INT.$(FASLEXT)
+
+strap-0/INT.$(FASLEXT): strap-0/INS.$(FASLEXT)
+strap-0/NNI.$(FASLEXT): strap-0/OAMONS.$(FASLEXT) \
+ strap-0/MONOID.$(FASLEXT) strap-0/INT.$(FASLEXT)
+strap-0/PI.$(FASLEXT): strap-0/OASGP.$(FASLEXT) \
+ strap-0/MONOID.$(FASLEXT) strap-0/NNI.$(FASLEXT)
+
+strap-0/STRING.$(FASLEXT): strap-0/SRAGG.$(FASLEXT)
+
+strap-0/LIST.$(FASLEXT): strap-0/LSAGG.$(FASLEXT)
+
+strap-0/VECTOR.$(FASLEXT): strap-0/VECTCAT.$(FASLEXT)
+
+strap-0/OUTFORM.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+
+strap-0/INFORM.$(FASLEXT): strap-0/SEXCAT.$(FASLEXT) \
+ strap-0/KONVERT.$(FASLEXT)
+
+strap-0/OVERSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+
+strap-0/CTORKIND.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+
+strap-0/MAYBE.$(FASLEXT): strap-0/UTYPE.$(FASLEXT) \
+ strap-0/RETRACT.$(FASLEXT) strap-0/KOERCE.$(FASLEXT)
+
+strap-0/DFLOAT.$(FASLEXT): strap-0/FPS.$(FASLEXT) \
+ strap-0/DIFRING.$(FASLEXT) strap-0/TRANFUN.$(FASLEXT) \
+ strap-0/KONVERT.$(FASLEXT)
+
+strap-0/FLOAT.$(FASLEXT): strap-0/FPS.$(FASLEXT) \
+ strap-0/DIFRING.$(FASLEXT) strap-0/TRANFUN.$(FASLEXT) \
+ strap-0/KONVERT.$(FASLEXT) strap-0/KVTFROM.$(FASLEXT)
+
+strap-0/FRAC.$(FASLEXT): strap-0/QFCAT.$(FASLEXT)
+
+strap-0/MATRIX.$(FASLEXT): strap-0/MATCAT.$(FASLEXT)
+
+strap-0/SUP.$(FASLEXT): strap-0/UPOLYC.$(FASLEXT) strap-0/PR.$(FASLEXT)
+
+strap-0/TABLE.$(FASLEXT): strap-0/TBAGG.$(FASLEXT)
+
+strap-0/EQ.$(FASLEXT): strap-0/TYPE.$(FASLEXT) \
+ strap-0/IEVALAB.$(FASLEXT) strap-0/KOERCE.$(FASLEXT) \
+ strap-0/BOOLEAN.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) \
+ strap-0/ABELSG.$(FASLEXT) strap-0/ABELGRP.$(FASLEXT) \
+ strap-0/MONOID.$(FASLEXT) strap-0/GROUP.$(FASLEXT) \
+ strap-0/RING.$(FASLEXT) strap-0/BMODULE.$(FASLEXT) \
+ strap-0/COMRING.$(FASLEXT) strap-0/MODULE.$(FASLEXT) \
+ strap-0/INTDOM.$(FASLEXT) strap-0/PDRING.$(FASLEXT) \
+ strap-0/FIELD.$(FASLEXT) strap-0/VSPACE.$(FASLEXT) \
+ strap-0/ES.$(FASLEXT)
+
+strap-0/UNISEG.$(FASLEXT): strap-0/SEGCAT.$(FASLEXT) \
+ strap-0/SETCAT.$(FASLEXT) strap-0/SEGXCAT.$(FASLEXT) \
+ strap-0/ORDRING.$(FASLEXT)
+
+strap-0/SYNTAX.$(FASLEXT): strap-0/UTYPE.$(FASLEXT) \
+ strap-0/SETCAT.$(FASLEXT) strap-0/RETRACT.$(FASLEXT) \
+ strap-0/INT.$(FASLEXT) strap-0/DFLOAT.$(FASLEXT) \
+ strap-0/IDENT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \
+ strap-0/KOERCE.$(FASLEXT) strap-0/INFORM.$(FASLEXT)
+
+strap-0/FR.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) \
+ strap-0/DIFEXT.$(FASLEXT) strap-0/FEVALAB.$(FASLEXT) \
+ strap-0/ALGEBRA.$(FASLEXT) strap-0/FRETRCT.$(FASLEXT)
+
+strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
+ strap-0/RETRACT.$(FASLEXT)
+
+# Bootstrap stage 1 dependencies.
+# At this stage, we attempt to compile domains essential for completing
+# the bootstrap process (stage 2). Those that were compiled at stage 0
+# were (necessarily) incomplete.
+
+strap-1/BASTYPE.$(FASLEXT): strap-1/TYPE.$(FASLEXT) \
+ strap-0/BOOLEAN.$(FASLEXT)
+
+strap-1/SETCAT.$(FASLEXT): strap-1/BASTYPE.$(FASLEXT) \
+ strap-0/SINT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \
+ strap-0/OUTFORM.$(FASLEXT)
+
+strap-1/LOGIC.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+
+strap-1/BOOLE.$(FASLEXT): strap-1/LOGIC.$(FASLEXT)
+
+strap-1/PROPLOG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-1/BOOLE.$(FASLEXT)
+
+strap-1/ORDTYPE.$(FASLEXT): strap-1/BASTYPE.$(FASLEXT)
+
+strap-1/ORDSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-1/ORDTYPE.$(FASLEXT)
+
+strap-1/FINITE.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+
+strap-1/ORDFIN.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
+ strap-1/FINITE.$(FASLEXT)
+
+strap-1/PID.$(FASLEXT): strap-1/GCDDOM.$(FASLEXT) \
+ strap-0/MAYBE.$(FASLEXT)
+
+strap-1/EUCDOM.$(FASLEXT): strap-1/PID.$(FASLEXT) \
+ strap-0/BOOLEAN.$(FASLEXT)
+
+strap-1/UFD.$(FASLEXT): strap-1/GCDDOM.$(FASLEXT) \
+ strap-1/BOOLEAN.$(FASLEXT) strap-0/FR.$(FASLEXT)
+
+strap-1/LLINSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+
+strap-1/RLINSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+
+strap-1/LINSET.$(FASLEXT): strap-1/LLINSET.$(FASLEXT) \
+ strap-1/RLINSET.$(FASLEXT)
+
+strap-1/SGROUP.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+
+strap-1/ABELSG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+
+strap-1/MONOID.$(FASLEXT): strap-1/SGROUP.$(FASLEXT)
+
+strap-1/ABELMON.$(FASLEXT): strap-1/ABELSG.$(FASLEXT)
+
+strap-1/CABMON.$(FASLEXT): strap-1/ABELMON.$(FASLEXT)
+
+strap-1/OCAMON.$(FASLEXT): strap-1/OAMON.$(FASLEXT) \
+ strap-1/CABMON.$(FASLEXT)
+
+strap-1/OAMON.$(FASLEXT): strap-1/OASGP.$(FASLEXT) \
+ strap-1/ABELMON.$(FASLEXT)
+
+strap-1/OAMONS.$(FASLEXT): strap-1/OCAMON.$(FASLEXT)
+
+strap-1/ABELGRP.$(FASLEXT): strap-1/CABMON.$(FASLEXT) \
+ strap-1/LLINSET.$(FASLEXT)
+
+strap-1/OAGROUP.$(FASLEXT): strap-1/OCAMON.$(FASLEXT) \
+ strap-1/ABELGRP.$(FASLEXT)
+
+strap-1/RNG.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) \
+ strap-1/SGROUP.$(FASLEXT)
+
+strap-1/LMODULE.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) \
+ strap-1/LLINSET.$(FASLEXT)
+
+strap-1/RMODULE.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) \
+ strap-1/RLINSET.$(FASLEXT)
+
+strap-1/BMODULE.$(FASLEXT): strap-1/LMODULE.$(FASLEXT) \
+ strap-1/RMODULE.$(FASLEXT)
+
+strap-1/SRING.$(FASLEXT): strap-1/ABELMON.$(FASLEXT) \
+ strap-1/MONOID.$(FASLEXT)
+
+strap-1/RING.$(FASLEXT): strap-1/RNG.$(FASLEXT) \
+ strap-1/SRING.$(FASLEXT) \
+ strap-1/LMODULE.$(FASLEXT) strap-1/KRCFROM.$(FASLEXT)
+
+strap-1/DIOID.$(FASLEXT): strap-1/OAMON.$(FASLEXT) strap-1/SRING.$(FASLEXT)
+
+strap-1/SRING.$(FASLEXT): strap-1/ABELMON.$(FASLEXT) \
+ strap-1/MONOID.$(FASLEXT)
+
+strap-1/ORDRING.$(FASLEXT): strap-1/OAGROUP.$(FASLEXT) \
+ strap-1/RING.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
+
+strap-1/COMRING.$(FASLEXT): strap-1/RING.$(FASLEXT) \
+ strap-1/BMODULE.$(FASLEXT)
+
+strap-1/ALGEBRA.$(FASLEXT): strap-1/RING.$(FASLEXT) \
+ strap-1/MODULE.$(FASLEXT) strap-1/KOERCE.$(FASLEXT)
+
+strap-1/MODULE.$(FASLEXT): strap-1/COMRING.$(FASLEXT) \
+ strap-1/BMODULE.$(FASLEXT) strap-1/LINSET.$(FASLEXT)
+
+strap-1/INTDOM.$(FASLEXT): strap-1/COMRING.$(FASLEXT) \
+ strap-1/ALGEBRA.$(FASLEXT) strap-1/ENTIRER.$(FASLEXT) \
+ strap-0/FIELD.$(FASLEXT)
+
+strap-1/ORDRING.$(FASLEXT): strap-1/OAGROUP.$(FASLEXT) \
+ strap-1/RING.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
+
+strap-1/OINTDOM.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) \
+ strap-1/ORDRING.$(FASLEXT)
+
+strap-1/FIELD.$(FASLEXT): strap-1/EUCDOM.$(FASLEXT) \
+ strap-1/UFD.$(FASLEXT) strap-1/DIVRING.$(FASLEXT)
+
+strap-1/FPC.$(FASLEXT): strap-1/FIELD.$(FASLEXT) strap-1/CHARNZ.$(FASLEXT)
+
+strap-1/FFIELDC.$(FASLEXT): strap-1/FPC.$(FASLEXT) strap-1/FINITE.$(FASLEXT) \
+ strap-1/STEP.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \
+ strap-0/TABLE.$(FASLEXT)
+
+strap-1/DIVRING.$(FASLEXT): strap-1/ENTIRER.$(FASLEXT) \
+ strap-1/ALGEBRA.$(FASLEXT) strap-0/FRAC.$(FASLEXT)
+
+strap-1/REAL.$(FASLEXT): strap-1/KONVERT.$(FASLEXT) \
+ strap-0/DFLOAT.$(FASLEXT) strap-0/FLOAT.$(FASLEXT)
+
+strap-1/INS.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \
+ strap-1/OINTDOM.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \
+ strap-1/KONVERT.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \
+ strap-1/LINEXP.$(FASLEXT) strap-1/CFCAT.$(FASLEXT) \
+ strap-1/REAL.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \
+ strap-1/STEP.$(FASLEXT) strap-1/PATMAB.$(FASLEXT) \
+ strap-0/PATTERN.$(FASLEXT)
+
+strap-1/FPS.$(FASLEXT): strap-1/RNS.$(FASLEXT)
+
+strap-1/RNS.$(FASLEXT): strap-1/FIELD.$(FASLEXT) strap-1/ORDRING.$(FASLEXT) \
+ strap-1/RETRACT.$(FASLEXT) strap-1/RADCAT.$(FASLEXT) \
+ strap-1/KONVERT.$(FASLEXT) strap-1/PATMAB.$(FASLEXT) \
+ strap-1/CHARZ.$(FASLEXT)
+
+strap-1/DSEXT.$(FASLEXT): strap-1/DIFFSPC.$(FASLEXT) \
+ strap-1/PDSPC.$(FASLEXT)
+
+strap-1/DIFEXT.$(FASLEXT): strap-1/DSEXT.$(FASLEXT) \
+ strap-1/DIFRING.$(FASLEXT) strap-1/PDRING.$(FASLEXT)
+
+strap-1/DIFRING.$(FASLEXT): strap-1/RING.$(FASLEXT) \
+ strap-1/DIFFSPC.$(FASLEXT)
+
+strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT)
+
+strap-1/PDRING.$(FASLEXT): strap-1/PDSPC.$(FASLEXT)
+
+strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT)
+
+strap-1/PDDOM.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+
+strap-1/TRANFUN.$(FASLEXT): strap-1/TRIGCAT.$(FASLEXT) \
+ strap-1/ATRIG.$(FASLEXT) strap-1/HYPCAT.$(FASLEXT) \
+ strap-1/AHYP.$(FASLEXT) strap-1/ELEMFUN.$(FASLEXT)
+
+strap-1/TRIGCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+strap-1/ATRIG.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+strap-1/HYPCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+strap-1/AHYP.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+strap-1/ELEMFUN.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+
+strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+
+strap-1/AMR.$(FASLEXT): strap-1/RING.$(FASLEXT) strap-1/BMODULE.$(FASLEXT) \
+ strap-1/ALGEBRA.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \
+ strap-1/CHARZ.$(FASLEXT) strap-1/CHARNZ.$(FASLEXT)
+
+strap-1/FAMR.$(FASLEXT): strap-1/AMR.$(FASLEXT) \
+ strap-1/FRETRCT.$(FASLEXT)
+
+strap-1/POLYCAT.$(FASLEXT): strap-1/PDRING.$(FASLEXT) \
+ strap-1/FAMR.$(FASLEXT) strap-1/EVALAB.$(FASLEXT) \
+ strap-1/RETRACT.$(FASLEXT) strap-1/FLINEXP.$(FASLEXT) \
+ strap-1/VECTOR.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) \
+ strap-0/LIST.$(FASLEXT) strap-0/SUP.$(FASLEXT) \
+ strap-0/INFORM.$(FASLEXT)
+
+strap-1/UPOLYC.$(FASLEXT): strap-1/POLYCAT.$(FASLEXT) \
+ strap-1/ELTAB.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \
+ strap-1/DIFEXT.$(FASLEXT) strap-1/STEP.$(FASLEXT) \
+ strap-1/COMRING.$(FASLEXT) strap-1/INTDOM.$(FASLEXT) \
+ strap-1/FIELD.$(FASLEXT) strap-1/ALGEBRA.$(FASLEXT) \
+ strap-1/SAOS.$(FASLEXT)
+
+strap-1/PFECAT.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/CHARZ.$(FASLEXT)
+
+strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \
+ strap-1/ALGEBRA.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \
+ strap-1/FEVALAB.$(FASLEXT) strap-1/DIFEXT.$(FASLEXT) \
+ strap-1/FLINEXP.$(FASLEXT) strap-1/PATAB.$(FASLEXT) \
+ strap-1/FPATMAB.$(FASLEXT) strap-1/ORDSET.$(FASLEXT) \
+ strap-1/OINTDOM.$(FASLEXT) strap-1/REAL.$(FASLEXT) \
+ strap-1/KONVERT.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \
+ strap-1/CHARNZ.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \
+ strap-1/PFECAT.$(FASLEXT)
+
+strap-1/OPERCAT.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-0/OUTFORM.$(FASLEXT) strap-0/BOOLEAN.$(FASLEXT)
+
+strap-1/ARR2CAT.$(FASLEXT): strap-1/HOAGG.$(FASLEXT)
+
+strap-1/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
+ strap-1/BOOLE.$(FASLEXT) strap-1/LOGIC.$(FASLEXT) \
+ strap-1/A1AGG.$(FASLEXT)
+
+strap-1/FSAGG.$(FASLEXT): strap-1/KDAGG.$(FASLEXT) \
+ strap-1/SETAGG.$(FASLEXT)
+
+strap-1/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \
+ strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT)
+
+strap-1/STAGG.$(FASLEXT): strap-1/URAGG.$(FASLEXT)
+
+strap-1/URAGG.$(FASLEXT): strap-1/RCAGG.$(FASLEXT) \
+ strap-0/PI.$(FASLEXT)
+
+strap-1/RCAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT)
+
+strap-1/ELAGG.$(FASLEXT): strap-1/LNAGG.$(FASLEXT)
+
+strap-1/SRAGG.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
+
+strap-1/A1AGG.$(FASLEXT): strap-1/FLAGG.$(FASLEXT)
+
+strap-1/FLAGG.$(FASLEXT): strap-1/LNAGG.$(FASLEXT)
+
+strap-1/LNAGG.$(FASLEXT): strap-1/IXAGG.$(FASLEXT) \
+ strap-1/CLAGG.$(FASLEXT) strap-1/ETLAB.$(FASLEXT) \
+ strap-0/UNISEG.$(FASLEXT)
+
+strap-1/IXAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) \
+ strap-1/ELTAGG.$(FASLEXT)
+
+strap-1/HOAGG.$(FASLEXT): strap-1/AGG.$(FASLEXT) \
+ strap-1/KOERCE.$(FASLEXT) strap-1/BASTYPE.$(FASLEXT) \
+ strap-1/SETCAT.$(FASLEXT) strap-1/EVALAB.$(FASLEXT) \
+ strap-0/EQ.$(FASLEXT)
+
+strap-1/SETAGG.$(FASLEXT): strap-1/CLAGG.$(FASLEXT) strap-1/SETCAT.$(FASLEXT)
+
+strap-1/AGG.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+
+strap-1/ELTAGG.$(FASLEXT): strap-1/AGG.$(FASLEXT) strap-1/ELTAB.$(FASLEXT)
+
+strap-1/ETLAB.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+
+strap-1/EVALAB.$(FASLEXT): strap-1/IEVALAB.$(FASLEXT)
+
+strap-1/IEVALAB.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
+
+strap-1/SEXCAT.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-1/KVTFROM.$(FASLEXT) strap-1/ELTAB.$(FASLEXT)
+
+strap-1/CTORCAT.$(FASLEXT): strap-1/OPERCAT.$(FASLEXT) \
+ strap-0/CTORKIND.$(FASLEXT) strap-0/LIST.$(FASLEXT) \
+ strap-0/OVERSET.$(FASLEXT) strap-1/ARITY.$(FASLEXT)
+
+strap-1/MATCAT.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \
+ strap-1/INTDOM.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \
+ strap-1/EUCDOM.$(FASLEXT)
+
+strap-1/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
+ strap-1/ABELSG.$(FASLEXT) strap-1/ABELMON.$(FASLEXT) \
+ strap-1/ABELGRP.$(FASLEXT) strap-1/MONOID.$(FASLEXT) \
+ strap-1/RING.$(FASLEXT) strap-1/RADCAT.$(FASLEXT)
+
+strap-1/ARITY.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-1/RETRACT.$(FASLEXT) strap-0/NNI.$(FASLEXT) \
+ strap-0/BOOLEAN.$(FASLEXT) strap-0/SINT.$(FASLEXT) \
+ strap-0/OUTFORM.$(FASLEXT)
+
+strap-1/CTORCALL.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-1/CTORCAT.$(FASLEXT) strap-0/LIST.$(FASLEXT) \
+ strap-0/SYNTAX.$(FASLEXT)
+
+strap-1/OUTFORM.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-0/VOID.$(FASLEXT) strap-0/STRING.$(FASLEXT) \
+ strap-0/NNI.$(FASLEXT) strap-0/BOOLEAN.$(FASLEXT) \
+ strap-0/NUMFMT.$(FASLEXT) strap-0/IDENT.$(FASLEXT) \
+ strap-0/LIST.$(FASLEXT) strap-0/CHAR.$(FASLEXT)
+
+strap-1/BOOLEAN.$(FASLEXT): strap-1/PROPLOG.$(FASLEXT) \
+ strap-1/ORDFIN.$(FASLEXT) strap-1/KONVERT.$(FASLEXT) \
+ strap-0/PI.$(FASLEXT)
+
+strap-1/SINT.$(FASLEXT): strap-1/INS.$(FASLEXT) strap-1/INT.$(FASLEXT)
+
+strap-1/PI.$(FASLEXT): strap-1/OASGP.$(FASLEXT) \
+ strap-1/MONOID.$(FASLEXT) strap-1/NNI.$(FASLEXT)
+
+strap-1/NNI.$(FASLEXT): strap-1/OAMONS.$(FASLEXT) strap-1/INT.$(FASLEXT)
+
+strap-1/INT.$(FASLEXT): strap-1/INS.$(FASLEXT) \
+ strap-1/SUP.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) \
+ strap-1/VECTOR.$(FASLEXT)
+
+strap-1/MAYBE.$(FASLEXT): strap-1/UTYPE.$(FASLEXT) \
+ strap-1/RETRACT.$(FASLEXT) strap-1/KOERCE.$(FASLEXT) \
+ strap-0/BOOLEAN.$(FASLEXT)
+
+strap-1/DFLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
+ strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \
+ strap-1/KONVERT.$(FASLEXT)
+
+strap-1/FLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
+ strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \
+ strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT)
+
+strap-1/SUP.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT) strap-1/PR.$(FASLEXT) \
+ strap-1/FPC.$(FASLEXT) strap-1/FFIELDC.$(FASLEXT)
+
+strap-1/PR.$(FASLEXT): strap-1/FAMR.$(FASLEXT) strap-1/FM.$(FASLEXT)
+
+strap-1/FM.$(FASLEXT): strap-1/IDPAG.$(FASLEXT)
+
+strap-1/IDPAG.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) \
+ strap-1/IDPAM.$(FASLEXT)
+
+strap-1/IDPAM.$(FASLEXT): strap-1/ABELMON.$(FASLEXT) \
+ strap-1/IDPC.$(FASLEXT) strap-1/IDPO.$(FASLEXT)
+
+strap-1/IDPO.$(FASLEXT): strap-1/PAIR.$(FASLEXT)
+
+strap-1/PAIR.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \
+ strap-1/SETCAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT)
+
+strap-1/MATRIX.$(FASLEXT): strap-1/MATCAT.$(FASLEXT) \
+ strap-1/IIARRAY2.$(FASLEXT)
+
+strap-1/IIARRAY2.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \
+ strap-1/PRIMARR.$(FASLEXT) strap-1/STRING.$(FASLEXT)
+
+strap-1/PRIMARR.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
+
+strap-1/LIST.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \
+ strap-1/SETCAT.$(FASLEXT) strap-1/KONVERT.$(FASLEXT) \
+ strap-1/LSAGG.$(FASLEXT)
+
+strap-1/VECTOR.$(FASLEXT): strap-1/IVECTOR.$(FASLEXT)
+
+strap-1/IVECTOR.$(FASLEXT): strap-1/VECTCAT.$(FASLEXT) \
+ strap-1/IARRAY1.$(FASLEXT) strap-0/MATRIX.$(FASLEXT)
+
+strap-1/IARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
+ strap-0/PRIMARR.$(FASLEXT)
+
+strap-1/FRAC.$(FASLEXT): strap-1/QFCAT.$(FASLEXT)
+
+strap-1/STRING.$(FASLEXT): strap-1/SRAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT)
+
+strap-1/CHAR.$(FASLEXT): strap-1/ORDFIN.$(FASLEXT) strap-1/CCLASS.$(FASLEXT)
+
+strap-1/CCLASS.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+ strap-1/KOERCE.$(FASLEXT) \
+ strap-1/FSAGG.$(FASLEXT) strap-1/KONVERT.$(FASLEXT) \
+ strap-1/IBITS.$(FASLEXT)
+
+strap-1/TABLE.$(FASLEXT): strap-1/TBAGG.$(FASLEXT)
+
+strap-1/IBITS.$(FASLEXT): strap-1/BTAGG.$(FASLEXT)
+
+strap-1/CTOR.$(FASLEXT): strap-1/CTORCAT.$(FASLEXT) \
+ strap-1/IDENT.$(FASLEXT) strap-1/MAYBE.$(FASLEXT)
+
+strap-1/CATCTOR.$(FASLEXT): strap-1/CTORCAT.$(FASLEXT) \
+ strap-1/KOERCE.$(FASLEXT) strap-1/CTOR.$(FASLEXT)
+
+strap-1/SAOS.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
+ strap-1/KONVERT.$(FASLEXT) strap-0/SYMBOL.$(FASLEXT)
+
+# Bootstrap stage 2 dependencies.
+# At this stage we recompile everything from stage 1, including
+# a few more domains.
+
+strap-2/KOERCE.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/KONVERT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+
+strap-2/RETRACT.$(FASLEXT): strap-2/KRCFROM.$(FASLEXT)
+
+strap-2/BASTYPE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) \
+ strap-1/BOOLEAN.$(FASLEXT)
+
+strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT)
+
+strap-2/SETCAT.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) \
+ strap-2/KOERCE.$(FASLEXT) strap-1/SINT.$(FASLEXT)
+
+strap-2/FINITE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+strap-2/ORDTYPE.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT)
+strap-2/ORDSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
+ strap-2/ORDTYPE.$(FASLEXT)
+strap-2/ORDFIN.$(FASLEXT): strap-2/ORDSET.$(FASLEXT) \
+ strap-2/FINITE.$(FASLEXT)
+
+strap-2/LOGIC.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/BOOLE.$(FASLEXT): strap-2/LOGIC.$(FASLEXT)
+strap-2/PROPLOG.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
+ strap-2/BOOLE.$(FASLEXT)
+
+strap-2/LLINSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+strap-2/RLINSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+strap-2/LINSET.$(FASLEXT): strap-2/LLINSET.$(FASLEXT) \
+ strap-2/RLINSET.$(FASLEXT)
+
+strap-2/SGROUP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+strap-2/ABELSG.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
+ strap-1/PI.$(FASLEXT)
+
+strap-2/MONOID.$(FASLEXT): strap-2/SGROUP.$(FASLEXT)
+strap-2/ABELMON.$(FASLEXT): strap-2/ABELSG.$(FASLEXT)
+strap-2/CABMON.$(FASLEXT): strap-2/ABELMON.$(FASLEXT)
+strap-2/OCAMON.$(FASLEXT): strap-2/OAMON.$(FASLEXT) \
+ strap-2/CABMON.$(FASLEXT)
+strap-2/OAMON.$(FASLEXT): strap-2/OASGP.$(FASLEXT) \
+ strap-2/ABELMON.$(FASLEXT)
+
+strap-2/ABELGRP.$(FASLEXT): strap-2/CABMON.$(FASLEXT) \
+ strap-2/LLINSET.$(FASLEXT)
+
+strap-2/OAGROUP.$(FASLEXT): strap-2/OCAMON.$(FASLEXT) \
+ strap-2/ABELGRP.$(FASLEXT)
+strap-2/RNG.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \
+ strap-2/SGROUP.$(FASLEXT)
+strap-2/LMODULE.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \
+ strap-2/LLINSET.$(FASLEXT)
+strap-2/RMODULE.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \
+ strap-2/RLINSET.$(FASLEXT)
+strap-2/BMODULE.$(FASLEXT): strap-2/LMODULE.$(FASLEXT) \
+ strap-2/RMODULE.$(FASLEXT)
+
+strap-2/SRING.$(FASLEXT): strap-2/ABELMON.$(FASLEXT) \
+ strap-2/MONOID.$(FASLEXT)
+
+strap-2/RING.$(FASLEXT): strap-2/RNG.$(FASLEXT) \
+ strap-2/SRING.$(FASLEXT) \
+ strap-2/LMODULE.$(FASLEXT) strap-2/KRCFROM.$(FASLEXT)
+
+strap-2/SRING.$(FASLEXT): strap-2/ABELMON.$(FASLEXT) \
+ strap-2/MONOID.$(FASLEXT)
+
+strap-2/DIOID.$(FASLEXT): strap-2/OAMON.$(FASLEXT) strap-2/SRING.$(FASLEXT)
+
+strap-2/ORDRING.$(FASLEXT): strap-2/OAGROUP.$(FASLEXT) \
+ strap-2/RING.$(FASLEXT) strap-2/MONOID.$(FASLEXT)
+
+strap-2/COMRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \
+ strap-2/BMODULE.$(FASLEXT)
+
+strap-2/MODULE.$(FASLEXT): strap-2/COMRING.$(FASLEXT) \
+ strap-2/BMODULE.$(FASLEXT) strap-2/LINSET.$(FASLEXT)
+
+strap-2/INTDOM.$(FASLEXT): strap-2/COMRING.$(FASLEXT) \
+ strap-2/ALGEBRA.$(FASLEXT) strap-2/ENTIRER.$(FASLEXT) \
+ strap-1/FIELD.$(FASLEXT)
+
+strap-2/GCDDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT)
+
+strap-2/ENTIRER.$(FASLEXT): strap-2/RING.$(FASLEXT) \
+ strap-2/BMODULE.$(FASLEXT)
+
+strap-2/OINTDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) \
+ strap-2/ORDRING.$(FASLEXT)
+
+strap-2/ALGEBRA.$(FASLEXT): strap-2/RING.$(FASLEXT) \
+ strap-2/MODULE.$(FASLEXT) strap-2/KOERCE.$(FASLEXT)
+
+strap-2/EUCDOM.$(FASLEXT): strap-2/PID.$(FASLEXT) \
+ strap-2/BOOLEAN.$(FASLEXT)
+
+
+strap-2/PID.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) \
+ strap-2/MAYBE.$(FASLEXT)
+
+strap-2/OINTDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) \
+ strap-2/ORDRING.$(FASLEXT)
+
+strap-2/DIVRING.$(FASLEXT): strap-2/ENTIRER.$(FASLEXT) \
+ strap-2/ALGEBRA.$(FASLEXT) strap-2/FRAC.$(FASLEXT)
+
+strap-2/FIELD.$(FASLEXT): strap-2/EUCDOM.$(FASLEXT) \
+ strap-2/UFD.$(FASLEXT) strap-2/DIVRING.$(FASLEXT)
+
+strap-2/DIFFDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+
+strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT)
+
+strap-2/DIFRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \
+ strap-2/DIFFSPC.$(FASLEXT)
+
+strap-2/DSEXT.$(FASLEXT): strap-2/DIFFSPC.$(FASLEXT) \
+ strap-2/PDSPC.$(FASLEXT)
+
+strap-2/PDDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+
+strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT)
+
+strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
+
+strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT)
+
+strap-2/DIFEXT.$(FASLEXT): strap-2/DSEXT.$(FASLEXT) \
+ strap-2/DIFRING.$(FASLEXT) strap-2/PDRING.$(FASLEXT)
+
+strap-2/LINEXP.$(FASLEXT): strap-2/LMODULE.$(FASLEXT)
+
+strap-2/CFCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+
+strap-2/REAL.$(FASLEXT): strap-2/KONVERT.$(FASLEXT) \
+ strap-1/DFLOAT.$(FASLEXT) strap-1/FLOAT.$(FASLEXT)
+
+strap-2/CHARZ.$(FASLEXT): strap-2/RING.$(FASLEXT)
+
+strap-2/STEP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+
+strap-2/PATMAB.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+
+strap-2/UFD.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) \
+ strap-2/BOOLEAN.$(FASLEXT)
+
+strap-2/INS.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
+ strap-2/OINTDOM.$(FASLEXT) strap-2/DIFRING.$(FASLEXT) \
+ strap-2/KONVERT.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \
+ strap-2/LINEXP.$(FASLEXT) strap-2/CFCAT.$(FASLEXT) \
+ strap-2/REAL.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) \
+ strap-2/STEP.$(FASLEXT) strap-2/PATMAB.$(FASLEXT)
+
+strap-2/FPS.$(FASLEXT): strap-2/RNS.$(FASLEXT)
+
+strap-2/RNS.$(FASLEXT): strap-2/FIELD.$(FASLEXT) strap-2/ORDRING.$(FASLEXT) \
+ strap-2/RETRACT.$(FASLEXT) strap-2/RADCAT.$(FASLEXT) \
+ strap-2/KONVERT.$(FASLEXT) strap-2/PATMAB.$(FASLEXT) \
+ strap-2/CHARZ.$(FASLEXT)
+
+strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT)
+
+strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \
+ strap-2/ALGEBRA.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \
+ strap-2/FEVALAB.$(FASLEXT) strap-2/DIFEXT.$(FASLEXT) \
+ strap-2/FLINEXP.$(FASLEXT) strap-2/PATAB.$(FASLEXT) \
+ strap-2/FPATMAB.$(FASLEXT) strap-2/ORDSET.$(FASLEXT) \
+ strap-2/OINTDOM.$(FASLEXT) strap-2/REAL.$(FASLEXT) \
+ strap-2/KONVERT.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) \
+ strap-2/CHARNZ.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
+ strap-2/PFECAT.$(FASLEXT)
+
+strap-2/TRANFUN.$(FASLEXT): strap-2/TRIGCAT.$(FASLEXT) \
+ strap-2/ATRIG.$(FASLEXT) strap-2/HYPCAT.$(FASLEXT) \
+ strap-2/AHYP.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT)
+
+strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+
+
+strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+
+strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \
+ strap-2/ALGEBRA.$(FASLEXT) strap-2/FIELD.$(FASLEXT) \
+ strap-2/CHARZ.$(FASLEXT) strap-2/CHARNZ.$(FASLEXT)
+
+strap-2/FAMR.$(FASLEXT): strap-2/AMR.$(FASLEXT) \
+ strap-2/FRETRCT.$(FASLEXT)
+
+strap-2/POLYCAT.$(FASLEXT): strap-2/PDRING.$(FASLEXT) \
+ strap-2/FAMR.$(FASLEXT) strap-2/EVALAB.$(FASLEXT) \
+ strap-2/RETRACT.$(FASLEXT) strap-2/FLINEXP.$(FASLEXT) \
+ strap-2/VECTOR.$(FASLEXT) strap-2/MATRIX.$(FASLEXT) \
+ strap-2/LIST.$(FASLEXT) strap-1/SUP.$(FASLEXT) \
+ strap-2/INFORM.$(FASLEXT)
+
+strap-2/UPOLYC.$(FASLEXT): strap-2/POLYCAT.$(FASLEXT) \
+ strap-2/ELTAB.$(FASLEXT) strap-2/DIFRING.$(FASLEXT) \
+ strap-2/DIFEXT.$(FASLEXT) strap-2/STEP.$(FASLEXT) \
+ strap-2/COMRING.$(FASLEXT) strap-2/INTDOM.$(FASLEXT) \
+ strap-2/FIELD.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT)
+
+
+strap-2/ARR2CAT.$(FASLEXT): strap-2/HOAGG.$(FASLEXT)
+strap-2/FSAGG.$(FASLEXT): strap-2/KDAGG.$(FASLEXT) \
+ strap-2/SETAGG.$(FASLEXT)
+strap-2/ALAGG.$(FASLEXT): strap-2/TBAGG.$(FASLEXT) strap-2/LSAGG.$(FASLEXT)
+strap-2/LSAGG.$(FASLEXT): strap-2/STAGG.$(FASLEXT) \
+ strap-2/FLAGG.$(FASLEXT) strap-2/ELAGG.$(FASLEXT)
+strap-2/TBAGG.$(FASLEXT): strap-2/KDAGG.$(FASLEXT)
+strap-2/KDAGG.$(FASLEXT): strap-2/DIAGG.$(FASLEXT)
+strap-2/DIAGG.$(FASLEXT): strap-2/DIOPS.$(FASLEXT)
+strap-2/DIOPS.$(FASLEXT): strap-2/BGAGG.$(FASLEXT) strap-2/CLAGG.$(FASLEXT)
+strap-2/BGAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT)
+strap-2/STAGG.$(FASLEXT): strap-2/URAGG.$(FASLEXT)
+strap-2/URAGG.$(FASLEXT): strap-2/RCAGG.$(FASLEXT)
+strap-2/RCAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT)
+strap-2/ELAGG.$(FASLEXT): strap-2/LNAGG.$(FASLEXT)
+strap-2/SRAGG.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
+strap-2/A1AGG.$(FASLEXT): strap-2/FLAGG.$(FASLEXT)
+strap-2/FLAGG.$(FASLEXT): strap-2/LNAGG.$(FASLEXT)
+strap-2/LNAGG.$(FASLEXT): strap-2/IXAGG.$(FASLEXT) \
+ strap-2/CLAGG.$(FASLEXT) strap-2/ETLAB.$(FASLEXT)
+strap-2/IXAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) \
+ strap-2/ELTAGG.$(FASLEXT)
+strap-2/HOAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) \
+ strap-2/KOERCE.$(FASLEXT) strap-2/BASTYPE.$(FASLEXT) \
+ strap-2/SETCAT.$(FASLEXT) strap-2/EVALAB.$(FASLEXT)
+strap-2/SETAGG.$(FASLEXT): strap-2/CLAGG.$(FASLEXT) strap-2/SETCAT.$(FASLEXT)
+strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/ELTAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/ELTAB.$(FASLEXT)
+strap-2/ETLAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+strap-2/EVALAB.$(FASLEXT): strap-2/IEVALAB.$(FASLEXT)
+strap-2/IEVALAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
+
+strap-2/SEXCAT.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
+ strap-2/KVTFROM.$(FASLEXT) strap-2/ELTAB.$(FASLEXT)
+
+strap-2/MATCAT.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \
+ strap-2/FLAGG.$(FASLEXT)
+
+strap-2/CATEGORY.$(FASLEXT): strap-2/KOERCE.$(FASLEXT) \
+ strap-1/OUTFORM.$(FASLEXT) strap-1/LIST.$(FASLEXT) \
+ strap-1/CTORCALL.$(FASLEXT) strap-1/CATCTOR.$(FASLEXT)
+
+strap-2/SINT.$(FASLEXT): strap-2/INS.$(FASLEXT) strap-2/INT.$(FASLEXT)
+
+strap-2/PI.$(FASLEXT): strap-2/OASGP.$(FASLEXT) \
+ strap-2/MONOID.$(FASLEXT) strap-2/NNI.$(FASLEXT)
+
+strap-2/NNI.$(FASLEXT): strap-2/OAMONS.$(FASLEXT) strap-2/INT.$(FASLEXT)
+
+strap-2/INT.$(FASLEXT): strap-2/INS.$(FASLEXT) \
+ strap-2/SUP.$(FASLEXT) strap-2/MATRIX.$(FASLEXT) \
+ strap-2/VECTOR.$(FASLEXT) strap-2/DFLOAT.$(FASLEXT) \
+ strap-2/FLOAT.$(FASLEXT)
+
+strap-2/DFLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \
+ strap-2/DIFRING.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT) \
+ strap-2/KONVERT.$(FASLEXT)
+
+strap-2/FLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \
+ strap-2/DIFRING.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT) \
+ strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT)
+
+strap-2/SUP.$(FASLEXT): strap-2/UPOLYC.$(FASLEXT) strap-2/PR.$(FASLEXT) \
+ strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT)
+
+strap-2/PR.$(FASLEXT): strap-2/FAMR.$(FASLEXT) strap-2/FM.$(FASLEXT)
+
+strap-2/FM.$(FASLEXT): strap-2/IDPAG.$(FASLEXT)
+
+strap-2/IDPAG.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \
+ strap-2/IDPAM.$(FASLEXT)
+
+strap-2/IDPAM.$(FASLEXT): strap-2/ABELMON.$(FASLEXT) \
+ strap-2/IDPC.$(FASLEXT) strap-2/IDPO.$(FASLEXT)
+
+strap-2/VECTOR.$(FASLEXT): strap-2/IVECTOR.$(FASLEXT)
+
+strap-2/IVECTOR.$(FASLEXT): strap-2/VECTCAT.$(FASLEXT) \
+ strap-2/IARRAY1.$(FASLEXT)
+
+strap-2/IARRAY1.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) \
+ strap-2/PRIMARR.$(FASLEXT)
+
+strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
+
+strap-2/PAIR.$(FASLEXT): strap-2/KOERCE.$(FASLEXT) \
+ strap-2/SETCAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT)
+
+strap-2/MATRIX.$(FASLEXT): strap-2/MATCAT.$(FASLEXT) \
+ strap-2/IIARRAY2.$(FASLEXT)
+
+strap-2/IIARRAY2.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \
+ strap-2/PRIMARR.$(FASLEXT) strap-1/STRING.$(FASLEXT)
+
+strap-2/INFORM.$(FASLEXT): strap-2/SEXCAT.$(FASLEXT) \
+ strap-2/KONVERT.$(FASLEXT) strap-2/ANY.$(FASLEXT) \
+ strap-2/SEX.$(FASLEXT) strap-2/LIST.$(FASLEXT) \
+ strap-2/SYMBOL.$(FASLEXT)
+
+strap-2/LIST.$(FASLEXT): strap-2/LSAGG.$(FASLEXT)
+
+strap-2/SEX.$(FASLEXT): strap-2/SEXOF.$(FASLEXT)
+
+strap-2/OUTFORM.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+
+strap-2/SEXOF.$(FASLEXT): strap-2/SEXCAT.$(FASLEXT)
+
+strap-2/ANY.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
+ strap-2/SEX.$(FASLEXT) strap-2/NONE.$(FASLEXT)
+
+strap-2/NONE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+
+strap-2/SYMBOL.$(FASLEXT): strap-2/ORDSET.$(FASLEXT) \
+ strap-2/KONVERT.$(FASLEXT) strap-2/KRCFROM.$(FASLEXT) \
+ strap-2/RETRACT.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
+ strap-2/PATMAB.$(FASLEXT) strap-2/VOID.$(FASLEXT) \
+ strap-2/BOOLEAN.$(FASLEXT) strap-2/ALIST.$(FASLEXT) \
+ strap-2/PRIMARR.$(FASLEXT) strap-2/REF.$(FASLEXT) \
+ strap-2/STRING.$(FASLEXT)
+
+strap-2/ALIST.$(FASLEXT): strap-2/ALAGG.$(FASLEXT) strap-2/REF.$(FASLEXT)
+
+strap-2/REF.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+
+strap-2/STRING.$(FASLEXT): strap-2/SRAGG.$(FASLEXT) \
+ strap-2/CHAR.$(FASLEXT)
+
+strap-2/FRAC.$(FASLEXT): strap-2/QFCAT.$(FASLEXT)
+
+strap-2/CHAR.$(FASLEXT): strap-2/ORDFIN.$(FASLEXT) strap-2/CCLASS.$(FASLEXT)
+
+strap-2/CCLASS.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
+ strap-2/KOERCE.$(FASLEXT) \
+ strap-2/FSAGG.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
+ strap-2/IBITS.$(FASLEXT)
+
+strap-2/TABLE.$(FASLEXT): strap-2/TBAGG.$(FASLEXT)
+
+strap-2/IBITS.$(FASLEXT): strap-2/BTAGG.$(FASLEXT)
+
+strap-2/MAYBE.$(FASLEXT): strap-2/UTYPE.$(FASLEXT) \
+ strap-2/RETRACT.$(FASLEXT) strap-2/KOERCE.$(FASLEXT) \
+ strap-2/BOOLEAN.$(FASLEXT)
+
+strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \
+ strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
+ strap-1/PI.$(FASLEXT)
+
+
+#
+#
+
+.PRECIOUS: strap-0 strap-1 strap-2
+strap-0 strap-1 strap-2:
+ $(MKDIR_P) $@
+
+.PRECIOUS: strap-0/%.$(FASLEXT)
+strap-0/%.$(FASLEXT): %.spad | strap-0
+ $(BOOTSTRAP) --sysalg=strap-0 --bootstrap $< \
+ && cp $*.NRLIB/code.$(FASLEXT) $@ && \
+ if test x@oa_keep_files@ = xyes; then \
+ cp $*.NRLIB/code.lsp strap-0/$*.lsp; fi && \
+ rm -rf $*.NRLIB
+
+.PRECIOUS: strap-1/%.$(FASLEXT)
+strap-1/%.$(FASLEXT): %.spad | strap-1
+ $(BOOTSTRAP) --strap=strap-0 --sysalg=strap-1 --optimize=3 $< && \
+ cp $*.NRLIB/code.$(FASLEXT) $@ && \
+ if test -d $*-.NRLIB; then cp $*-.NRLIB/code.$(FASLEXT) \
+ strap-1/$*-.$(FASLEXT); else : ; fi && \
+ if test x@oa_keep_files@ = xyes; then \
+ cp $*.NRLIB/code.lsp strap-1/$*.lsp; fi && \
+ rm -rf $*.NRLIB $*-.NRLIB
+
+.PRECIOUS: strap-2/%.$(FASLEXT)
+strap-2/%.$(FASLEXT): %.spad initdb.$(FASLEXT) | strap-2
+ $(BOOTSTRAP) --strap=strap-1 --sysalg=strap-2 --optimize=3 $< && \
+ cp $*.NRLIB/code.$(FASLEXT) $@ && \
+ if test -d $*-.NRLIB; then cp $*-.NRLIB/code.$(FASLEXT) \
+ strap-2/$*-.$(FASLEXT); else : ; fi && \
+ if test x@oa_keep_files@ = xyes; then \
+ cp $*.NRLIB/code.lsp strap-2/$*.lsp; fi && \
+ rm -rf $*.NRLIB $*-.NRLIB
+
+
+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)/domain.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)/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)/opalg.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 \
+ $(srcdir)/spad-parser.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)/syntax.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
+
+
+TESTS=$(INPUT)/INTHEORY.input $(INPUT)/VIEW2D.input $(INPUT)/TESTFR.input
+
+# The root of the category hierarchy is the Type category.
+# We require the basic integer domains are available at stage 2 of
+# bootstrap. This has the property of setting in motion
+# the built of several other domains and categories as needed
+# to ignite the algebra build. We require Category only because
+# we would like not to have too many special cases for it.
+strap-stamp: strap-2/CATEGORY.$(FASLEXT) \
+ strap-2/SINT.$(FASLEXT) strap-2/NNI.$(FASLEXT) \
+ strap-2/PI.$(FASLEXT)
+ -rm -f $@
+ $(STAMP) $@
+
+$(OUT)/TYPE.$(FASLEXT): strap-stamp
+
+$(OUT)/SINT.$(FASLEXT): $(OUT)/INT.$(FASLEXT)
+$(OUT)/NNI.$(FASLEXT): $(OUT)/INT.$(FASLEXT)
+$(OUT)/PI.$(FASLEXT): $(OUT)/NNI.$(FASLEXT)
+
+#$(OUT)/TYPE.$(FASLEXT): $(OUT)/SINT.$(FASLEXT)
+
+
+$(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)/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)/LIST.$(FASLEXT): $(OUT)/LSAGG.$(FASLEXT) $(OUT)/REF.$(FASLEXT) \
+ $(OUT)/ALIST.$(FASLEXT) $(OUT)/PRIMARR.$(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)/PI.$(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)/DIOID.$(FASLEXT): $(OUT)/OAMON.$(FASLEXT) $(OUT)/SRING.$(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)
+
+$(OUT)/BINOPC.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
+$(OUT)/BINOP.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT)
+$(OUT)/IDEMOPC.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) $(OUT)/BASTYPE.$(FASLEXT)
+$(OUT)/SGPOPC.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) $(OUT)/BASTYPE.$(FASLEXT)
+$(OUT)/SGPOP.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) \
+ $(OUT)/BINOP.$(FASLEXT)
+$(OUT)/MONOPC.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT)
+
+oa_algebra_layer_0 = \
+ AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \
+ KRCFROM KVTFROM IEVALAB IEVALAB- EVALAB EVALAB- \
+ RETRACT RETRACT- SETCAT SETCAT- VOID SEGCAT \
+ MSYSCMD FINITE FINITE- IDEMOPC OUT \
+ PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \
+ BMODULE SGPOPC BASTYPE BASTYPE- STEP LMODULE \
+ RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \
+ ABELSG- ORDSET SGPOP OASGP FILECAT SEXCAT \
+ MODULE MODULE- PID OAGROUP OAGROUP- OCAMON \
+ OAMON OAMON- DIOID MONOPC \
+ 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 \
+ 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- REF ALIST PRIMARR SRING \
+ INS INS- DIVRING DIVRING- EUCDOM EUCDOM- \
+ BINOPC BINOP FPS FPS- RNS RNS- \
+ POLYCAT POLYCAT- QFCAT QFCAT- \
+ INT NNI PI SINT SYMBOL DFLOAT
+
+oa_algebra_layer_0_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_0))
+
+oa_algebra_layer_0_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_0)))
+
+$(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)/SRING.$(FASLEXT): $(OUT)/ABELMON.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT)
+$(OUT)/RING.$(FASLEXT): $(OUT)/RNG.$(FASLEXT) $(OUT)/SRING.$(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)
+
+$(OUT)/MONOP.$(FASLEXT): $(OUT)/MONOPC.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT) \
+ $(OUT)/SETCAT.$(FASLEXT)
+
+oa_algebra_layer_1 = \
+ ABELGRP ABELGRP- ABELMON ABELMON- ITUPLE \
+ CABMON MONOID MONOID- RING RING- COMRING \
+ DIFRING SRING ENTIRER INTDOM INTDOM- OINTDOM \
+ GCDDOM GCDDOM- UFD UFD- ES ES- \
+ PATAB PPCURVE PSCURVE CACHSET RESLATC \
+ IDENT OUTFORM BINDING BOOLEAN \
+ ORDRING FEVALAB FEVALAB- IARRAY1 \
+ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \
+ FIELD FIELD- VECTCAT VECTCAT- MONOP \
+ PROPERTY ARITY OPERCAT OPERCAT- PAIR STREAM \
+ RADCAT RADCAT- PDMOD DMEXT LZSTAGG LZSTAGG-
+
+oa_algebra_layer_1_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_1))
+
+oa_algebra_layer_1_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_1)))
+oa_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)
+
+oa_algebra_layer_2_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_2))
+
+oa_algebra_layer_2_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_2)))
+oa_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)
+
+oa_algebra_layer_3_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_3))
+
+oa_algebra_layer_3_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_3)))
+
+$(OUT)/ENV.$(FASLEXT): $(OUT)/SCOPE.$(FASLEXT)
+$(OUT)/COMM.$(FASLEXT): $(OUT)/OSI.$(FASLEXT)
+$(OUT)/PALETTE.$(FASLEXT): $(OUT)/COLOR.$(FASLEXT)
+
+
+oa_algebra_layer_4 = \
+ ANON OSI COMM COMPPROP EXIT \
+ FAMONC FORMULA1 IDPC NONE \
+ COLOR ONECOMP2 \
+ 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-
+
+
+oa_algebra_layer_4_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_4))
+
+oa_algebra_layer_4_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_4)))
+
+$(OUT)/KERNEL.$(FASLEXT): $(OUT)/KERNEL2.$(FASLEXT)
+$(OUT)/DVARCAT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT)
+$(OUT)/PDRING.$(FASLEXT): $(OUT)/PDSPC.$(FASLEXT)
+
+oa_algebra_layer_5 = \
+ CHARNZ DVARCAT DVARCAT- ELEMFUN \
+ ELEMFUN- 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
+
+oa_algebra_layer_5_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_5))
+
+oa_algebra_layer_5_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_5)))
+
+$(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)
+
+oa_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
+
+oa_algebra_layer_6_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_6))
+oa_algebra_layer_6_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_6)))
+$(OUT)/IFAMON.$(FASLEXT): $(OUT)/LMOPS.$(FASLEXT)
+oa_algebra_layer_7 = \
+ BTCAT BTCAT- LMOPS FMCAT IDPOAM \
+ IFAMON GRALG GRALG- \
+ INT8 INT16 INT32 INT64 UINT8 UINT16 \
+ UINT32 UINT64
+
+oa_algebra_layer_7_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_7))
+
+oa_algebra_layer_7_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_7)))
+
+$(OUT)/BSTREE.$(FASLEXT): $(OUT)/BTREE.$(FASLEXT)
+$(OUT)/ITAYLOR.$(FASLEXT): $(OUT)/STREAM.$(FASLEXT)
+$(OUT)/BTREE.$(FASLEXT): $(OUT)/TREE.$(FASLEXT)
+
+oa_algebra_layer_8 = \
+ BSTREE BTOURN CARD DRAWHACK FACTFUNC TREE \
+ FR2 FRAC2 FRUTIL ITAYLOR MLO NAALG \
+ NAALG- OP ORDCOMP2 RANDSRC UNISEG2 XALG \
+ BTREE POLY SMP ARR2CAT ARR2CAT-
+
+oa_algebra_layer_8_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_8))
+
+oa_algebra_layer_8_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_8)))
+$(OUT)/FT.$(FASLEXT): $(OUT)/FST.$(FASLEXT) $(OUT)/POLY.$(FASLEXT)
+
+oa_algebra_layer_9 = \
+ AMR AMR- DEGRED DLP EAB \
+ 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 \
+ SIG FMONCAT FST
+
+
+oa_algebra_layer_9_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_9))
+
+oa_algebra_layer_9_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_9)))
+$(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)/PBWLB.$(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)
+$(OUT)/PBWLB.$(FASLEXT): $(OUT)/LWORD.$(FASLEXT)
+$(OUT)/LWORD.$(FASLEXT): $(OUT)/MAGMA.$(FASLEXT)
+$(OUT)/PFR.$(FASLEXT): $(OUT)/FR.$(FASLEXT)
+
+oa_algebra_layer_10 = \
+ BPADIC ANY LWORD FR \
+ SEXOF CRAPACK DEQUEUE DLIST \
+ DRAWCX \
+ DRAWPT FAMR FAMR- FLASORT \
+ FLAGG2 FGROUP FM FM1 \
+ FPC FPC- FMONOID INDE \
+ IPADIC IROOT IR2 LEXP \
+ LIECAT LIECAT- LIST2 LIST2MAP \
+ SEX HASHTBL 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 MTSCAT \
+ 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 FFIELDC FFIELDC-
+
+
+oa_algebra_layer_10_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_10))
+
+oa_algebra_layer_10_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_10)))
+$(OUT)/ARRAY2.$(FASLEXT): $(OUT)/IFARRAY.$(FASLEXT)
+$(OUT)/ORESUP.$(FASLEXT): $(OUT)/PR.$(FASLEXT)
+$(OUT)/PLOT3D.$(FASLEXT): $(OUT)/POINT.$(FASLEXT)
+$(OUT)/POINT.$(FASLEXT): $(OUT)/PTCAT.$(FASLEXT)
+
+oa_algebra_layer_11 = \
+ APPLYORE ARRAY1 ARRAY12 ARRAY2 \
+ ASTACK COMBINAT POINT PTCAT \
+ CSTTOOLS FARRAY \
+ FLALG GALUTIL HEAP \
+ IARRAY2 IFARRAY INTCAT INTHEORY \
+ IRREDFFX LFCAT LODOCAT LODOCAT- \
+ MATSTOR \
+ ORESUP OREPCTO OREUP PLOT3D \
+ PR PREASSOC PRIMARR2 REDORDER \
+ SYMPOLY \
+ TS TUPLE UPSCAT UPSCAT- \
+ XDPOLY XEXPPKG \
+ XF XF- XPOLY \
+ XRPOLY FFIELDC FFIELDC- MTSCAT
+
+oa_algebra_layer_11_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_11))
+
+oa_algebra_layer_11_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_11)))
+oa_algebra_layer_12 = \
+ ULSCAT BITS DIRPROD2 IMATRIX \
+ LPOLY LSMP LSMP1 MATCAT2 TRIMAT \
+ SYSTEM HOSTNAME PORTNUM
+
+oa_algebra_layer_12_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_12))
+
+oa_algebra_layer_12_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_12)))
+
+$(OUT)/UPOLYC.$(FASLEXT): $(OUT)/PFECAT.$(FASLEXT)
+$(OUT)/SETMN.$(FASLEXT): $(OUT)/IBITS.$(FASLEXT)
+
+oa_algebra_layer_13 = \
+ ASSOCEQ CARTEN CLIF CLIP \
+ UPOLYC UPOLYC- \
+ COORDSYS DBASE DHMATRIX DIOSP \
+ FAXF FAXF- FFPOLY2 \
+ FNLA GRAY HB IRSN \
+ MHROWRED NUMODE NUMQUAD \
+ ODESYS ODETOOLS ORDFUNS PERMAN \
+ PFECAT PFECAT- PSEUDLIN \
+ PTPACK REP2 SETMN \
+ SYMFUNC VECTOR2 VECTOR CHAR \
+ INBCON INBCON- OUTBCON OUTBCON-
+
+oa_algebra_layer_13_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_13))
+
+oa_algebra_layer_13_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_13)))
+$(OUT)/FS.$(FASLEXT): $(OUT)/UPOLYC.$(FASLEXT)
+$(OUT)/FILE.$(FASLEXT): $(OUT)/FNAME.$(FASLEXT)
+
+oa_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- EMR EQ ERROR \
+ EVALCYC FACUTIL FF FFCG \
+ FFCGX FFHOM FFNB FFNBX \
+ FFPOLY FFX FFSLPE FGLMICPK \
+ FILE FINAALG FINAALG- FINRALG \
+ FINRALG- FLOATRP FNAME \
+ FORMULA FRAC \
+ 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 MLIFT \
+ MMAP MODMON MONOTOOL MPCPF \
+ MPC2 MPC3 MPOLY MPRFF \
+ MRATFAC MULTSQFR NORMRETR NPCOEF \
+ NSUP NTPOLFN ODP ODEPRIM \
+ ODEPRRIC 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 SMTS SOLVEFOR \
+ SPLTREE STINPROD STTFNC SUBRESP \
+ SUMRF SUP SUPFRACF TANEXP \
+ TEX TEXTFILE \
+ TWOFACT UNIFACT UP UPCDEN \
+ UPDECOMP UPDIVP UPMP UPOLYC2 \
+ UPXSCAT UPSQFREE VIEWDEF VIEW2D \
+ WEIER WP \
+ EQTBL GSTBL \
+ STBL STRTBL\
+ SYMS SYMTAB \
+ IOBCON
+
+
+oa_algebra_layer_14_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_14))
+
+oa_algebra_layer_14_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_14)))
+$(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)
+
+oa_algebra_layer_15 = \
+ DSMP EXPUPXS UPXS UPXSCONS \
+ FRAMALG FRAMALG- MDAGG ODPOL \
+ PLOT RMCAT2 ROIRC SDPOL \
+ ULS ULSCONS TUBETOOL UPXSCCA \
+ UPXSCCA- JVMBCODE BYTEBUF OVERSET \
+ ULSCCAT ULSCCAT- UTS UTSCAT UTSCAT-
+
+oa_algebra_layer_15_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_15))
+
+oa_algebra_layer_15_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_15)))
+$(OUT)/SPACE3.$(FASLEXT): $(OUT)/SUBSPACE.$(FASLEXT)
+
+oa_algebra_layer_16 = \
+ DPMM EFUPXS FFINTBAS FRIDEAL \
+ FRIDEAL2 FRMOD \
+ IBATOOL INTFACT \
+ MSETAGG MONOGEN MONOGEN- NFINTBAS \
+ SPACE3 FFF SUBSPACE
+
+oa_algebra_layer_16_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_16))
+
+oa_algebra_layer_16_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_16)))
+
+oa_algebra_layer_17 = \
+ CCLASS FSAGG2 GALFACT IALGFACT CTORCAT CTORCAT- \
+ IBACHIN MMLFORM NORMMA ODERED OMSAGG OPSIG \
+ PERM PERMGRP PRIMES PWFFINTB DROPT \
+ RDIST SAE SAEFACT SAERFFC \
+ SGCF VIEW3D
+
+$(OUT)/VIEW3D.$(FASLEXT): $(OUT)/DROPT.$(FASLEXT)
+
+oa_algebra_layer_17_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_17))
+
+oa_algebra_layer_17_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_17)))
+$(OUT)/PSETCAT.$(FASLEXT): $(OUT)/RPOLCAT.$(FASLEXT)
+
+oa_algebra_layer_18 = \
+ IPF CATCTOR DOMCTOR CTORCALL \
+ KAFILE PATRES TBCMPPK PSETCAT PSETCAT- \
+ RPOLCAT RPOLCAT-
+
+oa_algebra_layer_18_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_18))
+
+oa_algebra_layer_18_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_18)))
+$(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT)
+$(OUT)/FPARFRAC.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT)
+
+oa_algebra_layer_19 = \
+ ACPLOT ANTISYM \
+ COMPCAT \
+ COMPCAT- DRAW DRAWCFUN \
+ DROPT0 EP \
+ FFCAT FFCAT- FFCGP FFNBP \
+ FFP FLOAT FPARFRAC \
+ FRNAALG FRNAALG- EXPR \
+ FUNCTION GDMP HACKPI \
+ IDEAL INFORM INFORM1 IPRNTPK \
+ IR ISUPS LIB \
+ LMDICT LODOOPS MKFLCFN \
+ MSET \
+ NREP NUMFMT OC OC- \
+ ODERAT \
+ PATTERN OVAR \
+ PMKERNEL PMSYM PRIMELT \
+ QALGSET2 QEQUAT RECLOS REP1 \
+ QUATCAT QUATCAT- RFFACT \
+ ROMAN RNGBIND \
+ RULECOLD SAOS SEGBIND \
+ SET SPECOUT \
+ SYSSOLP \
+ VARIABLE WFFINTBS SPADPRSR \
+ PARSER TSETCAT TSETCAT-
+
+oa_algebra_layer_19_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_19))
+
+oa_algebra_layer_19_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_19)))
+$(OUT)/AN.$(FASLEXT): $(OUT)/IAN.$(FASLEXT)
+$(OUT)/IAN.$(FASLEXT): $(OUT)/EXPR.$(FASLEXT)
+$(OUT)/SUTS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
+$(OUT)/OCT.$(FASLEXT): $(OUT)/QUAT.$(FASLEXT)
+$(OUT)/EXPEXPAN.$(FASLEXT): $(OUT)/UPXSSING.$(FASLEXT)
+
+oa_algebra_layer_20 = \
+ AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \
+ ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \
+ COMPLPAT CMPLXRT CPMATCH CRFP \
+ CTRIGMNP \
+ DBLRESP DERHAM DFSFUN DRAWCURV \
+ EF EFSTRUC \
+ ELFUTS EXPEXPAN EXPRODE \
+ EXPRTUBE EXPR2 FDIVCAT \
+ FDIVCAT- FDIV2 FFCAT2 FLOATCP \
+ FORDER 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 \
+ MULTFACT NCEP \
+ NLINSOL NSMP NUMERIC OCT \
+ OCTCT2 ODEPAL ODERTRIC PADE \
+ PAN2EXPR PFO PFOQ \
+ PICOERCE PMASSFS PMFS PMPREDFS \
+ PSETPK QUAT QUATCT2 RADFF \
+ RDEEF RDEEFS RDIV RSETCAT \
+ RSETCAT- RULE RULESET SIMPAN \
+ SOLVESER SUMFS SUTS \
+ TOOLSIGN TRIGMNIP TRMANIP ULSCCAT \
+ ULSCCAT- UPXSSING UTSODE UTSODETL \
+ UTS2 WUTSET
+
+oa_algebra_layer_20_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_20))
+
+oa_algebra_layer_20_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_20)))
+$(OUT)/FDIV.$(FASLEXT): $(OUT)/HELLFDIV.$(FASLEXT)
+$(OUT)/GSERIES.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
+$(OUT)/SULS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
+$(OUT)/SUPXS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
+
+oa_algebra_layer_21 = \
+ DEFINTEF DFINTTLS DEFINTRF \
+ EFULS EXPR2UPS \
+ FDIV FSCINT FSINT FS2EXPXP \
+ GSERIES HELLFDIV INVLAPLA IR2F \
+ IRRF2F LAPLACE LIMITPS LODEEF \
+ NODE1 ODECONST ODEINT REP \
+ SOLVERAD SULS SUPXS \
+ UPXSCONS
+
+oa_algebra_layer_21_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_21))
+
+oa_algebra_layer_21_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_21)))
+oa_algebra_layer_22 = \
+ COMBF FSPRMELT \
+ INBFF LODO LODO1 LODO2 \
+ NTSCAT REGSET RGCHAIN RSETGCD \
+ RSDCMPK SFRTCAT SIGNEF SNTSCAT \
+ SOLVETRA SRDCMPK SREGSET STTF \
+ ZDSOLVE
+
+oa_algebra_layer_22_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_22))
+
+oa_algebra_layer_22_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_22)))
+oa_algebra_layer_23 = \
+ CPIMA IRURPK LAZM3PK LEXTRIPK \
+ NORMPK QCMPACK RURPK SFRGCD \
+ SFQCMPK INTRVL ODEEF DOMAIN CATEGORY
+
+oa_algebra_layer_23_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_23))
+
+oa_algebra_layer_23_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_23)))
+oa_algebra_layer_user = \
+ RINTERP ASTCAT ASTCAT- SASTCAT SASTCAT- HEADAST \
+ LITERAL TYPEAST IMPTAST MAPPAST ATTRAST \
+ JOINAST IFAST RPTAST WHILEAST INAST CLLCTAST \
+ LSTAST EXITAST RETAST SEGAST PRTDAST CRCEAST \
+ 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 \
+ IRFORM COMPILER \
+ ITFORM ELABOR TALGOP YDIAGRAM LINELT DBASIS \
+ LINFORM LINBASIS JVMOP JVMCFACC JVMFDACC JVMMDACC \
+ JVMCSTTG
+
+oa_algebra_layer_user_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_user))
+
+oa_algebra_layer_user_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_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)/SPADAST.$(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)/SPADAST.$(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)/SYNTAX.$(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)/SPADAST.$(FASLEXT)
+$(OUT)/MACROAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT)
+$(OUT)/SPADAST.$(FASLEXT): $(OUT)/SIGAST.$(FASLEXT) \
+ $(OUT)/RSTRCAST.$(FASLEXT) $(OUT)/SEQAST.$(FASLEXT) \
+ $(OUT)/SUCHTAST.$(FASLEXT)
+
+$(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)/IRFORM.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT)
+$(OUT)/COMPILER.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) $(OUT)/ENV.$(FASLEXT) \
+ $(OUT)/ELABOR.$(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)/LINBASIS.$(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)
+
+
+.PHONY: all-algebra all-algstrap
+
+all-am: all-algebra
+all-algebra: stamp
+ @ echo finished $(builddir)
+
+stamp: $(SPADFILES) user-stamp $(TESTS)
+ -rm -f stamp
+ $(STAMP) stamp
+
+all-algstrap: strap-stamp
+
+.PRECIOUS: $(OUT)/%.$(FASLEXT)
+$(OUT)/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT)
+ cp $< $@
+
+.PRECIOUS: %.spad
+.PRECIOUS: %.NRLIB/code.$(FASLEXT)
+%.NRLIB/code.$(FASLEXT): %.spad
+ $(COMPILE_SPAD)
+
+$(SPADFILES): | $(OUTSRC)
+
+.PRECIOUS: $(OUTSRC)/%.spad
+$(OUTSRC)/%.spad: $(srcdir)/%.spad.pamphlet
+ $(oa_hammer) --tangle --output=$@ $<
+
+.PRECIOUS: $(builddir)/%.tex
+.PRECIOUS: $(builddir)/%.dvi
+
+$(DOC)/%.dvi: | $(DOC)
+
+$(DOC):
+ @ $(MKDIR_P) $(DOC)
+
+$(DOC)/%.dvi: $(builddir)/%.dvi
+ @cp -p $< $@
+
+$(builddir)/%.dvi: $(oa_build_texdir)/diagrams.tex \
+ $(oa_build_texdir)/axiom.sty
+
+$(builddir)/%.dvi: $(builddir)/%.tex
+ $(oa_hammer) --latex $<
+
+$(builddir)/%.tex: $(srcdir)/%.pamphlet
+ $(oa_hammer) --weave --output=$@ $<
+
+$(oa_build_texdir)/diagrams.tex: $(oa_src_docdir)/diagrams.tex
+ @cp -p $< $@
+
+SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad
+ $(COMPILE_SPAD)
+
+PARSER.NRLIB/code.$(FASLEXT): script-parser.spad
+ $(COMPILE_SPAD)
+
+
+$(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=$@ $<
+
+
+$(DOC)/diagrams.tex: $(oa_src_docdir)/diagrams.tex
+ @cp -p $< $@
+
+$(oa_algebra_layer_0_objects): strap-stamp
+$(oa_algebra_layer_1_objects): 0-stamp
+$(oa_algebra_layer_2_objects): 1-stamp
+$(oa_algebra_layer_3_objects): 2-stamp
+$(oa_algebra_layer_4_objects): 3-stamp
+$(oa_algebra_layer_5_objects): 4-stamp
+$(oa_algebra_layer_6_objects): 5-stamp
+$(oa_algebra_layer_7_objects): 6-stamp
+$(oa_algebra_layer_8_objects): 7-stamp
+$(oa_algebra_layer_9_objects): 8-stamp
+$(oa_algebra_layer_10_objects): 9-stamp
+$(oa_algebra_layer_11_objects): 10-stamp
+$(oa_algebra_layer_12_objects): 11-stamp
+$(oa_algebra_layer_13_objects): 12-stamp
+$(oa_algebra_layer_14_objects): 13-stamp
+$(oa_algebra_layer_15_objects): 14-stamp
+$(oa_algebra_layer_16_objects): 15-stamp
+$(oa_algebra_layer_17_objects): 16-stamp
+$(oa_algebra_layer_18_objects): 17-stamp
+$(oa_algebra_layer_19_objects): 18-stamp
+$(oa_algebra_layer_20_objects): 19-stamp
+$(oa_algebra_layer_21_objects): 20-stamp
+$(oa_algebra_layer_22_objects): 21-stamp
+$(oa_algebra_layer_23_objects): 22-stamp
+$(oa_algebra_layer_user_objects): bootstrap-stamp
+
+$(oa_algebra_layer_0_objects): | $(OUT)
+$(OUT):
+ $(MKDIR_P) $@
+
+0-stamp: $(oa_algebra_layer_0_objects)
+ @ rm -f 0-stamp
+ @ $(STAMP) 0-stamp
+ @ echo ==================================
+ @ echo === layer 0 of 23 complete ======
+ @ echo ==================================
+
+1-stamp: 0-stamp $(oa_algebra_layer_1_objects)
+ @ rm -f 1-stamp
+ @ $(STAMP) 1-stamp
+ @ echo ==================================
+ @ echo === layer 1 of 23 complete ======
+ @ echo ==================================
+
+2-stamp: 1-stamp $(oa_algebra_layer_2_objects)
+ @ rm -f 2-stamp
+ @ $(STAMP) 2-stamp
+ @ echo ==================================
+ @ echo === layer 2 of 23 complete ======
+ @ echo ==================================
+
+3-stamp: 2-stamp $(oa_algebra_layer_3_objects)
+ @ rm -f 3-stamp
+ @ $(STAMP) 3-stamp
+ @ echo ==================================
+ @ echo === layer 3 of 23 complete ======
+ @ echo ==================================
+
+4-stamp: 3-stamp $(oa_algebra_layer_4_objects)
+ @ rm -f 4-stamp
+ @ $(STAMP) 4-stamp
+ @ echo ==================================
+ @ echo === layer 4 of 23 complete ======
+ @ echo ==================================
+
+5-stamp: 4-stamp $(oa_algebra_layer_5_objects)
+ @ rm -f 5-stamp
+ @ $(STAMP) 5-stamp
+ @ echo ==================================
+ @ echo === layer 5 of 23 complete ======
+ @ echo ==================================
+
+6-stamp: 5-stamp $(oa_algebra_layer_6_objects)
+ @ rm -f 6-stamp
+ @ $(STAMP) 6-stamp
+ @ echo ==================================
+ @ echo === layer 6 of 23 complete ======
+ @ echo ==================================
+
+7-stamp: 6-stamp $(oa_algebra_layer_7_objects)
+ @ rm -f 7-stamp
+ @ $(STAMP) 7-stamp
+ @ echo ==================================
+ @ echo === layer 7 of 23 complete ======
+ @ echo ==================================
+
+8-stamp: 7-stamp $(oa_algebra_layer_8_objects)
+ @ rm -f 8-stamp
+ @ $(STAMP) 8-stamp
+ @ echo ==================================
+ @ echo === layer 8 of 23 complete ======
+ @ echo ==================================
+
+9-stamp: 8-stamp $(oa_algebra_layer_9_objects)
+ @ rm -f 9-stamp
+ @ $(STAMP) 9-stamp
+ @ echo ==================================
+ @ echo === layer 9 of 23 complete ======
+ @ echo ==================================
+
+10-stamp: 9-stamp $(oa_algebra_layer_10_objects)
+ @ rm -f 10-stamp
+ @ $(STAMP) 10-stamp
+ @ echo ==================================
+ @ echo === layer 10 of 23 complete ======
+ @ echo ==================================
+
+11-stamp: 10-stamp $(oa_algebra_layer_11_objects)
+ @ rm -f 11-stamp
+ @ $(STAMP) 11-stamp
+ @ echo ==================================
+ @ echo === layer 11 of 23 complete ======
+ @ echo ==================================
+
+12-stamp: 11-stamp $(oa_algebra_layer_12_objects)
+ @ rm -f 12-stamp
+ @ $(STAMP) 12-stamp
+ @ echo ==================================
+ @ echo === layer 12 of 23 complete ======
+ @ echo ==================================
+
+13-stamp: 12-stamp $(oa_algebra_layer_13_objects)
+ @ rm -f 13-stamp
+ @ $(STAMP) 13-stamp
+ @ echo ==================================
+ @ echo === layer 13 of 23 complete ======
+ @ echo ==================================
+
+14-stamp: 13-stamp $(oa_algebra_layer_14_objects)
+ @ rm -f 14-stamp
+ @ $(STAMP) 14-stamp
+ @ echo ==================================
+ @ echo === layer 14 of 23 complete ======
+ @ echo ==================================
+
+15-stamp: 14-stamp $(oa_algebra_layer_15_objects)
+ @ rm -f 15-stamp
+ @ $(STAMP) 15-stamp
+ @ echo ==================================
+ @ echo === layer 15 of 23 complete ======
+ @ echo ==================================
+
+16-stamp: 15-stamp $(oa_algebra_layer_16_objects)
+ @ rm -f 16-stamp
+ @ $(STAMP) 16-stamp
+ @ echo ==================================
+ @ echo === layer 16 of 23 complete ======
+ @ echo ==================================
+
+17-stamp: 16-stamp $(oa_algebra_layer_17_objects)
+ @ rm -f 17-stamp
+ @ $(STAMP) 17-stamp
+ @ echo ==================================
+ @ echo === layer 17 of 23 complete ======
+ @ echo ==================================
+
+18-stamp: 17-stamp $(oa_algebra_layer_18_objects)
+ @ rm -f 18-stamp
+ @ $(STAMP) 18-stamp
+ @ echo ==================================
+ @ echo === layer 18 of 23 complete ======
+ @ echo ==================================
+
+19-stamp: 18-stamp $(oa_algebra_layer_19_objects)
+ @ rm -f 19-stamp
+ @ $(STAMP) 19-stamp
+ @ echo ==================================
+ @ echo === layer 19 of 23 complete ======
+ @ echo ==================================
+
+20-stamp: 19-stamp $(oa_algebra_layer_20_objects)
+ @ rm -f 20-stamp
+ @ $(STAMP) 20-stamp
+ @ echo ==================================
+ @ echo === layer 20 of 23 complete ======
+ @ echo ==================================
+
+21-stamp: 20-stamp $(oa_algebra_layer_21_objects)
+ @ rm -f 21-stamp
+ @ $(STAMP) 21-stamp
+ @ echo ==================================
+ @ echo === layer 21 of 23 complete ======
+ @ echo ==================================
+
+22-stamp: 21-stamp $(oa_algebra_layer_22_objects)
+ @ rm -f 22-stamp
+ @ $(STAMP) 22-stamp
+ @ echo ==================================
+ @ echo === layer 22 of 23 complete ======
+ @ echo ==================================
+
+23-stamp: 22-stamp $(oa_algebra_layer_23_objects)
+ @ rm -f 23-stamp
+ @ $(STAMP) 23-stamp
+ @ echo ==================================
+ @ echo === layer 23 of 23 complete ======
+ @ echo ==================================
+
+bootstrap-stamp: 23-stamp
+ @ rm -f bootstrap-stamp
+ @ $(STAMP) bootstrap-stamp
+ @ echo ==================================
+ @ echo === algebra complete ======
+ @ echo ==================================
+
+user-stamp: $(oa_algebra_layer_user_objects)
+ @ rm -f user-stamp
+ @ $(STAMP) user-stamp
+
+
+.PHONY: all-initdb
+all-initdb: initdb.$(FASLEXT)
+
+initdb.clisp: $(SPADFILES)
+ $(DRIVER) --execpath=$(INTERPSYS) --system="$(oa_targetdir)" \
+ --spad-srcdir=$(OUTSRC) \
+ --output=initdb.$$$$ --build-initdb && \
+ $(top_confdir)/move-if-change initdb.$$$$ $@
+
+initdb.$(FASLEXT): initdb.clisp
+ $(DRIVER) --execpath=$(BOOTSYS) --syslib=$(oa_target_libdir) \
+ --compile --output=$@ --load-directory=../interp $<
+
+mostlyclean-local:
+ @rm -f $(OUT)/*.$(FASLEXT) $(OUT)/*.daase
+ @rm -rf *.NRLIB
+ @rm -rf *.DAASE *.daase libdb.text
+ @rm -rf strap* initdb.*
+ @rm -f *stamp
+
+clean-local: mostlyclean-local
+
+distclean-local: clean-local
+
+# We use `sinclude' instead of `include' so that Automake doesn't get
+# the idea of wanting to interpret the content of a file that doesn't
+# exist at the time it is run.
+sinclude extract.mk
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index ff4a0598..0787ccf7 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -1,36 +1,52 @@
-## Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd.
-## All rights reserved.
-## Copyright (C) 2007-2012, 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.
-##
+# Makefile.in generated by automake 1.12.1 from Makefile.am.
+# @configure_input@
+
+# Copyright (C) 1994-2012 Free Software Foundation, Inc.
+
+# This Makefile.in is free software; the Free Software Foundation
+# gives unlimited permission to copy and/or distribute it,
+# with or without modifications, as long as this notice is preserved.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
+# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
+# PARTICULAR PURPOSE.
+
+@SET_MAKE@
+
+# Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd.
+# All rights reserved.
+# Copyright (C) 2007-2013, 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
#
@@ -69,38 +85,1239 @@
# of spad file dependencies. However this is, in reality, a graph rather
# than a lattice.
#
-
-
-IN=$(srcdir)
-OUT=$(axiom_targetdir)/algebra
-DOC=$(axiom_target_docdir)/src/algebra
-OUTSRC=$(axiom_target_srcdir)/algebra
-INPUT=../input
+VPATH = @srcdir@
+am__make_dryrun = \
+ { \
+ am__dry=no; \
+ case $$MAKEFLAGS in \
+ *\\[\ \ ]*) \
+ echo 'am--echo: ; @echo "AM" OK' | $(MAKE) -f - 2>/dev/null \
+ | grep '^AM OK$$' >/dev/null || am__dry=yes;; \
+ *) \
+ for am__flg in $$MAKEFLAGS; do \
+ case $$am__flg in \
+ *=*|--*) ;; \
+ *n*) am__dry=yes; break;; \
+ esac; \
+ done;; \
+ esac; \
+ test $$am__dry = yes; \
+ }
+pkgdatadir = $(datadir)/@PACKAGE@
+pkgincludedir = $(includedir)/@PACKAGE@
+pkglibdir = $(libdir)/@PACKAGE@
+pkglibexecdir = $(libexecdir)/@PACKAGE@
+am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
+install_sh_DATA = $(install_sh) -c -m 644
+install_sh_PROGRAM = $(install_sh) -c
+install_sh_SCRIPT = $(install_sh) -c
+INSTALL_HEADER = $(INSTALL_DATA)
+transform = $(program_transform_name)
+NORMAL_INSTALL = :
+PRE_INSTALL = :
+POST_INSTALL = :
+NORMAL_UNINSTALL = :
+PRE_UNINSTALL = :
+POST_UNINSTALL = :
+build_triplet = @build@
+host_triplet = @host@
+target_triplet = @target@
+subdir = src/algebra
+DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in \
+ $(top_srcdir)/config/mkinstalldirs
+ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
+am__aclocal_m4_deps = $(top_srcdir)/config/libtool.m4 \
+ $(top_srcdir)/config/ltoptions.m4 \
+ $(top_srcdir)/config/ltsugar.m4 \
+ $(top_srcdir)/config/ltversion.m4 \
+ $(top_srcdir)/config/lt~obsolete.m4 \
+ $(top_srcdir)/config/open-axiom.m4 $(top_srcdir)/configure.ac
+am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
+ $(ACLOCAL_M4)
+mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
+CONFIG_HEADER = $(top_builddir)/config/openaxiom-c-macros.h
+CONFIG_CLEAN_FILES =
+CONFIG_CLEAN_VPATH_FILES =
+SOURCES =
+DIST_SOURCES =
+am__can_run_installinfo = \
+ case $$AM_UPDATE_INFO_DIR in \
+ n|no|NO) false;; \
+ *) (install-info --version) >/dev/null 2>&1;; \
+ esac
+am__tty_colors_dummy = \
+ mgn= red= grn= lgn= blu= brg= std=; \
+ am__color_tests=no
+am__tty_colors = $(am__tty_colors_dummy)
+DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
+ACLOCAL = @ACLOCAL@
+AMTAR = @AMTAR@
+AR = @AR@
+AS = @AS@
+AUTOCONF = @AUTOCONF@
+AUTOHEADER = @AUTOHEADER@
+AUTOMAKE = @AUTOMAKE@
+AWK = @AWK@
+AXIOM_LISP = @AXIOM_LISP@
+CC = @CC@
+CCDEPMODE = @CCDEPMODE@
+CFLAGS = @CFLAGS@
+CPP = @CPP@
+CPPFLAGS = @CPPFLAGS@
+CXX = @CXX@
+CXXCPP = @CXXCPP@
+CXXDEPMODE = @CXXDEPMODE@
+CXXFLAGS = @CXXFLAGS@
+CYGPATH_W = @CYGPATH_W@
+DEFS = @DEFS@
+DEPDIR = @DEPDIR@
+DLLTOOL = @DLLTOOL@
+DSYMUTIL = @DSYMUTIL@
+DUMPBIN = @DUMPBIN@
+ECHO_C = @ECHO_C@
+ECHO_N = @ECHO_N@
+ECHO_T = @ECHO_T@
+EGREP = @EGREP@
+EXEEXT = @EXEEXT@
+FGREP = @FGREP@
+GCLOPTS = @GCLOPTS@
+GREP = @GREP@
+INSTALL = @INSTALL@
+INSTALL_DATA = @INSTALL_DATA@
+INSTALL_PROGRAM = @INSTALL_PROGRAM@
+INSTALL_SCRIPT = @INSTALL_SCRIPT@
+INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
+LATEX = @LATEX@
+LD = @LD@
+LDFLAGS = @LDFLAGS@
+LIBOBJS = @LIBOBJS@
+LIBS = @LIBS@
+LIBTOOL = @LIBTOOL@
+LIBTOOL_DEPS = @LIBTOOL_DEPS@
+LIPO = @LIPO@
+LN_S = @LN_S@
+LTLIBOBJS = @LTLIBOBJS@
+MAKE = @MAKE@
+MAKEINDEX = @MAKEINDEX@
+MAKEINFO = @MAKEINFO@
+MANIFEST_TOOL = @MANIFEST_TOOL@
+MKDIR_P = @MKDIR_P@
+MKTEMP = @MKTEMP@
+NM = @NM@
+NMEDIT = @NMEDIT@
+OA_QT_MOC = @OA_QT_MOC@
+OA_QT_QMAKE = @OA_QT_QMAKE@
+OBJDUMP = @OBJDUMP@
+OBJEXT = @OBJEXT@
+OTOOL = @OTOOL@
+OTOOL64 = @OTOOL64@
+PACKAGE = @PACKAGE@
+PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
+PACKAGE_NAME = @PACKAGE_NAME@
+PACKAGE_STRING = @PACKAGE_STRING@
+PACKAGE_TARNAME = @PACKAGE_TARNAME@
+PACKAGE_URL = @PACKAGE_URL@
+PACKAGE_VERSION = @PACKAGE_VERSION@
+PATH_SEPARATOR = @PATH_SEPARATOR@
+PDFLATEX = @PDFLATEX@
+RANLIB = @RANLIB@
+SED = @SED@
+SET_MAKE = @SET_MAKE@
+SHELL = @SHELL@
+STRIP = @STRIP@
+TOUCH = @TOUCH@
+VERSION = @VERSION@
+XMKMF = @XMKMF@
+X_CFLAGS = @X_CFLAGS@
+X_CLFAGS = @X_CLFAGS@
+X_EXTRA_LIBS = @X_EXTRA_LIBS@
+X_LIBS = @X_LIBS@
+X_PRE_LIBS = @X_PRE_LIBS@
+abs_builddir = @abs_builddir@
+abs_srcdir = @abs_srcdir@
+abs_top_builddir = @abs_top_builddir@
+abs_top_srcdir = @abs_top_srcdir@
+ac_ct_AR = @ac_ct_AR@
+ac_ct_CC = @ac_ct_CC@
+ac_ct_CXX = @ac_ct_CXX@
+ac_ct_DUMPBIN = @ac_ct_DUMPBIN@
+am__include = @am__include@
+am__leading_dot = @am__leading_dot@
+am__quote = @am__quote@
+am__tar = @am__tar@
+am__untar = @am__untar@
+axiom_cflags = @axiom_cflags@
+axiom_eval_flags = @axiom_eval_flags@
+axiom_fasl_type = @axiom_fasl_type@
+axiom_lisp_flavor = @axiom_lisp_flavor@
+axiom_quiet_flags = @axiom_quiet_flags@
+axiom_use_x = @axiom_use_x@
+bindir = @bindir@
+build = @build@
+build_alias = @build_alias@
+build_cpu = @build_cpu@
+build_os = @build_os@
+build_vendor = @build_vendor@
+builddir = @builddir@
+char_type = @char_type@
+datadir = @datadir@
+datarootdir = @datarootdir@
+docdir = @docdir@
+double_type = @double_type@
+dvidir = @dvidir@
+exec_prefix = @exec_prefix@
+float_type = @float_type@
+host = @host@
+host_alias = @host_alias@
+host_cpu = @host_cpu@
+host_os = @host_os@
+host_vendor = @host_vendor@
+htmldir = @htmldir@
+includedir = @includedir@
+infodir = @infodir@
+install_sh = @install_sh@
+int_type = @int_type@
+libdir = @libdir@
+libexecdir = @libexecdir@
+libext = @libext@
+localedir = @localedir@
+localstatedir = @localstatedir@
+mandir = @mandir@
+mkdir_p = @mkdir_p@
+oa_c_runtime = @oa_c_runtime@
+oa_c_runtime_extra = @oa_c_runtime_extra@
+oa_delay_ffi = @oa_delay_ffi@
+oa_editor = @oa_editor@
+oa_enable_checking = @oa_enable_checking@
+oa_enable_profiling = @oa_enable_profiling@
+oa_enable_threads = @oa_enable_threads@
+oa_keep_files = @oa_keep_files@
+oa_optimize_options = @oa_optimize_options@
+oa_shrlib_flags = @oa_shrlib_flags@
+oa_shrobj_flags = @oa_shrobj_flags@
+oa_standard_linking = @oa_standard_linking@
+oa_use_dynamic_lib = @oa_use_dynamic_lib@
+oa_use_libtool_for_shared_lib = @oa_use_libtool_for_shared_lib@
+oldincludedir = @oldincludedir@
+open_axiom_installdir = @open_axiom_installdir@
+openaxiom_host_has_regex = @openaxiom_host_has_regex@
+pdfdir = @pdfdir@
+prefix = @prefix@
+program_transform_name = @program_transform_name@
+psdir = @psdir@
+sbindir = @sbindir@
+shared_ext = @shared_ext@
+sharedstatedir = @sharedstatedir@
+srcdir = @srcdir@
+string_type = @string_type@
+sysconfdir = @sysconfdir@
+target = @target@
+target_alias = @target_alias@
+target_cpu = @target_cpu@
+target_os = @target_os@
+target_vendor = @target_vendor@
+top_build_prefix = @top_build_prefix@
+top_builddir = @top_builddir@
+top_srcdir = @top_srcdir@
+void_type = @void_type@
+oa_targetdir = $(top_builddir)/$(target)
+oa_target_bindir = $(oa_targetdir)/bin
+oa_target_libdir = $(oa_targetdir)/lib
+oa_target_docdir = $(oa_targetdir)/doc
+oa_target_srcdir = $(oa_targetdir)/src
+oa_target_datadir = $(oa_targetdir)/share
+oa_src_srcdir = $(top_srcdir)/src
+oa_src_docdir = $(top_srcdir)/doc
+oa_src_datadir = $(oa_src_srcdir)/share
+oa_builddir = $(top_builddir)/build-$(build)
+oa_build_bindir = $(oa_builddir)/bin
+oa_build_texdir = $(oa_builddir)/texmf/tex
+oa_build_docdir = $(oa_builddir)/doc
+top_confdir = $(top_srcdir)/config
+OUT = $(oa_targetdir)/algebra
+DOC = $(oa_target_docdir)/src/algebra
+OUTSRC = $(oa_target_srcdir)/algebra
+INPUT = ../input
+STAMP = echo timestamp >
+
+# Extension of the output file name returned by compile-file
+FASLEXT = @axiom_fasl_type@
+oa_hammer = $(top_builddir)/src/utils/hammer$(EXEEXT)
# Name of the driver to launch the compiler
DRIVER = ../driver/open-axiom$(EXEEXT)
-
INTERPSYS = ../interp/interpsys$(EXEEXT)
-BOOTSYS = $(axiom_target_bindir)/bootsys$(EXEEXT)
-
+BOOTSYS = $(oa_target_bindir)/bootsys$(EXEEXT)
COMPILE_SPAD = $(DRIVER) --execpath=$(INTERPSYS) \
- --system="$(AXIOM)" --initial-db=initdb.$(FASLEXT) \
- --sysdb="$(axiom_src_datadir)/algebra/" \
+ --system="$(oa_targetdir)" --initial-db=initdb.$(FASLEXT) \
+ --sysdb="$(oa_src_datadir)/algebra/" \
--strap=strap-2 --optimize=3 \
--system-algebra --compile $<
BOOTSTRAP = $(DRIVER) --execpath=$(INTERPSYS) \
- --system="$(AXIOM)" --initial-db=initdb.$(FASLEXT) \
- --sysdb="$(axiom_src_datadir)/algebra/" \
+ --system="$(oa_targetdir)" --initial-db=initdb.$(FASLEXT) \
+ --sysdb="$(oa_src_datadir)/algebra/" \
--system-algebra --compile
-## Bootstrap layer 0 dependencies.
-## This layer comprises mostly categories, and a limited number of domains.
-## Categories are compiled for their exports. Default definitions
-## are skipped. Similarly, domains are compiled, mostly as incomplete types.
-## They are needed only for their being known as constructors.
-## Consequently, the dependencies listed here are at the categories
-## inheritance level; not necessarily at the use level.
+
+# Speed up implicit rules matching.
+SUFFIXES = .spad .$(FASLEXT) $(EXEEXT) .input .pamphlet .tex .dvi
+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)/domain.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)/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)/opalg.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 \
+ $(srcdir)/spad-parser.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)/syntax.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
+
+TESTS = $(INPUT)/INTHEORY.input $(INPUT)/VIEW2D.input $(INPUT)/TESTFR.input
+oa_algebra_layer_0 = \
+ AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \
+ KRCFROM KVTFROM IEVALAB IEVALAB- EVALAB EVALAB- \
+ RETRACT RETRACT- SETCAT SETCAT- VOID SEGCAT \
+ MSYSCMD FINITE FINITE- IDEMOPC OUT \
+ PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \
+ BMODULE SGPOPC BASTYPE BASTYPE- STEP LMODULE \
+ RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \
+ ABELSG- ORDSET SGPOP OASGP FILECAT SEXCAT \
+ MODULE MODULE- PID OAGROUP OAGROUP- OCAMON \
+ OAMON OAMON- DIOID MONOPC \
+ 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 \
+ 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- REF ALIST PRIMARR SRING \
+ INS INS- DIVRING DIVRING- EUCDOM EUCDOM- \
+ BINOPC BINOP FPS FPS- RNS RNS- \
+ POLYCAT POLYCAT- QFCAT QFCAT- \
+ INT NNI PI SINT SYMBOL DFLOAT
+
+oa_algebra_layer_0_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_0))
+
+oa_algebra_layer_0_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_0)))
+
+oa_algebra_layer_1 = \
+ ABELGRP ABELGRP- ABELMON ABELMON- ITUPLE \
+ CABMON MONOID MONOID- RING RING- COMRING \
+ DIFRING SRING ENTIRER INTDOM INTDOM- OINTDOM \
+ GCDDOM GCDDOM- UFD UFD- ES ES- \
+ PATAB PPCURVE PSCURVE CACHSET RESLATC \
+ IDENT OUTFORM BINDING BOOLEAN \
+ ORDRING FEVALAB FEVALAB- IARRAY1 \
+ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \
+ FIELD FIELD- VECTCAT VECTCAT- MONOP \
+ PROPERTY ARITY OPERCAT OPERCAT- PAIR STREAM \
+ RADCAT RADCAT- PDMOD DMEXT LZSTAGG LZSTAGG-
+
+oa_algebra_layer_1_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_1))
+
+oa_algebra_layer_1_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_1)))
+
+oa_algebra_layer_2 = \
+ SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \
+ COMMONOP FNCAT SCACHE BOP BOP1 \
+ DOMTMPLT FCTRDATA
+
+oa_algebra_layer_2_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_2))
+
+oa_algebra_layer_2_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_2)))
+
+oa_algebra_layer_3 = \
+ GRDEF SCOPE MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1 \
+ MAPPKG2 MAPPKG3 INTBIT MONAD MONAD-
+
+oa_algebra_layer_3_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_3))
+
+oa_algebra_layer_3_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_3)))
+
+oa_algebra_layer_4 = \
+ ANON OSI COMM COMPPROP EXIT \
+ FAMONC FORMULA1 IDPC NONE \
+ COLOR ONECOMP2 \
+ 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-
+
+oa_algebra_layer_4_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_4))
+
+oa_algebra_layer_4_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_4)))
+
+oa_algebra_layer_5 = \
+ CHARNZ DVARCAT DVARCAT- ELEMFUN \
+ ELEMFUN- 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
+
+oa_algebra_layer_5_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_5))
+
+oa_algebra_layer_5_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_5)))
+
+oa_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
+
+oa_algebra_layer_6_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_6))
+
+oa_algebra_layer_6_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_6)))
+
+oa_algebra_layer_7 = \
+ BTCAT BTCAT- LMOPS FMCAT IDPOAM \
+ IFAMON GRALG GRALG- \
+ INT8 INT16 INT32 INT64 UINT8 UINT16 \
+ UINT32 UINT64
+
+oa_algebra_layer_7_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_7))
+
+oa_algebra_layer_7_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_7)))
+
+oa_algebra_layer_8 = \
+ BSTREE BTOURN CARD DRAWHACK FACTFUNC TREE \
+ FR2 FRAC2 FRUTIL ITAYLOR MLO NAALG \
+ NAALG- OP ORDCOMP2 RANDSRC UNISEG2 XALG \
+ BTREE POLY SMP ARR2CAT ARR2CAT-
+
+oa_algebra_layer_8_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_8))
+
+oa_algebra_layer_8_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_8)))
+
+oa_algebra_layer_9 = \
+ AMR AMR- DEGRED DLP EAB \
+ 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 \
+ SIG FMONCAT FST
+
+oa_algebra_layer_9_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_9))
+
+oa_algebra_layer_9_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_9)))
+
+oa_algebra_layer_10 = \
+ BPADIC ANY LWORD FR \
+ SEXOF CRAPACK DEQUEUE DLIST \
+ DRAWCX \
+ DRAWPT FAMR FAMR- FLASORT \
+ FLAGG2 FGROUP FM FM1 \
+ FPC FPC- FMONOID INDE \
+ IPADIC IROOT IR2 LEXP \
+ LIECAT LIECAT- LIST2 LIST2MAP \
+ SEX HASHTBL 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 MTSCAT \
+ 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 FFIELDC FFIELDC-
+
+oa_algebra_layer_10_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_10))
+
+oa_algebra_layer_10_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_10)))
+
+oa_algebra_layer_11 = \
+ APPLYORE ARRAY1 ARRAY12 ARRAY2 \
+ ASTACK COMBINAT POINT PTCAT \
+ CSTTOOLS FARRAY \
+ FLALG GALUTIL HEAP \
+ IARRAY2 IFARRAY INTCAT INTHEORY \
+ IRREDFFX LFCAT LODOCAT LODOCAT- \
+ MATSTOR \
+ ORESUP OREPCTO OREUP PLOT3D \
+ PR PREASSOC PRIMARR2 REDORDER \
+ SYMPOLY \
+ TS TUPLE UPSCAT UPSCAT- \
+ XDPOLY XEXPPKG \
+ XF XF- XPOLY \
+ XRPOLY FFIELDC FFIELDC- MTSCAT
+
+oa_algebra_layer_11_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_11))
+
+oa_algebra_layer_11_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_11)))
+
+oa_algebra_layer_12 = \
+ ULSCAT BITS DIRPROD2 IMATRIX \
+ LPOLY LSMP LSMP1 MATCAT2 TRIMAT \
+ SYSTEM HOSTNAME PORTNUM
+
+oa_algebra_layer_12_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_12))
+
+oa_algebra_layer_12_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_12)))
+
+oa_algebra_layer_13 = \
+ ASSOCEQ CARTEN CLIF CLIP \
+ UPOLYC UPOLYC- \
+ COORDSYS DBASE DHMATRIX DIOSP \
+ FAXF FAXF- FFPOLY2 \
+ FNLA GRAY HB IRSN \
+ MHROWRED NUMODE NUMQUAD \
+ ODESYS ODETOOLS ORDFUNS PERMAN \
+ PFECAT PFECAT- PSEUDLIN \
+ PTPACK REP2 SETMN \
+ SYMFUNC VECTOR2 VECTOR CHAR \
+ INBCON INBCON- OUTBCON OUTBCON-
+
+oa_algebra_layer_13_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_13))
+
+oa_algebra_layer_13_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_13)))
+
+oa_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- EMR EQ ERROR \
+ EVALCYC FACUTIL FF FFCG \
+ FFCGX FFHOM FFNB FFNBX \
+ FFPOLY FFX FFSLPE FGLMICPK \
+ FILE FINAALG FINAALG- FINRALG \
+ FINRALG- FLOATRP FNAME \
+ FORMULA FRAC \
+ 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 MLIFT \
+ MMAP MODMON MONOTOOL MPCPF \
+ MPC2 MPC3 MPOLY MPRFF \
+ MRATFAC MULTSQFR NORMRETR NPCOEF \
+ NSUP NTPOLFN ODP ODEPRIM \
+ ODEPRRIC 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 SMTS SOLVEFOR \
+ SPLTREE STINPROD STTFNC SUBRESP \
+ SUMRF SUP SUPFRACF TANEXP \
+ TEX TEXTFILE \
+ TWOFACT UNIFACT UP UPCDEN \
+ UPDECOMP UPDIVP UPMP UPOLYC2 \
+ UPXSCAT UPSQFREE VIEWDEF VIEW2D \
+ WEIER WP \
+ EQTBL GSTBL \
+ STBL STRTBL\
+ SYMS SYMTAB \
+ IOBCON
+
+oa_algebra_layer_14_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_14))
+
+oa_algebra_layer_14_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_14)))
+
+oa_algebra_layer_15 = \
+ DSMP EXPUPXS UPXS UPXSCONS \
+ FRAMALG FRAMALG- MDAGG ODPOL \
+ PLOT RMCAT2 ROIRC SDPOL \
+ ULS ULSCONS TUBETOOL UPXSCCA \
+ UPXSCCA- JVMBCODE BYTEBUF OVERSET \
+ ULSCCAT ULSCCAT- UTS UTSCAT UTSCAT-
+
+oa_algebra_layer_15_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_15))
+
+oa_algebra_layer_15_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_15)))
+
+oa_algebra_layer_16 = \
+ DPMM EFUPXS FFINTBAS FRIDEAL \
+ FRIDEAL2 FRMOD \
+ IBATOOL INTFACT \
+ MSETAGG MONOGEN MONOGEN- NFINTBAS \
+ SPACE3 FFF SUBSPACE
+
+oa_algebra_layer_16_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_16))
+
+oa_algebra_layer_16_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_16)))
+
+oa_algebra_layer_17 = \
+ CCLASS FSAGG2 GALFACT IALGFACT CTORCAT CTORCAT- \
+ IBACHIN MMLFORM NORMMA ODERED OMSAGG OPSIG \
+ PERM PERMGRP PRIMES PWFFINTB DROPT \
+ RDIST SAE SAEFACT SAERFFC \
+ SGCF VIEW3D
+
+oa_algebra_layer_17_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_17))
+
+oa_algebra_layer_17_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_17)))
+
+oa_algebra_layer_18 = \
+ IPF CATCTOR DOMCTOR CTORCALL \
+ KAFILE PATRES TBCMPPK PSETCAT PSETCAT- \
+ RPOLCAT RPOLCAT-
+
+oa_algebra_layer_18_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_18))
+
+oa_algebra_layer_18_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_18)))
+
+oa_algebra_layer_19 = \
+ ACPLOT ANTISYM \
+ COMPCAT \
+ COMPCAT- DRAW DRAWCFUN \
+ DROPT0 EP \
+ FFCAT FFCAT- FFCGP FFNBP \
+ FFP FLOAT FPARFRAC \
+ FRNAALG FRNAALG- EXPR \
+ FUNCTION GDMP HACKPI \
+ IDEAL INFORM INFORM1 IPRNTPK \
+ IR ISUPS LIB \
+ LMDICT LODOOPS MKFLCFN \
+ MSET \
+ NREP NUMFMT OC OC- \
+ ODERAT \
+ PATTERN OVAR \
+ PMKERNEL PMSYM PRIMELT \
+ QALGSET2 QEQUAT RECLOS REP1 \
+ QUATCAT QUATCAT- RFFACT \
+ ROMAN RNGBIND \
+ RULECOLD SAOS SEGBIND \
+ SET SPECOUT \
+ SYSSOLP \
+ VARIABLE WFFINTBS SPADPRSR \
+ PARSER TSETCAT TSETCAT-
+
+oa_algebra_layer_19_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_19))
+
+oa_algebra_layer_19_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_19)))
+
+oa_algebra_layer_20 = \
+ AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \
+ ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \
+ COMPLPAT CMPLXRT CPMATCH CRFP \
+ CTRIGMNP \
+ DBLRESP DERHAM DFSFUN DRAWCURV \
+ EF EFSTRUC \
+ ELFUTS EXPEXPAN EXPRODE \
+ EXPRTUBE EXPR2 FDIVCAT \
+ FDIVCAT- FDIV2 FFCAT2 FLOATCP \
+ FORDER 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 \
+ MULTFACT NCEP \
+ NLINSOL NSMP NUMERIC OCT \
+ OCTCT2 ODEPAL ODERTRIC PADE \
+ PAN2EXPR PFO PFOQ \
+ PICOERCE PMASSFS PMFS PMPREDFS \
+ PSETPK QUAT QUATCT2 RADFF \
+ RDEEF RDEEFS RDIV RSETCAT \
+ RSETCAT- RULE RULESET SIMPAN \
+ SOLVESER SUMFS SUTS \
+ TOOLSIGN TRIGMNIP TRMANIP ULSCCAT \
+ ULSCCAT- UPXSSING UTSODE UTSODETL \
+ UTS2 WUTSET
+
+oa_algebra_layer_20_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_20))
+
+oa_algebra_layer_20_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_20)))
+
+oa_algebra_layer_21 = \
+ DEFINTEF DFINTTLS DEFINTRF \
+ EFULS EXPR2UPS \
+ FDIV FSCINT FSINT FS2EXPXP \
+ GSERIES HELLFDIV INVLAPLA IR2F \
+ IRRF2F LAPLACE LIMITPS LODEEF \
+ NODE1 ODECONST ODEINT REP \
+ SOLVERAD SULS SUPXS \
+ UPXSCONS
+
+oa_algebra_layer_21_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_21))
+
+oa_algebra_layer_21_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_21)))
+
+oa_algebra_layer_22 = \
+ COMBF FSPRMELT \
+ INBFF LODO LODO1 LODO2 \
+ NTSCAT REGSET RGCHAIN RSETGCD \
+ RSDCMPK SFRTCAT SIGNEF SNTSCAT \
+ SOLVETRA SRDCMPK SREGSET STTF \
+ ZDSOLVE
+
+oa_algebra_layer_22_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_22))
+
+oa_algebra_layer_22_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_22)))
+
+oa_algebra_layer_23 = \
+ CPIMA IRURPK LAZM3PK LEXTRIPK \
+ NORMPK QCMPACK RURPK SFRGCD \
+ SFQCMPK INTRVL ODEEF DOMAIN CATEGORY
+
+oa_algebra_layer_23_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_23))
+
+oa_algebra_layer_23_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_23)))
+
+oa_algebra_layer_user = \
+ RINTERP ASTCAT ASTCAT- SASTCAT SASTCAT- HEADAST \
+ LITERAL TYPEAST IMPTAST MAPPAST ATTRAST \
+ JOINAST IFAST RPTAST WHILEAST INAST CLLCTAST \
+ LSTAST EXITAST RETAST SEGAST PRTDAST CRCEAST \
+ 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 \
+ IRFORM COMPILER \
+ ITFORM ELABOR TALGOP YDIAGRAM LINELT DBASIS \
+ LINFORM LINBASIS JVMOP JVMCFACC JVMFDACC JVMMDACC \
+ JVMCSTTG
+
+oa_algebra_layer_user_nrlibs = \
+ $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_user))
+
+oa_algebra_layer_user_objects = \
+ $(addprefix $(OUT)/, \
+ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_user)))
+
+all: all-am
+
+.SUFFIXES:
+.SUFFIXES: .spad .$(FASLEXT) @EXEEXT@ .input .pamphlet .tex .dvi
+$(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps)
+ @for dep in $?; do \
+ case '$(am__configure_deps)' in \
+ *$$dep*) \
+ ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
+ && { if test -f $@; then exit 0; else break; fi; }; \
+ exit 1;; \
+ esac; \
+ done; \
+ echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/algebra/Makefile'; \
+ $(am__cd) $(top_srcdir) && \
+ $(AUTOMAKE) --foreign src/algebra/Makefile
+Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
+ @case '$?' in \
+ *config.status*) \
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
+ *) \
+ echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
+ cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
+ esac;
+
+$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
+
+$(top_srcdir)/configure: $(am__configure_deps)
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
+$(ACLOCAL_M4): $(am__aclocal_m4_deps)
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
+$(am__aclocal_m4_deps):
+
+mostlyclean-libtool:
+ -rm -f *.lo
+
+clean-libtool:
+ -rm -rf .libs _libs
+tags: TAGS
+TAGS:
+
+ctags: CTAGS
+CTAGS:
+
+cscope cscopelist:
+
+
+check-TESTS: $(TESTS)
+ @failed=0; all=0; xfail=0; xpass=0; skip=0; \
+ srcdir=$(srcdir); export srcdir; \
+ list=' $(TESTS) '; \
+ $(am__tty_colors); \
+ if test -n "$$list"; then \
+ for tst in $$list; do \
+ if test -f ./$$tst; then dir=./; \
+ elif test -f $$tst; then dir=; \
+ else dir="$(srcdir)/"; fi; \
+ if $(TESTS_ENVIRONMENT) $${dir}$$tst $(AM_TESTS_FD_REDIRECT); then \
+ all=`expr $$all + 1`; \
+ case " $(XFAIL_TESTS) " in \
+ *[\ \ ]$$tst[\ \ ]*) \
+ xpass=`expr $$xpass + 1`; \
+ failed=`expr $$failed + 1`; \
+ col=$$red; res=XPASS; \
+ ;; \
+ *) \
+ col=$$grn; res=PASS; \
+ ;; \
+ esac; \
+ elif test $$? -ne 77; then \
+ all=`expr $$all + 1`; \
+ case " $(XFAIL_TESTS) " in \
+ *[\ \ ]$$tst[\ \ ]*) \
+ xfail=`expr $$xfail + 1`; \
+ col=$$lgn; res=XFAIL; \
+ ;; \
+ *) \
+ failed=`expr $$failed + 1`; \
+ col=$$red; res=FAIL; \
+ ;; \
+ esac; \
+ else \
+ skip=`expr $$skip + 1`; \
+ col=$$blu; res=SKIP; \
+ fi; \
+ echo "$${col}$$res$${std}: $$tst"; \
+ done; \
+ if test "$$all" -eq 1; then \
+ tests="test"; \
+ All=""; \
+ else \
+ tests="tests"; \
+ All="All "; \
+ fi; \
+ if test "$$failed" -eq 0; then \
+ if test "$$xfail" -eq 0; then \
+ banner="$$All$$all $$tests passed"; \
+ else \
+ if test "$$xfail" -eq 1; then failures=failure; else failures=failures; fi; \
+ banner="$$All$$all $$tests behaved as expected ($$xfail expected $$failures)"; \
+ fi; \
+ else \
+ if test "$$xpass" -eq 0; then \
+ banner="$$failed of $$all $$tests failed"; \
+ else \
+ if test "$$xpass" -eq 1; then passes=pass; else passes=passes; fi; \
+ banner="$$failed of $$all $$tests did not behave as expected ($$xpass unexpected $$passes)"; \
+ fi; \
+ fi; \
+ dashes="$$banner"; \
+ skipped=""; \
+ if test "$$skip" -ne 0; then \
+ if test "$$skip" -eq 1; then \
+ skipped="($$skip test was not run)"; \
+ else \
+ skipped="($$skip tests were not run)"; \
+ fi; \
+ test `echo "$$skipped" | wc -c` -le `echo "$$banner" | wc -c` || \
+ dashes="$$skipped"; \
+ fi; \
+ report=""; \
+ if test "$$failed" -ne 0 && test -n "$(PACKAGE_BUGREPORT)"; then \
+ report="Please report to $(PACKAGE_BUGREPORT)"; \
+ test `echo "$$report" | wc -c` -le `echo "$$banner" | wc -c` || \
+ dashes="$$report"; \
+ fi; \
+ dashes=`echo "$$dashes" | sed s/./=/g`; \
+ if test "$$failed" -eq 0; then \
+ col="$$grn"; \
+ else \
+ col="$$red"; \
+ fi; \
+ echo "$${col}$$dashes$${std}"; \
+ echo "$${col}$$banner$${std}"; \
+ test -z "$$skipped" || echo "$${col}$$skipped$${std}"; \
+ test -z "$$report" || echo "$${col}$$report$${std}"; \
+ echo "$${col}$$dashes$${std}"; \
+ test "$$failed" -eq 0; \
+ else :; fi
+
+distdir: $(DISTFILES)
+ @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
+ topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
+ list='$(DISTFILES)'; \
+ dist_files=`for file in $$list; do echo $$file; done | \
+ sed -e "s|^$$srcdirstrip/||;t" \
+ -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
+ case $$dist_files in \
+ */*) $(MKDIR_P) `echo "$$dist_files" | \
+ sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
+ sort -u` ;; \
+ esac; \
+ for file in $$dist_files; do \
+ if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
+ if test -d $$d/$$file; then \
+ dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
+ if test -d "$(distdir)/$$file"; then \
+ find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
+ fi; \
+ if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
+ cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
+ find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
+ fi; \
+ cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
+ else \
+ test -f "$(distdir)/$$file" \
+ || cp -p $$d/$$file "$(distdir)/$$file" \
+ || exit 1; \
+ fi; \
+ done
+check-am: all-am
+ $(MAKE) $(AM_MAKEFLAGS) check-TESTS
+check: check-am
+all-am: Makefile
+installdirs:
+install: install-am
+install-exec: install-exec-am
+install-data: install-data-am
+uninstall: uninstall-am
+
+install-am: all-am
+ @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
+
+installcheck: installcheck-am
+install-strip:
+ if test -z '$(STRIP)'; then \
+ $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
+ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
+ install; \
+ else \
+ $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
+ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
+ "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \
+ fi
+mostlyclean-generic:
+
+clean-generic:
+
+distclean-generic:
+ -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
+ -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
+
+maintainer-clean-generic:
+ @echo "This command is intended for maintainers to use"
+ @echo "it deletes files that may require special tools to rebuild."
+clean: clean-am
+
+clean-am: clean-generic clean-libtool clean-local mostlyclean-am
+
+distclean: distclean-am
+ -rm -f Makefile
+distclean-am: clean-am distclean-generic distclean-local
+
+dvi: dvi-am
+
+dvi-am:
+
+html: html-am
+
+html-am:
+
+info: info-am
+
+info-am:
+
+install-data-am:
+
+install-dvi: install-dvi-am
+
+install-dvi-am:
+
+install-exec-am:
+
+install-html: install-html-am
+
+install-html-am:
+
+install-info: install-info-am
+
+install-info-am:
+
+install-man:
+
+install-pdf: install-pdf-am
+
+install-pdf-am:
+
+install-ps: install-ps-am
+
+install-ps-am:
+
+installcheck-am:
+
+maintainer-clean: maintainer-clean-am
+ -rm -f Makefile
+maintainer-clean-am: distclean-am maintainer-clean-generic
+
+mostlyclean: mostlyclean-am
+
+mostlyclean-am: mostlyclean-generic mostlyclean-libtool \
+ mostlyclean-local
+
+pdf: pdf-am
+
+pdf-am:
+
+ps: ps-am
+
+ps-am:
+
+uninstall-am:
+
+.MAKE: check-am install-am install-strip
+
+.PHONY: all all-am check check-TESTS check-am clean clean-generic \
+ clean-libtool clean-local distclean distclean-generic \
+ distclean-libtool distclean-local distdir dvi dvi-am html \
+ html-am info info-am install install-am install-data \
+ install-data-am install-dvi install-dvi-am install-exec \
+ install-exec-am install-html install-html-am install-info \
+ install-info-am install-man install-pdf install-pdf-am \
+ install-ps install-ps-am install-strip installcheck \
+ installcheck-am installdirs maintainer-clean \
+ maintainer-clean-generic mostlyclean mostlyclean-generic \
+ mostlyclean-libtool mostlyclean-local pdf pdf-am ps ps-am \
+ uninstall uninstall-am
+
+
+# Bootstrap layer 0 dependencies.
+# This layer comprises mostly categories, and a limited number of domains.
+# Categories are compiled for their exports. Default definitions
+# are skipped. Similarly, domains are compiled, mostly as incomplete types.
+# They are needed only for their being known as constructors.
+# Consequently, the dependencies listed here are at the categories
+# inheritance level; not necessarily at the use level.
strap-0/UTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
strap-0/BASTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
strap-0/KOERCE.$(FASLEXT): strap-0/TYPE.$(FASLEXT)
@@ -370,10 +1587,10 @@ strap-0/FR.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) \
strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
strap-0/RETRACT.$(FASLEXT)
-## Bootstrap stage 1 dependencies.
-## At this stage, we attempt to compile domains essential for completing
-## the bootstrap process (stage 2). Those that were compiled at stage 0
-## were (necessarily) incomplete.
+# Bootstrap stage 1 dependencies.
+# At this stage, we attempt to compile domains essential for completing
+# the bootstrap process (stage 2). Those that were compiled at stage 0
+# were (necessarily) incomplete.
strap-1/BASTYPE.$(FASLEXT): strap-1/TYPE.$(FASLEXT) \
strap-0/BOOLEAN.$(FASLEXT)
@@ -751,9 +1968,9 @@ strap-1/CATCTOR.$(FASLEXT): strap-1/CTORCAT.$(FASLEXT) \
strap-1/SAOS.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
strap-1/KONVERT.$(FASLEXT) strap-0/SYMBOL.$(FASLEXT)
-## Bootstrap stage 2 dependencies.
-## At this stage we recompile everything from stage 1, including
-## a few more domains.
+# Bootstrap stage 2 dependencies.
+# At this stage we recompile everything from stage 1, including
+# a few more domains.
strap-2/KOERCE.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
strap-2/KONVERT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
@@ -850,7 +2067,6 @@ strap-2/ALGEBRA.$(FASLEXT): strap-2/RING.$(FASLEXT) \
strap-2/EUCDOM.$(FASLEXT): strap-2/PID.$(FASLEXT) \
strap-2/BOOLEAN.$(FASLEXT)
-
strap-2/PID.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) \
strap-2/MAYBE.$(FASLEXT)
@@ -936,7 +2152,6 @@ strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
-
strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \
@@ -959,7 +2174,6 @@ strap-2/UPOLYC.$(FASLEXT): strap-2/POLYCAT.$(FASLEXT) \
strap-2/COMRING.$(FASLEXT) strap-2/INTDOM.$(FASLEXT) \
strap-2/FIELD.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT)
-
strap-2/ARR2CAT.$(FASLEXT): strap-2/HOAGG.$(FASLEXT)
strap-2/FSAGG.$(FASLEXT): strap-2/KDAGG.$(FASLEXT) \
strap-2/SETAGG.$(FASLEXT)
@@ -1108,13 +2322,12 @@ strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \
strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
strap-1/PI.$(FASLEXT)
-
-##
-##
+#
+#
.PRECIOUS: strap-0 strap-1 strap-2
strap-0 strap-1 strap-2:
- $(mkdir_p) $@
+ $(MKDIR_P) $@
.PRECIOUS: strap-0/%.$(FASLEXT)
strap-0/%.$(FASLEXT): %.spad | strap-0
@@ -1144,158 +2357,12 @@ strap-2/%.$(FASLEXT): %.spad initdb.$(FASLEXT) | strap-2
cp $*.NRLIB/code.lsp strap-2/$*.lsp; fi && \
rm -rf $*.NRLIB $*-.NRLIB
-
-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}/domain.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}/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}/opalg.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 \
- $(srcdir)/spad-parser.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)/syntax.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
-
-
-TESTS=${INPUT}/INTHEORY.input ${INPUT}/VIEW2D.input ${INPUT}/TESTFR.input
-
-
-subdir = src/algebra/
-
-## The root of the category hierarchy is the Type category.
-## We require the basic integer domains are available at stage 2 of
-## bootstrap. This has the property of setting in motion
-## the built of several other domains and categories as needed
-## to ignite the algebra build. We require Category only because
-## we would like not to have too many special cases for it.
+# The root of the category hierarchy is the Type category.
+# We require the basic integer domains are available at stage 2 of
+# bootstrap. This has the property of setting in motion
+# the built of several other domains and categories as needed
+# to ignite the algebra build. We require Category only because
+# we would like not to have too many special cases for it.
strap-stamp: strap-2/CATEGORY.$(FASLEXT) \
strap-2/SINT.$(FASLEXT) strap-2/NNI.$(FASLEXT) \
strap-2/PI.$(FASLEXT)
@@ -1310,7 +2377,6 @@ $(OUT)/PI.$(FASLEXT): $(OUT)/NNI.$(FASLEXT)
#$(OUT)/TYPE.$(FASLEXT): $(OUT)/SINT.$(FASLEXT)
-
$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
$(OUT)/EVALAB.$(FASLEXT): $(OUT)/IEVALAB.$(FASLEXT)
$(OUT)/ELTAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
@@ -1322,8 +2388,6 @@ $(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)
@@ -1437,47 +2501,6 @@ $(OUT)/SGPOP.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) \
$(OUT)/BINOP.$(FASLEXT)
$(OUT)/MONOPC.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT)
-oa_algebra_layer_0 = \
- AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \
- KRCFROM KVTFROM IEVALAB IEVALAB- EVALAB EVALAB- \
- RETRACT RETRACT- SETCAT SETCAT- VOID SEGCAT \
- MSYSCMD FINITE FINITE- IDEMOPC OUT \
- PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \
- BMODULE SGPOPC BASTYPE BASTYPE- STEP LMODULE \
- RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \
- ABELSG- ORDSET SGPOP OASGP FILECAT SEXCAT \
- MODULE MODULE- PID OAGROUP OAGROUP- OCAMON \
- OAMON OAMON- DIOID MONOPC \
- 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 \
- 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- REF ALIST PRIMARR SRING \
- INS INS- DIVRING DIVRING- EUCDOM EUCDOM- \
- BINOPC BINOP FPS FPS- RNS RNS- \
- POLYCAT POLYCAT- QFCAT QFCAT- \
- INT NNI PI SINT SYMBOL DFLOAT
-
-oa_algebra_layer_0_nrlibs = \
- $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_0))
-
-oa_algebra_layer_0_objects = \
- $(addprefix $(OUT)/, \
- $(addsuffix .$(FASLEXT),$(oa_algebra_layer_0)))
-
$(OUT)/HOMOTOP.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/KRCFROM.$(FASLEXT)
$(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/STREAM.$(FASLEXT)
$(OUT)/PATAB.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT)
@@ -1535,100 +2558,23 @@ $(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT)
$(OUT)/MONOP.$(FASLEXT): $(OUT)/MONOPC.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT) \
$(OUT)/SETCAT.$(FASLEXT)
-axiom_algebra_layer_1 = \
- ABELGRP ABELGRP- ABELMON ABELMON- ITUPLE \
- CABMON MONOID MONOID- RING RING- COMRING \
- DIFRING SRING ENTIRER INTDOM INTDOM- OINTDOM \
- GCDDOM GCDDOM- UFD UFD- ES ES- \
- PATAB PPCURVE PSCURVE CACHSET RESLATC \
- IDENT OUTFORM BINDING BOOLEAN \
- ORDRING FEVALAB FEVALAB- IARRAY1 \
- OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \
- FIELD FIELD- VECTCAT VECTCAT- MONOP \
- 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)))
-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)))
-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)))
-
$(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 EXIT \
- FAMONC FORMULA1 IDPC NONE \
- COLOR ONECOMP2 \
- 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)))
-
$(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- 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)))
-
$(OUT)/CHARPOL.$(FASLEXT): $(OUT)/SETCAT-.$(FASLEXT)
$(OUT)/PROPFRML.$(FASLEXT): $(OUT)/KERNEL.$(FASLEXT)
$(OUT)/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) $(OUT)/BYTE.$(FASLEXT)
@@ -1637,67 +2583,12 @@ $(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)))
$(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)))
$(OUT)/BSTREE.$(FASLEXT): $(OUT)/BTREE.$(FASLEXT)
$(OUT)/ITAYLOR.$(FASLEXT): $(OUT)/STREAM.$(FASLEXT)
$(OUT)/BTREE.$(FASLEXT): $(OUT)/TREE.$(FASLEXT)
-
-axiom_algebra_layer_8 = \
- BSTREE BTOURN CARD DRAWHACK FACTFUNC TREE \
- FR2 FRAC2 FRUTIL ITAYLOR MLO NAALG \
- NAALG- OP ORDCOMP2 RANDSRC UNISEG2 XALG \
- BTREE POLY SMP 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)))
$(OUT)/FT.$(FASLEXT): $(OUT)/FST.$(FASLEXT) $(OUT)/POLY.$(FASLEXT)
-
-axiom_algebra_layer_9 = \
- AMR AMR- DEGRED DLP EAB \
- 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 \
- 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)))
$(OUT)/ANY.$(FASLEXT): $(OUT)/SEX.$(FASLEXT)
$(OUT)/SEX.$(FASLEXT): $(OUT)/SEXOF.$(FASLEXT)
@@ -1718,170 +2609,15 @@ $(OUT)/PATLRES.$(FASLEXT): $(OUT)/PATRES.$(FASLEXT)
$(OUT)/PBWLB.$(FASLEXT): $(OUT)/LWORD.$(FASLEXT)
$(OUT)/LWORD.$(FASLEXT): $(OUT)/MAGMA.$(FASLEXT)
$(OUT)/PFR.$(FASLEXT): $(OUT)/FR.$(FASLEXT)
-
-axiom_algebra_layer_10 = \
- BPADIC ANY LWORD FR \
- SEXOF CRAPACK DEQUEUE DLIST \
- DRAWCX \
- DRAWPT FAMR FAMR- FLASORT \
- FLAGG2 FGROUP FM FM1 \
- FPC FPC- FMONOID INDE \
- IPADIC IROOT IR2 LEXP \
- LIECAT LIECAT- LIST2 LIST2MAP \
- SEX HASHTBL 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 MTSCAT \
- 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 FFIELDC FFIELDC-
-
-
-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)))
$(OUT)/ARRAY2.$(FASLEXT): $(OUT)/IFARRAY.$(FASLEXT)
$(OUT)/ORESUP.$(FASLEXT): $(OUT)/PR.$(FASLEXT)
$(OUT)/PLOT3D.$(FASLEXT): $(OUT)/POINT.$(FASLEXT)
$(OUT)/POINT.$(FASLEXT): $(OUT)/PTCAT.$(FASLEXT)
-axiom_algebra_layer_11 = \
- APPLYORE ARRAY1 ARRAY12 ARRAY2 \
- ASTACK COMBINAT POINT PTCAT \
- CSTTOOLS FARRAY \
- FLALG GALUTIL HEAP \
- IARRAY2 IFARRAY INTCAT INTHEORY \
- IRREDFFX LFCAT LODOCAT LODOCAT- \
- MATSTOR \
- ORESUP OREPCTO OREUP PLOT3D \
- PR PREASSOC PRIMARR2 REDORDER \
- SYMPOLY \
- TS TUPLE UPSCAT UPSCAT- \
- XDPOLY XEXPPKG \
- XF XF- XPOLY \
- XRPOLY FFIELDC FFIELDC- MTSCAT
-
-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)))
-axiom_algebra_layer_12 = \
- ULSCAT BITS DIRPROD2 IMATRIX \
- LPOLY LSMP LSMP1 MATCAT2 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)))
-
$(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 \
- FAXF FAXF- FFPOLY2 \
- FNLA GRAY HB IRSN \
- MHROWRED NUMODE NUMQUAD \
- ODESYS ODETOOLS ORDFUNS PERMAN \
- PFECAT PFECAT- PSEUDLIN \
- PTPACK REP2 SETMN \
- SYMFUNC VECTOR2 VECTOR 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)))
$(OUT)/FS.$(FASLEXT): $(OUT)/UPOLYC.$(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- EMR EQ ERROR \
- EVALCYC FACUTIL FF FFCG \
- FFCGX FFHOM FFNB FFNBX \
- FFPOLY FFX FFSLPE FGLMICPK \
- FILE FINAALG FINAALG- FINRALG \
- FINRALG- FLOATRP FNAME \
- FORMULA FRAC \
- 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 MLIFT \
- MMAP MODMON MONOTOOL MPCPF \
- MPC2 MPC3 MPOLY MPRFF \
- MRATFAC MULTSQFR NORMRETR NPCOEF \
- NSUP NTPOLFN ODP ODEPRIM \
- ODEPRRIC 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 SMTS SOLVEFOR \
- SPLTREE STINPROD STTFNC SUBRESP \
- SUMRF SUP SUPFRACF TANEXP \
- TEX TEXTFILE \
- TWOFACT UNIFACT UP UPCDEN \
- UPDECOMP UPDIVP UPMP UPOLYC2 \
- UPXSCAT UPSQFREE VIEWDEF VIEW2D \
- WEIER WP \
- EQTBL GSTBL \
- 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)))
$(OUT)/EXPUPXS.$(FASLEXT): $(OUT)/UPXS.$(FASLEXT)
$(OUT)/UPXS.$(FASLEXT): $(OUT)/UPXSCAT.$(FASLEXT) $(OUT)/UPXSCONS.$(FASLEXT) \
$(OUT)/ULS.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT)
@@ -1890,212 +2626,22 @@ $(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 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)))
$(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)))
-
-axiom_algebra_layer_17 = \
- CCLASS FSAGG2 GALFACT IALGFACT CTORCAT CTORCAT- \
- IBACHIN MMLFORM NORMMA ODERED OMSAGG OPSIG \
- PERM PERMGRP PRIMES PWFFINTB DROPT \
- RDIST SAE SAEFACT SAERFFC \
- SGCF VIEW3D
-
$(OUT)/VIEW3D.$(FASLEXT): $(OUT)/DROPT.$(FASLEXT)
-
-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)))
$(OUT)/PSETCAT.$(FASLEXT): $(OUT)/RPOLCAT.$(FASLEXT)
-
-axiom_algebra_layer_18 = \
- 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)))
$(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT)
$(OUT)/FPARFRAC.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT)
-
-axiom_algebra_layer_19 = \
- ACPLOT ANTISYM \
- COMPCAT \
- COMPCAT- DRAW DRAWCFUN \
- DROPT0 EP \
- FFCAT FFCAT- FFCGP FFNBP \
- FFP FLOAT FPARFRAC \
- FRNAALG FRNAALG- EXPR \
- FUNCTION GDMP HACKPI \
- IDEAL INFORM INFORM1 IPRNTPK \
- IR ISUPS LIB \
- LMDICT LODOOPS MKFLCFN \
- MSET \
- NREP NUMFMT OC OC- \
- ODERAT \
- PATTERN OVAR \
- PMKERNEL PMSYM PRIMELT \
- QALGSET2 QEQUAT RECLOS REP1 \
- QUATCAT QUATCAT- RFFACT \
- ROMAN RNGBIND \
- RULECOLD SAOS SEGBIND \
- SET SPECOUT \
- 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)))
$(OUT)/AN.$(FASLEXT): $(OUT)/IAN.$(FASLEXT)
$(OUT)/IAN.$(FASLEXT): $(OUT)/EXPR.$(FASLEXT)
$(OUT)/SUTS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
$(OUT)/OCT.$(FASLEXT): $(OUT)/QUAT.$(FASLEXT)
$(OUT)/EXPEXPAN.$(FASLEXT): $(OUT)/UPXSSING.$(FASLEXT)
-
-axiom_algebra_layer_20 = \
- AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \
- ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \
- COMPLPAT CMPLXRT CPMATCH CRFP \
- CTRIGMNP \
- DBLRESP DERHAM DFSFUN DRAWCURV \
- EF EFSTRUC \
- ELFUTS EXPEXPAN EXPRODE \
- EXPRTUBE EXPR2 FDIVCAT \
- FDIVCAT- FDIV2 FFCAT2 FLOATCP \
- FORDER 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 \
- MULTFACT NCEP \
- NLINSOL NSMP NUMERIC OCT \
- OCTCT2 ODEPAL ODERTRIC PADE \
- PAN2EXPR PFO PFOQ \
- PICOERCE PMASSFS PMFS PMPREDFS \
- PSETPK QUAT QUATCT2 RADFF \
- RDEEF RDEEFS RDIV RSETCAT \
- RSETCAT- RULE RULESET SIMPAN \
- 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)))
$(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 \
- EFULS 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)))
-axiom_algebra_layer_22 = \
- COMBF 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)))
-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)))
-axiom_algebra_layer_user = \
- RINTERP ASTCAT ASTCAT- SASTCAT SASTCAT- HEADAST \
- LITERAL TYPEAST IMPTAST MAPPAST ATTRAST \
- JOINAST IFAST RPTAST WHILEAST INAST CLLCTAST \
- LSTAST EXITAST RETAST SEGAST PRTDAST CRCEAST \
- 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 \
- 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)
@@ -2154,7 +2700,6 @@ $(OUT)/CTOR.$(FASLEXT): $(OUT)/CTORKIND.$(FASLEXT) \
$(OUT)/NETCLT.$(FASLEXT): $(OUT)/IOBCON.$(FASLEXT)
$(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT)
-
$(OUT)/IRFORM.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT)
$(OUT)/COMPILER.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) $(OUT)/ENV.$(FASLEXT) \
$(OUT)/ELABOR.$(FASLEXT)
@@ -2162,7 +2707,6 @@ $(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)/LINBASIS.$(FASLEXT)
@@ -2175,21 +2719,20 @@ $(OUT)/JVMCFACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT)
$(OUT)/JVMFDACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT)
$(OUT)/JVMMDACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT)
+.PHONY: all-algebra all-algstrap
-.PHONY: all all-algebra all-algstrap
-all: all-ax
-
-all-ax all-algebra: stamp
+all-am: all-algebra
+all-algebra: stamp
@ echo finished $(builddir)
-stamp: ${SPADFILES} user-stamp ${TESTS}
+stamp: $(SPADFILES) user-stamp $(TESTS)
-rm -f stamp
$(STAMP) stamp
all-algstrap: strap-stamp
.PRECIOUS: $(OUT)/%.$(FASLEXT)
-${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT)
+$(OUT)/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT)
cp $< $@
.PRECIOUS: %.spad
@@ -2209,13 +2752,13 @@ $(OUTSRC)/%.spad: $(srcdir)/%.spad.pamphlet
$(DOC)/%.dvi: | $(DOC)
$(DOC):
- @ $(mkdir_p) $(DOC)
+ @ $(MKDIR_P) $(DOC)
$(DOC)/%.dvi: $(builddir)/%.dvi
@cp -p $< $@
-$(builddir)/%.dvi: $(axiom_build_texdir)/diagrams.tex \
- $(axiom_build_texdir)/axiom.sty
+$(builddir)/%.dvi: $(oa_build_texdir)/diagrams.tex \
+ $(oa_build_texdir)/axiom.sty
$(builddir)/%.dvi: $(builddir)/%.tex
$(oa_hammer) --latex $<
@@ -2223,7 +2766,7 @@ $(builddir)/%.dvi: $(builddir)/%.tex
$(builddir)/%.tex: $(srcdir)/%.pamphlet
$(oa_hammer) --weave --output=$@ $<
-$(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
+$(oa_build_texdir)/diagrams.tex: $(oa_src_docdir)/diagrams.tex
@cp -p $< $@
SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad
@@ -2232,49 +2775,47 @@ SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad
PARSER.NRLIB/code.$(FASLEXT): script-parser.spad
$(COMPILE_SPAD)
-
-${INPUT}/TESTFR.input: $(srcdir)/fr.spad.pamphlet
+$(INPUT)/TESTFR.input: $(srcdir)/fr.spad.pamphlet
$(oa_hammer) --tangle='TEST FR' --output=$@ $<
-${INPUT}/INTHEORY.input: $(srcdir)/numtheor.spad.pamphlet
+$(INPUT)/INTHEORY.input: $(srcdir)/numtheor.spad.pamphlet
$(oa_hammer) --tangle='TEST INTHEORY' --output=$@ $<
-${INPUT}/VIEW2D.input: $(srcdir)/view2D.spad.pamphlet
+$(INPUT)/VIEW2D.input: $(srcdir)/view2D.spad.pamphlet
$(oa_hammer) --tangle='TEST VIEW2D' --output=$@ $<
-
-${DOC}/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
+$(DOC)/diagrams.tex: $(oa_src_docdir)/diagrams.tex
@cp -p $< $@
-
+
$(oa_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_layer_user_objects): bootstrap-stamp
+$(oa_algebra_layer_1_objects): 0-stamp
+$(oa_algebra_layer_2_objects): 1-stamp
+$(oa_algebra_layer_3_objects): 2-stamp
+$(oa_algebra_layer_4_objects): 3-stamp
+$(oa_algebra_layer_5_objects): 4-stamp
+$(oa_algebra_layer_6_objects): 5-stamp
+$(oa_algebra_layer_7_objects): 6-stamp
+$(oa_algebra_layer_8_objects): 7-stamp
+$(oa_algebra_layer_9_objects): 8-stamp
+$(oa_algebra_layer_10_objects): 9-stamp
+$(oa_algebra_layer_11_objects): 10-stamp
+$(oa_algebra_layer_12_objects): 11-stamp
+$(oa_algebra_layer_13_objects): 12-stamp
+$(oa_algebra_layer_14_objects): 13-stamp
+$(oa_algebra_layer_15_objects): 14-stamp
+$(oa_algebra_layer_16_objects): 15-stamp
+$(oa_algebra_layer_17_objects): 16-stamp
+$(oa_algebra_layer_18_objects): 17-stamp
+$(oa_algebra_layer_19_objects): 18-stamp
+$(oa_algebra_layer_20_objects): 19-stamp
+$(oa_algebra_layer_21_objects): 20-stamp
+$(oa_algebra_layer_22_objects): 21-stamp
+$(oa_algebra_layer_23_objects): 22-stamp
+$(oa_algebra_layer_user_objects): bootstrap-stamp
$(oa_algebra_layer_0_objects): | $(OUT)
$(OUT):
- $(mkdir_p) $@
+ $(MKDIR_P) $@
0-stamp: $(oa_algebra_layer_0_objects)
@ rm -f 0-stamp
@@ -2283,161 +2824,161 @@ $(OUT):
@ echo === layer 0 of 23 complete ======
@ echo ==================================
-1-stamp: 0-stamp $(axiom_algebra_layer_1_objects)
+1-stamp: 0-stamp $(oa_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)
+2-stamp: 1-stamp $(oa_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)
+3-stamp: 2-stamp $(oa_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)
+4-stamp: 3-stamp $(oa_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)
+5-stamp: 4-stamp $(oa_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)
+6-stamp: 5-stamp $(oa_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)
+7-stamp: 6-stamp $(oa_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)
+8-stamp: 7-stamp $(oa_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)
+9-stamp: 8-stamp $(oa_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)
+10-stamp: 9-stamp $(oa_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)
+11-stamp: 10-stamp $(oa_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)
+12-stamp: 11-stamp $(oa_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)
+13-stamp: 12-stamp $(oa_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)
+14-stamp: 13-stamp $(oa_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)
+15-stamp: 14-stamp $(oa_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)
+16-stamp: 15-stamp $(oa_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)
+17-stamp: 16-stamp $(oa_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)
+18-stamp: 17-stamp $(oa_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)
+19-stamp: 18-stamp $(oa_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)
+20-stamp: 19-stamp $(oa_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)
+21-stamp: 20-stamp $(oa_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)
+22-stamp: 21-stamp $(oa_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)
+23-stamp: 22-stamp $(oa_algebra_layer_23_objects)
@ rm -f 23-stamp
@ $(STAMP) 23-stamp
@ echo ==================================
@@ -2451,22 +2992,21 @@ bootstrap-stamp: 23-stamp
@ echo === algebra complete ======
@ echo ==================================
-user-stamp: $(axiom_algebra_layer_user_objects)
+user-stamp: $(oa_algebra_layer_user_objects)
@ rm -f user-stamp
@ $(STAMP) user-stamp
-
.PHONY: all-initdb
all-initdb: initdb.$(FASLEXT)
initdb.clisp: $(SPADFILES)
- $(DRIVER) --execpath=$(INTERPSYS) --system="$(AXIOM)" \
+ $(DRIVER) --execpath=$(INTERPSYS) --system="$(oa_targetdir)" \
--spad-srcdir=$(OUTSRC) \
--output=initdb.$$$$ --build-initdb && \
$(top_confdir)/move-if-change initdb.$$$$ $@
initdb.$(FASLEXT): initdb.clisp
- $(DRIVER) --execpath=$(BOOTSYS) --syslib=$(axiom_target_libdir) \
+ $(DRIVER) --execpath=$(BOOTSYS) --syslib=$(oa_target_libdir) \
--compile --output=$@ --load-directory=../interp $<
mostlyclean-local:
@@ -2480,5 +3020,11 @@ clean-local: mostlyclean-local
distclean-local: clean-local
-include extract-spad.mk
+# We use `sinclude' instead of `include' so that Automake doesn't get
+# the idea of wanting to interpret the content of a file that doesn't
+# exist at the time it is run.
+sinclude extract.mk
+# Tell versions [3.59,3.63) of GNU make to not export all variables.
+# Otherwise a system limit (for SysV at least) may be exceeded.
+.NOEXPORT: