diff options
author | Igor Pashev <pashev.igor@gmail.com> | 2022-10-29 15:05:40 +0200 |
---|---|---|
committer | Igor Pashev <pashev.igor@gmail.com> | 2022-10-29 15:05:40 +0200 |
commit | 088873fbc7f92c3d8d582f29eb44e39a136e944d (patch) | |
tree | 4daf0179be448b18778fd5d3930367e463e0ca50 /src/algebra/Makefile.am | |
parent | 8df721df25864f89772c58a4486314855bf1a37e (diff) | |
download | open-axiom-088873fbc7f92c3d8d582f29eb44e39a136e944d.tar.gz |
Remove old build system
Diffstat (limited to 'src/algebra/Makefile.am')
-rw-r--r-- | src/algebra/Makefile.am | 2904 |
1 files changed, 0 insertions, 2904 deletions
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am deleted file mode 100644 index 50d0f4f5..00000000 --- a/src/algebra/Makefile.am +++ /dev/null @@ -1,2904 +0,0 @@ -# Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. -# All rights reserved. -# Copyright (C) 2007-2016, 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. - -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 > - -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/TYPE.$(FASLEXT): initdb.$(FASLEXT) -strap-0/UTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) -strap-0/FUNCTOR.$(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/OASGP.$(FASLEXT): strap-0/ORDSET.$(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/CHARZ.$(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/DIVRING.$(FASLEXT): strap-0/ENTIRER.$(FASLEXT) \ - strap-0/ALGEBRA.$(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/FPATMAB.$(FASLEXT): strap-0/PATMAB.$(FASLEXT) -strap-0/PATAB.$(FASLEXT): strap-0/KONVERT.$(FASLEXT) -strap-0/FLINEXP.$(FASLEXT): strap-0/LINEXP.$(FASLEXT) -strap-0/FEVALAB.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \ - strap-0/FUNCTOR.$(FASLEXT) strap-0/ELTAB.$(FASLEXT) \ - strap-0/EVALAB.$(FASLEXT) strap-0/IEVALAB.$(FASLEXT) -strap-0/CHARNZ.$(FASLEXT): strap-0/RING.$(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/FINAGG.$(FASLEXT) strap-0/SMAGG.$(FASLEXT) -strap-0/MATCAT.$(FASLEXT): strap-0/ARR2CAT.$(FASLEXT) \ - strap-0/EUCDOM.$(FASLEXT) strap-0/INTDOM.$(FASLEXT) \ - strap-0/FIELD.$(FASLEXT) strap-0/FINAGG.$(FASLEXT) -strap-0/IDPC.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/FUNCTOR.$(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/FUNCTOR.$(FASLEXT) -strap-0/FAMR.$(FASLEXT): strap-0/AMR.$(FASLEXT) \ - strap-0/FRETRCT.$(FASLEXT) -strap-0/POLYCAT.$(FASLEXT): strap-0/PFECAT.$(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/FINAGG.$(FASLEXT) -strap-0/KDAGG.$(FASLEXT): strap-0/DIAGG.$(FASLEXT) strap-0/IXAGG.$(FASLEXT) -strap-0/DIAGG.$(FASLEXT): strap-0/DIOPS.$(FASLEXT) -strap-0/DIOPS.$(FASLEXT): strap-0/BGAGG.$(FASLEXT) -strap-0/BGAGG.$(FASLEXT): strap-0/SMAGG.$(FASLEXT) -strap-0/SMAGG.$(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/SMAGG.$(FASLEXT) -strap-0/SRAGG.$(FASLEXT): strap-0/A1AGG.$(FASLEXT) -strap-0/A1AGG.$(FASLEXT): strap-0/FLAGG.$(FASLEXT) strap-0/SMAGG.$(FASLEXT) -strap-0/FLAGG.$(FASLEXT): strap-0/LNAGG.$(FASLEXT) strap-0/FINAGG.$(FASLEXT) -strap-0/FINAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) -strap-0/LNAGG.$(FASLEXT): strap-0/IXAGG.$(FASLEXT) \ - strap-0/CLAGG.$(FASLEXT) strap-0/ELTAB.$(FASLEXT) -strap-0/CLAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) -strap-0/IXAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) \ - strap-0/ELTAGG.$(FASLEXT) -strap-0/HOAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \ - strap-0/KOERCE.$(FASLEXT) strap-0/BASTYPE.$(FASLEXT) \ - strap-0/SETCAT.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) -strap-0/SETAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/CLAGG.$(FASLEXT) -strap-0/AGG.$(FASLEXT): strap-0/TYPE.$(FASLEXT) -strap-0/ELTAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/ELTAB.$(FASLEXT) -strap-0/ELTAB.$(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/OAMONS.$(FASLEXT): strap-0/OCAMON.$(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/PR.$(FASLEXT): strap-0/FAMR.$(FASLEXT) -strap-0/TABLE.$(FASLEXT): strap-0/TBAGG.$(FASLEXT) strap-0/INTABL.$(FASLEXT) -strap-0/EQ.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/FUNCTOR.$(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/ES.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/IEVALAB.$(FASLEXT) \ - strap-0/EVALAB.$(FASLEXT) -strap-0/VSPACE.$(FASLEXT): strap-0/MODULE.$(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/FUNCTOR.$(FASLEXT) \ - strap-0/DIFEXT.$(FASLEXT) strap-0/FEVALAB.$(FASLEXT) \ - strap-0/ALGEBRA.$(FASLEXT) strap-0/FRETRCT.$(FASLEXT) \ - strap-0/GCDDOM.$(FASLEXT) strap-0/REAL.$(FASLEXT) \ - strap-0/UFD.$(FASLEXT) strap-0/KONVERT.$(FASLEXT) \ - strap-0/INS.$(FASLEXT) strap-0/ELTAB.$(FASLEXT) \ - strap-0/EVALAB.$(FASLEXT) strap-0/IEVALAB.$(FASLEXT) - -strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \ - strap-0/RETRACT.$(FASLEXT) - -strap-0/SEX.$(FASLEXT): strap-0/SEXOF.$(FASLEXT) -strap-0/SEXOF.$(FASLEXT): strap-0/SEXCAT.$(FASLEXT) - -strap-0/SYMBOL.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) - -strap-0/BOP.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) strap-0/OPERCAT.$(FASLEXT) - -strap-0/ALAGG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/TBAGG.$(FASLEXT) \ - strap-0/SMAGG.$(FASLEXT) strap-0/LSAGG.$(FASLEXT) - -strap-0/ALIST.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/ALAGG.$(FASLEXT) - -strap-0/CHAR.$(FASLEXT): strap-0/ORDFIN.$(FASLEXT) - -strap-0/KERNEL.$(FASLEXT): strap-0/CACHSET.$(FASLEXT) \ - strap-0/SETCAT.$(FASLEXT) \ - strap-0/ORDSET.$(FASLEXT) strap-0/PATAB.$(FASLEXT) - -strap-0/REPSQ.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) -strap-0/REPDB.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) -strap-0/OPERCAT.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) -strap-0/CACHSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) -strap-0/LO.$(FASLEXT): strap-0/MODULE.$(FASLEXT) \ - strap-0/COMRING.$(FASLEXT) strap-0/OAGROUP.$(FASLEXT) - -strap-0/CCLASS.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \ - strap-0/KONVERT.$(FASLEXT) strap-0/FSAGG.$(FASLEXT) - -strap-0/FSAGG.$(FASLEXT): strap-0/DIAGG.$(FASLEXT) \ - strap-0/SETAGG.$(FASLEXT) strap-0/FINAGG.$(FASLEXT) - -strap-0/FLASORT.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/FLAGG.$(FASLEXT) \ - strap-0/SMAGG.$(FASLEXT) - -strap-0/GENPGCD.$(FASLEXT): strap-0/POLYCAT.$(FASLEXT) \ - strap-0/ORDSET.$(FASLEXT) strap-0/OAMONS.$(FASLEXT) \ - strap-0/PFECAT.$(FASLEXT) - -strap-0/PFBR.$(FASLEXT): strap-0/PFECAT.$(FASLEXT) strap-0/OAMONS.$(FASLEXT) \ - strap-0/POLYCAT.$(FASLEXT) - -strap-0/DDFACT.$(FASLEXT): strap-0/FFIELDC.$(FASLEXT) -strap-0/FFIELDC.$(FASLEXT): strap-0/FPC.$(FASLEXT) -strap-0/INDE.$(FASLEXT): strap-0/IDPC.$(FASLEXT) -strap-0/STREAM.$(FASLEXT): strap-0/LZSTAGG.$(FASLEXT) -strap-0/SAE.$(FASLEXT): strap-0/UPOLYC.$(FASLEXT) strap-0/MONOGEN.$(FASLEXT) -strap-0/MONOGEN.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \ - strap-0/UPOLYC.$(FASLEXT) strap-0/FRAMALG.$(FASLEXT) - -strap-0/FRAMALG.$(FASLEXT): strap-0/FINRALG.$(FASLEXT) -strap-0/FINRALG.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \ - strap-0/UPOLYC.$(FASLEXT) strap-0/ALGEBRA.$(FASLEXT) -strap-0/NORMRETR.$(FASLEXT): strap-0/FAXF.$(FASLEXT) -strap-0/FAXF.$(FASLEXT): strap-0/XF.$(FASLEXT) -strap-0/COMPLEX.$(FASLEXT): strap-0/COMPCAT.$(FASLEXT) -strap-0/COMPCAT.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \ - strap-0/MONOGEN.$(FASLEXT) -strap-0/MSET.$(FASLEXT): strap-0/MSETAGG.$(FASLEXT) -strap-0/MSETAGG.$(FASLEXT): strap-0/MDAGG.$(FASLEXT) -strap-0/AN.$(FASLEXT): strap-0/ACF.$(FASLEXT) -strap-0/SEGBIND.$(FASLEXT): strap-0/RNGBIND.$(FASLEXT) \ - strap-0/SEG.$(FASLEXT) -strap-0/EXPR.$(FASLEXT): strap-0/FS.$(FASLEXT) \ - strap-0/ACFS.$(FASLEXT) strap-0/COMBOPC.$(FASLEXT) \ - strap-0/LFCAT.$(FASLEXT) strap-0/SPFCAT.$(FASLEXT) -strap-0/ACFS.$(FASLEXT): strap-0/ACF.$(FASLEXT) -strap-0/IFAMON.$(FASLEXT): strap-0/FAMONC.$(FASLEXT) -strap-0/HDP.$(FASLEXT): strap-0/DIRPCAT.$(FASLEXT) -strap-0/DMP.$(FASLEXT): strap-0/GDMP.$(FASLEXT) -strap-0/LFCAT.$(FASLEXT): strap-0/PRIMCAT.$(FASLEXT) -strap-0/INTRVL.$(FASLEXT): strap-0/INTCAT.$(FASLEXT) -strap-0/FS2UPS.$(FASLEXT): strap-0/UPSCAT.$(FASLEXT) \ - strap-0/PTRANFN.$(FASLEXT) -strap-0/UPSCAT.$(FASLEXT): strap-0/PSCAT.$(FASLEXT) -strap-0/UPXS.$(FASLEXT): strap-0/UPXSCAT.$(FASLEXT) strap-0/UPXSCCA.$(FASLEXT) -strap-0/EFUPXS.$(FASLEXT): strap-0/ULSCAT.$(FASLEXT) -strap-0/ULS.$(FASLEXT): strap-0/ULSCCAT.$(FASLEXT) -strap-0/EFULS.$(FASLEXT): strap-0/UTSCAT.$(FASLEXT) -strap-0/POINT.$(FASLEXT): strap-0/PTCAT.$(FASLEXT) -strap-0/SPACE3.$(FASLEXT): strap-0/SPACEC.$(FASLEXT) -strap-0/LODO.$(FASLEXT): strap-0/LODOCAT.$(FASLEXT) -strap-0/LODOCAT.$(FASLEXT): strap-0/OREPCAT.$(FASLEXT) -strap-0/SASTCAT.$(FASLEXT): strap-0/ASTCAT.$(FASLEXT) -strap-0/ASTCAT.$(FASLEXT): strap-0/HOMOTOP.$(FASLEXT) -strap-0/SPADAST.$(FASLEXT): strap-0/SPADXPT.$(FASLEXT) -strap-0/SPADXPT.$(FASLEXT): strap-0/SASTCAT.$(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/FUNCTOR.$(FASLEXT): strap-1/TYPE.$(FASLEXT) -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-0/INFORM.$(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-0/OAMONS.$(FASLEXT) strap-0/PI.$(FASLEXT) \ - strap-0/LIST.$(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/GCDDOM.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) \ - strap-0/LIST.$(FASLEXT) strap-0/SUP.$(FASLEXT) \ - strap-0/FRAC.$(FASLEXT) - -strap-1/EUCDOM.$(FASLEXT): strap-1/PID.$(FASLEXT) \ - strap-0/BOOLEAN.$(FASLEXT) strap-0/LSAGG.$(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-0/REPSQ.$(FASLEXT) - -strap-1/ABELSG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-0/REPDB.$(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/OASGP.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) - -strap-1/OAMONS.$(FASLEXT): strap-1/OCAMON.$(FASLEXT) - -strap-1/ABELGRP.$(FASLEXT): strap-1/CABMON.$(FASLEXT) \ - strap-1/LLINSET.$(FASLEXT) \ - strap-1/MAYBE.$(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/GROUP.$(FASLEXT): strap-1/MONOID.$(FASLEXT) \ - strap-0/REPSQ.$(FASLEXT) strap-0/INT.$(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/CHARZ.$(FASLEXT) strap-1/MONOID.$(FASLEXT) - -strap-1/CHARZ.$(FASLEXT): strap-1/RING.$(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/ENTIRER.$(FASLEXT): strap-1/RING.$(FASLEXT) \ - strap-0/BMODULE.$(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/CHARNZ.$(FASLEXT): strap-1/RING.$(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-0/ONECOMP.$(FASLEXT) \ - strap-0/DLP.$(FASLEXT) strap-0/DDFACT.$(FASLEXT) - -strap-1/STEP.$(FASLEXT): strap-1/SETCAT.$(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-0/INFORM.$(FASLEXT) \ - strap-0/NNI.$(FASLEXT) strap-0/FRAC.$(FASLEXT) \ - strap-0/SYMBOL.$(FASLEXT) strap-0/SEX.$(FASLEXT) \ - strap-0/INTFACT.$(FASLEXT) strap-0/PRIMES.$(FASLEXT) \ - strap-0/COMBINAT.$(FASLEXT) strap-0/PATRES.$(FASLEXT) \ - strap-0/PMINS.$(FASLEXT) - -strap-0/INTFACT.$(FASLEXT): strap-0/INS.$(FASLEXT) -strap-0/PRIMES.$(FASLEXT): strap-0/INS.$(FASLEXT) -strap-0/COMBINAT.$(FASLEXT): strap-0/INS.$(FASLEXT) -strap-0/PATRES.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) -strap-0/PMINS.$(FASLEXT): strap-0/INS.$(FASLEXT) - -strap-1/PATMAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) - -strap-1/PATTERN.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-1/RETRACT.$(FASLEXT) strap-0/SYMBOL.$(FASLEXT) \ - strap-0/BOP.$(FASLEXT) strap-0/ANY1.$(FASLEXT) - -strap-1/LINEXP.$(FASLEXT): strap-1/LMODULE.$(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-0/NNI.$(FASLEXT) - -strap-1/PDRING.$(FASLEXT): strap-1/PDSPC.$(FASLEXT) - -strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT) \ - strap-0/NNI.$(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/RING.$(FASLEXT) -strap-1/ATRIG.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT) -strap-1/HYPCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT) -strap-1/AHYP.$(FASLEXT): strap-1/TYPE.$(FASLEXT) -strap-1/ELEMFUN.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT) - -strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT) \ - strap-0/IDPT.$(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/FUNCTOR.$(FASLEXT) - -strap-1/FAMR.$(FASLEXT): strap-1/AMR.$(FASLEXT) \ - strap-1/FRETRCT.$(FASLEXT) - -strap-1/FRETRCT.$(FASLEXT): strap-1/RETRACT.$(FASLEXT) strap-0/INS.$(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-0/GENPGCD.$(FASLEXT) \ - strap-0/PFBR.$(FASLEXT) strap-0/MULTSQFR.$(FASLEXT) \ - strap-0/PSQFR.$(FASLEXT) strap-0/PMPLCAT.$(FASLEXT) \ - strap-0/POLYLIFT.$(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-0/PFBRU.$(FASLEXT) \ - strap-0/FR2.$(FASLEXT) strap-0/UPSQFREE.$(FASLEXT) - -strap-1/PFECAT.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \ - strap-0/LPEFRAC.$(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-0/MCDEN.$(FASLEXT) \ - strap-0/PMQFCAT.$(FASLEXT) - -strap-1/FEVALAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-1/FUNCTOR.$(FASLEXT) strap-1/EVALAB.$(FASLEXT) \ - strap-1/IEVALAB.$(FASLEXT) strap-1/ELTAB.$(FASLEXT) - -strap-1/FPATMAB.$(FASLEXT): strap-1/PATMAB.$(FASLEXT) - -strap-1/PATAB.$(FASLEXT): strap-1/KONVERT.$(FASLEXT) - -strap-1/FLINEXP.$(FASLEXT): strap-1/LINEXP.$(FASLEXT) \ - strap-0/MATRIX.$(FASLEXT) strap-0/INT.$(FASLEXT) \ - strap-0/VECTOR.$(FASLEXT) - -strap-1/OPERCAT.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-0/OUTFORM.$(FASLEXT) strap-0/BOOLEAN.$(FASLEXT) - -strap-1/ARR2CAT.$(FASLEXT): strap-1/FINAGG.$(FASLEXT) strap-1/SMAGG.$(FASLEXT) - -strap-1/SMAGG.$(FASLEXT): strap-1/AGG.$(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/FINAGG.$(FASLEXT) - -strap-1/KDAGG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-1/DIAGG.$(FASLEXT) strap-1/IXAGG.$(FASLEXT) \ - strap-1/SMAGG.$(FASLEXT) - -strap-1/DIAGG.$(FASLEXT): strap-1/DIOPS.$(FASLEXT) - -strap-1/DIOPS.$(FASLEXT): strap-1/BGAGG.$(FASLEXT) strap-1/CLAGG.$(FASLEXT) - -strap-1/BGAGG.$(FASLEXT): strap-1/SMAGG.$(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/SMAGG.$(FASLEXT) - -strap-1/SRAGG.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \ - strap-0/CHAR.$(FASLEXT) strap-0/CCLASS.$(FASLEXT) \ - strap-0/STRING.$(FASLEXT) - -strap-1/A1AGG.$(FASLEXT): strap-1/FLAGG.$(FASLEXT) strap-1/SMAGG.$(FASLEXT) \ - strap-0/FLASORT.$(FASLEXT) - -strap-1/FLAGG.$(FASLEXT): strap-1/LNAGG.$(FASLEXT) strap-1/FINAGG.$(FASLEXT) - -strap-1/FINAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) - -strap-1/LNAGG.$(FASLEXT): strap-1/IXAGG.$(FASLEXT) \ - strap-1/CLAGG.$(FASLEXT) strap-1/ELTAB.$(FASLEXT) \ - strap-0/UNISEG.$(FASLEXT) - -strap-1/CLAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) -strap-1/IXAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) \ - strap-1/ELTAGG.$(FASLEXT) strap-0/VOID.$(FASLEXT) - -strap-1/HOAGG.$(FASLEXT): strap-1/AGG.$(FASLEXT) strap-1/FUNCTOR.$(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-0/INS.$(FASLEXT) - -strap-1/ELTAGG.$(FASLEXT): strap-1/AGG.$(FASLEXT) strap-1/ELTAB.$(FASLEXT) - -strap-1/ELTAB.$(FASLEXT): strap-1/TYPE.$(FASLEXT) - -strap-1/EVALAB.$(FASLEXT): strap-1/IEVALAB.$(FASLEXT) - -strap-1/IEVALAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-0/EQ.$(FASLEXT) strap-0/LIST.$(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/VSPACE.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \ - strap-1/MODULE.$(FASLEXT) - -strap-1/MATCAT.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \ - strap-1/INTDOM.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \ - strap-1/EUCDOM.$(FASLEXT) strap-1/FINAGG.$(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/RADCAT.$(FASLEXT): strap-0/INS.$(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-0/INTSLPE.$(FASLEXT) \ - strap-0/GALFACT.$(FASLEXT) strap-0/FRUTIL.$(FASLEXT) \ - strap-0/HEUGCD.$(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-0/DFSFUN.$(FASLEXT) \ - strap-0/COMPLEX.$(FASLEXT) - -strap-1/DFSFUN.$(FASLEXT): strap-0/COMPLEX.$(FASLEXT) strap-0/INTRET.$(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/INT.$(FASLEXT) strap-0/IROOT.$(FASLEXT) - -strap-1/SUP.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT) strap-1/PR.$(FASLEXT) \ - strap-1/FPC.$(FASLEXT) strap-1/FFIELDC.$(FASLEXT) \ - strap-0/UPMP.$(FASLEXT) strap-0/TWOFACT.$(FASLEXT) \ - strap-0/FFSLPE.$(FASLEXT) strap-0/PRS.$(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/IDPT.$(FASLEXT): strap-1/PAIR.$(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/IARRAY2.$(FASLEXT) strap-0/MATSTOR.$(FASLEXT) \ - strap-0/MATLIN.$(FASLEXT) - -strap-1/IARRAY2.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \ - strap-1/PRIMARR.$(FASLEXT) strap-1/INT.$(FASLEXT) \ - strap-1/FLAGG.$(FASLEXT) strap-0/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/VECTCAT.$(FASLEXT) \ - strap-1/ARRAY1.$(FASLEXT) - -strap-1/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) strap-1/IARRAY1.$(FASLEXT) - -strap-1/IARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \ - strap-0/PRIMARR.$(FASLEXT) - -strap-1/FRAC.$(FASLEXT): strap-1/QFCAT.$(FASLEXT) \ - strap-1/LA.$(FASLEXT) strap-0/UPOLYC2.$(FASLEXT) - -strap-1/STRING.$(FASLEXT): strap-1/SRAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT) \ - strap-1/IDENT.$(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-0/HASHTBL.$(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) \ - strap-0/IDENT.$(FASLEXT) - -strap-1/STREAM.$(FASLEXT): strap-1/LZSTAGG.$(FASLEXT) \ - strap-1/SMAGG.$(FASLEXT) strap-0/STREAM2.$(FASLEXT) \ - strap-1/STREAM3.$(FASLEXT) - -strap-1/LZSTAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \ - strap-0/CSTTOOLS.$(FASLEXT) - -strap-1/BOP.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) strap-1/OPERCAT.$(FASLEXT) \ - strap-0/SYMBOL.$(FASLEXT) strap-0/NNI.$(FASLEXT) \ - strap-0/BOOLEAN.$(FASLEXT) strap-0/MAYBE.$(FASLEXT) \ - strap-0/LIST.$(FASLEXT) strap-0/ALIST.$(FASLEXT) \ - strap-0/OUTFORM.$(FASLEXT) strap-0/INFORM.$(FASLEXT) \ - strap-0/ARITY.$(FASLEXT) strap-0/NONE.$(FASLEXT) - -strap-1/ES.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \ - strap-1/IEVALAB.$(FASLEXT) strap-1/REF.$(FASLEXT) \ - strap-1/ALIST.$(FASLEXT) strap-1/PRIMARR.$(FASLEXT) \ - strap-0/BOP.$(FASLEXT) strap-0/SYMBOL.$(FASLEXT) \ - strap-0/KERNEL.$(FASLEXT) strap-0/COMMONOP.$(FASLEXT) \ - strap-0/NONE.$(FASLEXT) strap-0/ARITY.$(FASLEXT) \ - strap-0/BOP1.$(FASLEXT) - -strap-1/EQ.$(FASLEXT): strap-1/FUNCTOR.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \ - strap-1/SETCAT.$(FASLEXT) strap-1/KOERCE.$(FASLEXT) \ - strap-1/ABELSG.$(FASLEXT) strap-1/ABELGRP.$(FASLEXT) \ - strap-1/MONOID.$(FASLEXT) strap-1/GROUP.$(FASLEXT) \ - strap-1/BMODULE.$(FASLEXT) strap-1/COMRING.$(FASLEXT) \ - strap-1/VSPACE.$(FASLEXT) strap-0/ES.$(FASLEXT) \ - strap-0/POLY.$(FASLEXT) strap-0/MULTFACT.$(FASLEXT) \ - strap-0/INDE.$(FASLEXT) strap-0/CARD.$(FASLEXT) - -strap-1/LA.$(FASLEXT): strap-1/ALGEBRA.$(FASLEXT) \ - strap-1/COMRING.$(FASLEXT) strap-0/LO.$(FASLEXT) - -strap-1/FR.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) strap-1/DIFEXT.$(FASLEXT) \ - strap-1/ALGEBRA.$(FASLEXT) strap-1/FEVALAB.$(FASLEXT) \ - strap-1/FRETRCT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT) \ - strap-0/LIST.$(FASLEXT) - -strap-1/INFORM.$(FASLEXT): strap-1/SEXCAT.$(FASLEXT) \ - strap-1/KONVERT.$(FASLEXT) strap-1/REF.$(FASLEXT) \ - strap-1/ALIST.$(FASLEXT) strap-1/PRIMARR.$(FASLEXT) \ - strap-0/STRING.$(FASLEXT) \ - strap-0/SYMBOL.$(FASLEXT) strap-0/INT.$(FASLEXT) \ - strap-0/DFLOAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT) \ - strap-0/ANY.$(FASLEXT) - -strap-1/SEGXCAT.$(FASLEXT): strap-1/SEGCAT.$(FASLEXT) - -strap-1/SYMBOL.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ - strap-1/KOERCE.$(FASLEXT) strap-1/KRCFROM.$(FASLEXT) \ - strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT) \ - strap-0/REF.$(FASLEXT) strap-0/ALIST.$(FASLEXT) \ - strap-0/PMSYM.$(FASLEXT) - -strap-1/INTFACT.$(FASLEXT): strap-1/LMDICT.$(FASLEXT) -strap-1/LMDICT.$(FASLEXT): strap-1/MDAGG.$(FASLEXT) -strap-1/SET.$(FASLEXT): strap-1/FARRAY.$(FASLEXT) -strap-1/FARRAY.$(FASLEXT): strap-1/IFARRAY.$(FASLEXT) -strap-1/UNISEG.$(FASLEXT): strap-1/SEG.$(FASLEXT) strap-0/STREAM.$(FASLEXT) -strap-1/SEG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) - -strap-1/PATRES.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-0/PATTERN.$(FASLEXT) strap-0/PATTERN1.$(FASLEXT) - -strap-1/MCDEN.$(FASLEXT): strap-1/LIST2.$(FASLEXT) strap-1/MATCAT2.$(FASLEXT) -strap-1/LIST2.$(FASLEXT): strap-1/FLAGG2.$(FASLEXT) - -strap-1/PMQFCAT.$(FASLEXT): strap-0/PMDOWN.$(FASLEXT) -strap-1/PFBR.$(FASLEXT): strap-0/COMMUPC.$(FASLEXT) -strap-1/MULTSQFR.$(FASLEXT): strap-0/GENEEZ.$(FASLEXT) \ - strap-0/MLIFT.$(FASLEXT) strap-0/PGCD.$(FASLEXT) \ - strap-0/FACUTIL.$(FASLEXT) - -strap-1/PMPLCAT.$(FASLEXT): strap-0/PMTOOLS.$(FASLEXT) -strap-1/DDFACT.$(FASLEXT): strap-1/MODMON.$(FASLEXT) -strap-1/MODMON.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT) -strap-1/TWOFACT.$(FASLEXT): strap-1/FFX.$(FASLEXT) \ - strap-0/GHENSEL.$(FASLEXT) strap-0/NORMRETR.$(FASLEXT) -strap-1/FFX.$(FASLEXT): strap-1/FFP.$(FASLEXT) strap-0/FFPOLY.$(FASLEXT) -strap-1/FFP.$(FASLEXT): strap-1/FFIELDC.$(FASLEXT) strap-1/SUP.$(FASLEXT) \ - strap-1/FAXF.$(FASLEXT) -strap-1/FAXF.$(FASLEXT): strap-1/XF.$(FASLEXT) strap-0/SAE.$(FASLEXT) -strap-1/MATLIN.$(FASLEXT): strap-0/IMATLIN.$(FASLEXT) strap-0/IMATQF.$(FASLEXT) -strap-1/GALFACT.$(FASLEXT): strap-1/GALFACTU.$(FASLEXT) \ - strap-1/GALPOLYU.$(FASLEXT) strap-0/MDDFACT.$(FASLEXT) \ - strap-0/UPDECOMP.$(FASLEXT) strap-0/BRILL.$(FASLEXT) \ - strap-0/CYCLOTOM.$(FASLEXT) -strap-1/GALFACTU.$(FASLEXT): strap-1/FPS.$(FASLEXT) strap-1/RING.$(FASLEXT) \ - strap-1/UPOLYC.$(FASLEXT) strap-1/GALUTIL.$(FASLEXT) -strap-1/GALUTIL.$(FASLEXT): strap-1/RING.$(FASLEXT) -strap-1/GALPOLYU.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT) \ - strap-1/RING.$(FASLEXT) strap-0/MSET.$(FASLEXT) -strap-1/HEUGCD.$(FASLEXT): strap-1/INMODGCD.$(FASLEXT) -strap-1/INMODGCD.$(FASLEXT): strap-0/EUCDOM.$(FASLEXT) \ - strap-0/UPOLYC.$(FASLEXT) strap-0/EMR.$(FASLEXT) -strap-1/ANY1.$(FASLEXT): strap-1/NONE1.$(FASLEXT) -strap-1/POLY.$(FASLEXT): strap-1/SMP.$(FASLEXT) strap-0/UDPO.$(FASLEXT) -strap-1/MULTFACT.$(FASLEXT): strap-0/MRATFAC.$(FASLEXT) \ - strap-0/MPRFF.$(FASLEXT) strap-0/INNMFACT.$(FASLEXT) \ - strap-0/GENUFACT.$(FASLEXT) -strap-1/INDE.$(FASLEXT): strap-1/IDPOAMS.$(FASLEXT) strap-1/IDPC.$(FASLEXT) -strap-1/IDPOAMS.$(FASLEXT): strap-1/IDPOAM.$(FASLEXT) -strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT) -strap-1/GENEEZ.$(FASLEXT): strap-1/VECTOR2.$(FASLEXT) \ - strap-0/EMR.$(FASLEXT) \ - strap-0/IROOT.$(FASLEXT) \ - strap-0/GHENSEL.$(FASLEXT) -strap-1/MLIFT.$(FASLEXT): strap-1/NPCOEF.$(FASLEXT) strap-1/SUP2.$(FASLEXT) \ - strap-1/PGCD.$(FASLEXT) strap-1/FACUTIL.$(FASLEXT) -strap-1/VECTOR2.$(FASLEXT): strap-0/FLAGG2.$(FASLEXT) - -strap-1/PMDOWN.$(FASLEXT): strap-1/PATRES2.$(FASLEXT) -strap-1/BOP1.$(FASLEXT): strap-1/NONE.$(FASLEXT) strap-1/ARITY.$(FASLEXT) -strap-1/KERNEL.$(FASLEXT): strap-1/CACHSET.$(FASLEXT) strap-1/SCACHE.$(FASLEXT) -strap-1/UPDECOMP.$(FASLEXT): strap-0/UPDIVP.$(FASLEXT) -strap-1/COMPLEX.$(FASLEXT): strap-1/COMPCAT.$(FASLEXT) -strap-1/COMPCAT.$(FASLEXT): strap-0/CINTSLPE.$(FASLEXT) \ - strap-0/COMPLPAT.$(FASLEXT) strap-0/CPMATCH.$(FASLEXT) -strap-1/MONOGEN.$(FASLEXT): strap-0/CPIMA.$(FASLEXT) -strap-1/ALIST.$(FASLEXT): strap-1/ALAGG.$(FASLEXT) - -strap-1/MPRFF.$(FASLEXT): strap-0/MFINFACT.$(FASLEXT) -strap-1/INNMFACT.$(FASLEXT): strap-0/LEADCDET.$(FASLEXT) \ - strap-0/AN.$(FASLEXT) -strap-1/GENUFACT.$(FASLEXT): strap-0/OUT.$(FASLEXT) \ - strap-0/RATFACT.$(FASLEXT) strap-0/COMPFACT.$(FASLEXT) \ - strap-0/ALGFACT.$(FASLEXT) strap-0/UP.$(FASLEXT) \ - strap-0/SAEFACT.$(FASLEXT) strap-0/SAERFFC.$(FASLEXT) -strap-1/EMR.$(FASLEXT): strap-0/MODRING.$(FASLEXT) -strap-1/MFINFACT.$(FASLEXT): strap-0/MPC2.$(FASLEXT) -strap-1/ACF.$(FASLEXT): strap-0/NTPOLFN.$(FASLEXT) strap-0/PDECOMP.$(FASLEXT) -strap-1/FS.$(FASLEXT): strap-0/MKUCFUNC.$(FASLEXT) strap-1/ES.$(FASLEXT) \ - strap-0/LIST2MAP.$(FASLEXT) strap-0/INFORM1.$(FASLEXT) \ - strap-0/POLYCATQ.$(FASLEXT) -strap-1/LF.$(FASLEXT): strap-0/SEGBIND.$(FASLEXT) -strap-1/LFCAT.$(FASLEXT): strap-1/PRIMCAT.$(FASLEXT) -strap-1/ALGMANIP.$(FASLEXT): strap-1/POLYROOT.$(FASLEXT) \ - strap-1/POLYCATQ.$(FASLEXT) strap-1/FS.$(FASLEXT) -strap-1/POLYROOT.$(FASLEXT): strap-0/FACTFUNC.$(FASLEXT) -strap-1/AN.$(FASLEXT): strap-1/IAN.$(FASLEXT) -strap-1/IAN.$(FASLEXT): strap-0/EXPR.$(FASLEXT) strap-0/EXPR2.$(FASLEXT) -strap-1/EXPR2.$(FASLEXT): strap-0/FS2.$(FASLEXT) strap-0/ES2.$(FASLEXT) -strap-1/MKUCFUNC.$(FASLEXT): strap-0/MKFUNC.$(FASLEXT) -strap-1/FAGROUP.$(FASLEXT): strap-1/FAMONC.$(FASLEXT) \ - strap-0/IFAMON.$(FASLEXT) -strap-1/CMPLXRT.$(FASLEXT): strap-0/INFSP.$(FASLEXT) -strap-1/POLTOPOL.$(FASLEXT): strap-1/OVAR.$(FASLEXT) \ - strap-1/HDMP.$(FASLEXT) strap-0/MPC3.$(FASLEXT) \ - strap-0/DMP.$(FASLEXT) strap-0/DIRPROD.$(FASLEXT) -strap-1/HDMP.$(FASLEXT): strap-1/GDMP.$(FASLEXT) strap-0/HDP.$(FASLEXT) -strap-1/GDMP.$(FASLEXT): strap-1/DIRPCAT.$(FASLEXT) -strap-1/GROEBSOL.$(FASLEXT): strap-0/GB.$(FASLEXT) \ - strap-1/GBINTERN.$(FASLEXT) strap-1/LGROBP.$(FASLEXT) \ - strap-1/GENMFACT.$(FASLEXT) -strap-1/GENMFACT.$(FASLEXT): strap-0/MPCPF.$(FASLEXT) -strap-1/COMBF.$(FASLEXT): strap-0/SEGBIND.$(FASLEXT) -strap-1/ACFS.$(FASLEXT): strap-1/ACF.$(FASLEXT) -strap-1/MPCPF.$(FASLEXT): strap-1/PUSHVAR.$(FASLEXT) \ - strap-0/GENMFACT.$(FASLEXT) -strap-1/SIGNEF.$(FASLEXT): strap-0/TOOLSIGN.$(FASLEXT) \ - strap-0/SIGNRF.$(FASLEXT) strap-0/LIMITPS.$(FASLEXT) \ - strap-0/TRIGMNIP.$(FASLEXT) strap-0/ORDCOMP.$(FASLEXT) \ - strap-0/INTRVL.$(FASLEXT) -strap-1/SIGNRF.$(FASLEXT): strap-0/INPSIGN.$(FASLEXT) \ - strap-0/TOOLSIGN.$(FASLEXT) strap-0/ORDCOMP.$(FASLEXT) -strap-1/LIMITPS.$(FASLEXT): strap-0/EFSTRUC.$(FASLEXT) \ - strap-0/FS2UPS.$(FASLEXT) strap-0/UPXS.$(FASLEXT) \ - strap-0/EFUPXS.$(FASLEXT) strap-0/ULS.$(FASLEXT) \ - strap-0/EFULS.$(FASLEXT) strap-0/UTS.$(FASLEXT) \ - strap-0/FS2EXPXP.$(FASLEXT) strap-0/EXPEXPAN.$(FASLEXT) \ - strap-0/SIGNEF.$(FASLEXT) -strap-1/TRIGMNIP.$(FASLEXT): strap-0/ITRIGMNP.$(FASLEXT) -strap-1/ULS.$(FASLEXT): strap-0/VARIABLE.$(FASLEXT) \ - strap-0/ULSCONS.$(FASLEXT) -strap-1/UTS.$(FASLEXT): strap-1/ITAYLOR.$(FASLEXT) \ - strap-0/FSINT.$(FASLEXT) -strap-1/ITAYLOR.$(FASLEXT): strap-0/STTAYLOR.$(FASLEXT) -strap-1/STTAYLOR.$(FASLEXT): strap-0/YSTREAM.$(FASLEXT) -strap-1/FSINT.$(FASLEXT): strap-0/INTTOOLS.$(FASLEXT) \ - strap-0/INTEF.$(FASLEXT) strap-0/IR2F.$(FASLEXT) \ - strap-0/TRMANIP.$(FASLEXT) strap-0/IR2.$(FASLEXT) \ - strap-0/FSCINT.$(FASLEXT) strap-0/IR.$(FASLEXT) -strap-1/UP.$(FASLEXT): strap-0/VARIABLE.$(FASLEXT) -strap-1/RULE.$(FASLEXT): strap-0/APPRULE.$(FASLEXT) \ - strap-0/PMASSFS.$(FASLEXT) -strap-1/PTPACK.$(FASLEXT): strap-0/POINT.$(FASLEXT) -strap-1/PLOTTOOL.$(FASLEXT): strap-0/GRDEF.$(FASLEXT) \ - strap-1/PLOT.$(FASLEXT) strap-1/CLIP.$(FASLEXT) \ - strap-1/DROPT0.$(FASLEXT) strap-1/DROPT1.$(FASLEXT) \ - strap-0/VIEW.$(FASLEXT) -strap-1/CPMATCH.$(FASLEXT): strap-1/PATRES2.$(FASLEXT) -strap-1/DROPT0.$(FASLEXT): strap-1/DROPT1.$(FASLEXT) -strap-1/DROPT1.$(FASLEXT): strap-1/DROPT.$(FASLEXT) -strap-1/DROPT.$(FASLEXT): strap-0/SPACE3.$(FASLEXT) -strap-1/ODEEF.$(FASLEXT): strap-0/NODE1.$(FASLEXT) \ - strap-0/LODO.$(FASLEXT) strap-0/ODESYS.$(FASLEXT) \ - strap-0/LODEEF.$(FASLEXT) -strap-1/ASTCAT.$(FASLEXT): strap-0/SYNTAX.$(FASLEXT) \ - strap-0/HOMOTOP.$(FASLEXT) -strap-1/IMPTAST.$(FASLEXT): strap-0/TYPEAST.$(FASLEXT) -strap-1/DEFAST.$(FASLEXT): strap-0/HEADAST.$(FASLEXT) \ - strap-0/SPADAST.$(FASLEXT) strap-0/SIG.$(FASLEXT) -strap-1/CATAST.$(FASLEXT): strap-0/CTORKIND.$(FASLEXT) -strap-1/HEADAST.$(FASLEXT): strap-0/PARAMAST.$(FASLEXT) -strap-1/ITFORM.$(FASLEXT): strap-0/IRFORM.$(FASLEXT) -strap-1/LINBASIS.$(FASLEXT): strap-0/DBASIS.$(FASLEXT) -strap-1/FR2.$(FASLEXT): strap-0/COMPLEX.$(FASLEXT) -strap-1/SPADXPT.$(FASLEXT): strap-0/SASTCAT.$(FASLEXT) -strap-1/SPADAST.$(FASLEXT): strap-0/SPADXPT.$(FASLEXT) \ - strap-0/SPADXPT.$(FASLEXT) \ - strap-0/TYPEAST.$(FASLEXT) \ - strap-0/IMPTAST.$(FASLEXT) \ - strap-0/DEFAST.$(FASLEXT) \ - strap-0/MACROAST.$(FASLEXT) \ - strap-0/WHEREAST.$(FASLEXT) \ - strap-0/CATAST.$(FASLEXT) \ - strap-0/JOINAST.$(FASLEXT) \ - strap-0/CAPSLAST.$(FASLEXT) \ - strap-0/SIGAST.$(FASLEXT) \ - strap-0/ATTRAST.$(FASLEXT) \ - strap-0/MAPPAST.$(FASLEXT) \ - strap-0/IFAST.$(FASLEXT) \ - strap-0/RPTAST.$(FASLEXT) \ - strap-0/WHILEAST.$(FASLEXT) \ - strap-0/INAST.$(FASLEXT) \ - strap-0/STEPAST.$(FASLEXT) \ - strap-0/CLLCTAST.$(FASLEXT) \ - strap-0/LSTAST.$(FASLEXT) \ - strap-0/EXITAST.$(FASLEXT) \ - strap-0/RETAST.$(FASLEXT) \ - strap-0/CRCEAST.$(FASLEXT) \ - strap-0/PRTDAST.$(FASLEXT) \ - strap-0/RSTRCAST.$(FASLEXT) \ - strap-0/SEGAST.$(FASLEXT) \ - strap-0/SEQAST.$(FASLEXT) \ - strap-0/LETAST.$(FASLEXT) \ - strap-0/SUCHTAST.$(FASLEXT) \ - strap-0/COLONAST.$(FASLEXT) \ - strap-0/ADDAST.$(FASLEXT) \ - strap-0/CASEAST.$(FASLEXT) \ - strap-0/HASAST.$(FASLEXT) \ - strap-0/ISAST.$(FASLEXT) \ - strap-0/CATAST.$(FASLEXT) \ - strap-0/WHEREAST.$(FASLEXT) \ - strap-0/COMMAAST.$(FASLEXT) \ - strap-0/QQUTAST.$(FASLEXT) \ - strap-0/MACROAST.$(FASLEXT) - - - -# Bootstrap stage 2 dependencies. -# At this stage we recompile everything from stage 1, including -# a few more domains. - -strap-2/FUNCTOR.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -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-1/KOERCE.$(FASLEXT) -strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) \ - strap-1/INS.$(FASLEXT) \ - strap-1/TBAGG.$(FASLEXT) -strap-2/SETCAT.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) \ - strap-2/KOERCE.$(FASLEXT) strap-1/SINT.$(FASLEXT) \ - strap-1/STRING.$(FASLEXT) strap-1/OUTFORM.$(FASLEXT) -strap-2/FINITE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ - strap-1/PI.$(FASLEXT) strap-1/NNI.$(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-1/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-1/REPSQ.$(FASLEXT) strap-1/PI.$(FASLEXT) -strap-2/ABELSG.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ - strap-1/PI.$(FASLEXT) strap-1/REPDB.$(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/OASGP.$(FASLEXT): strap-2/ORDSET.$(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/CHARZ.$(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-1/GENEEZ.$(FASLEXT) -strap-2/GCDDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) \ - strap-1/LIST.$(FASLEXT) strap-1/SUP.$(FASLEXT) \ - strap-1/LSAGG.$(FASLEXT) strap-1/PFECAT.$(FASLEXT) \ - strap-1/FRAC.$(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-1/LSAGG.$(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-1/NNI.$(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-1/SYMBOL.$(FASLEXT) -strap-2/PDDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT) \ - strap-1/NNI.$(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/PATRES.$(FASLEXT): strap-1/PATTERN1.$(FASLEXT) -strap-2/UFD.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) \ - strap-2/FR.$(FASLEXT) strap-1/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/FEVALAB.$(FASLEXT) strap-1/FRAC.$(FASLEXT) \ - strap-1/FLOAT.$(FASLEXT) strap-1/DFLOAT.$(FASLEXT) \ - strap-1/INFORM.$(FASLEXT) strap-1/SEXCAT.$(FASLEXT) \ - strap-1/PATTERN.$(FASLEXT) strap-1/PRIMES.$(FASLEXT) \ - strap-1/COMBINAT.$(FASLEXT) strap-1/PATRES.$(FASLEXT) \ - strap-1/PMINS.$(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/RADCAT.$(FASLEXT): strap-1/INS.$(FASLEXT) -strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) \ - strap-1/LPEFRAC.$(FASLEXT) -strap-2/QFCAT.$(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-1/FIELD.$(FASLEXT) \ - strap-1/MCDEN.$(FASLEXT) strap-1/PMQFCAT.$(FASLEXT) - -strap-2/FEVALAB.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) \ - strap-2/EVALAB.$(FASLEXT) strap-2/IEVALAB.$(FASLEXT) \ - strap-2/ELTAB.$(FASLEXT) - -strap-2/CHARNZ.$(FASLEXT): strap-2/RING.$(FASLEXT) - -strap-2/FPATMAB.$(FASLEXT): strap-2/PATMAB.$(FASLEXT) - -strap-2/PATAB.$(FASLEXT): strap-2/KONVERT.$(FASLEXT) - -strap-2/FLINEXP.$(FASLEXT): strap-2/LINEXP.$(FASLEXT) \ - strap-1/MATRIX.$(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/RING.$(FASLEXT) -strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT) -strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT) -strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT) -strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT) \ - strap-1/IDPT.$(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/FUNCTOR.$(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-1/VECTOR.$(FASLEXT) strap-1/MATRIX.$(FASLEXT) \ - strap-1/LIST.$(FASLEXT) strap-1/SUP.$(FASLEXT) \ - strap-1/INFORM.$(FASLEXT) strap-1/GENPGCD.$(FASLEXT) \ - strap-1/PFBR.$(FASLEXT) strap-1/MULTSQFR.$(FASLEXT) \ - strap-1/PSQFR.$(FASLEXT) strap-1/PMPLCAT.$(FASLEXT) \ - strap-1/POLYLIFT.$(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-1/PFBRU.$(FASLEXT) strap-1/FR2.$(FASLEXT) \ - strap-1/UPSQFREE.$(FASLEXT) -strap-2/ARR2CAT.$(FASLEXT): strap-2/FINAGG.$(FASLEXT) strap-2/SMAGG.$(FASLEXT) -strap-2/FSAGG.$(FASLEXT): strap-2/KDAGG.$(FASLEXT) \ - strap-2/SETAGG.$(FASLEXT) strap-2/FINAGG.$(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/IXAGG.$(FASLEXT) -strap-2/DIAGG.$(FASLEXT): strap-2/DIOPS.$(FASLEXT) -strap-2/DIOPS.$(FASLEXT): strap-2/BGAGG.$(FASLEXT) strap-2/CLAGG.$(FASLEXT) -strap-2/SMAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) -strap-2/BGAGG.$(FASLEXT): strap-2/SMAGG.$(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/SMAGG.$(FASLEXT) -strap-2/SRAGG.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) -strap-2/A1AGG.$(FASLEXT): strap-2/FLAGG.$(FASLEXT) \ - strap-2/SMAGG.$(FASLEXT) \ - strap-2/SEGCAT.$(FASLEXT) \ - strap-2/SEGXCAT.$(FASLEXT) \ - strap-1/FLASORT.$(FASLEXT) -strap-2/FLAGG.$(FASLEXT): strap-2/LNAGG.$(FASLEXT) strap-2/FINAGG.$(FASLEXT) -strap-2/FINAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) -strap-2/LNAGG.$(FASLEXT): strap-2/IXAGG.$(FASLEXT) \ - strap-2/CLAGG.$(FASLEXT) \ - strap-2/ELTAB.$(FASLEXT) \ - strap-1/UNISEG.$(FASLEXT) -strap-2/CLAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) -strap-2/IXAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) \ - strap-2/ELTAGG.$(FASLEXT) -strap-2/HOAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/FUNCTOR.$(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-1/INS.$(FASLEXT) -strap-2/ELTAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/ELTAB.$(FASLEXT) -strap-2/ELTAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT) -strap-2/EVALAB.$(FASLEXT): strap-2/IEVALAB.$(FASLEXT) \ - strap-1/EQ.$(FASLEXT) strap-1/LIST.$(FASLEXT) \ - strap-1/GROUP.$(FASLEXT) strap-1/VSPACE.$(FASLEXT) -strap-2/IEVALAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-1/LIST.$(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/FINAGG.$(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/OAMONS.$(FASLEXT): strap-2/OCAMON.$(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-1/FLOAT.$(FASLEXT) strap-1/INTSLPE.$(FASLEXT) \ - strap-1/GALFACT.$(FASLEXT) strap-1/FRUTIL.$(FASLEXT) \ - strap-1/HEUGCD.$(FASLEXT) -strap-2/DFLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \ - strap-2/DIFRING.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT) \ - strap-2/KONVERT.$(FASLEXT) strap-1/DFSFUN.$(FASLEXT) \ - strap-1/COMPLEX.$(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/INT.$(FASLEXT) strap-1/IROOT.$(FASLEXT) \ - strap-1/STRING.$(FASLEXT) -strap-2/SUP.$(FASLEXT): strap-2/UPOLYC.$(FASLEXT) strap-2/PR.$(FASLEXT) \ - strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT) \ - strap-1/UPMP.$(FASLEXT) strap-1/TWOFACT.$(FASLEXT) \ - strap-1/FFSLPE.$(FASLEXT) strap-1/PRS.$(FASLEXT) -strap-2/FFIELDC.$(FASLEXT): strap-2/FPC.$(FASLEXT) strap-2/STEP.$(FASLEXT) \ - strap-2/DIFRING.$(FASLEXT) strap-2/PFECAT.$(FASLEXT) \ - strap-1/TABLE.$(FASLEXT) strap-1/ONECOMP.$(FASLEXT) \ - strap-1/DLP.$(FASLEXT) strap-1/DDFACT.$(FASLEXT) -strap-2/FPC.$(FASLEXT): strap-2/FIELD.$(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/IDPO.$(FASLEXT): strap-2/IDPC.$(FASLEXT) -strap-2/VECTOR.$(FASLEXT): strap-2/VECTCAT.$(FASLEXT) \ - strap-2/ARRAY1.$(FASLEXT) -strap-2/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \ - strap-1/PRIMARR.$(FASLEXT) strap-1/NNI.$(FASLEXT) \ - strap-1/INT.$(FASLEXT) -strap-2/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \ - strap-1/INT.$(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/IARRAY2.$(FASLEXT) strap-1/MATSTOR.$(FASLEXT) \ - strap-1/MATLIN.$(FASLEXT) -strap-2/IARRAY2.$(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-1/NUMFMT.$(FASLEXT) strap-1/VOID.$(FASLEXT) \ - strap-1/DFLOAT.$(FASLEXT) strap-1/SYMBOL.$(FASLEXT) \ - strap-1/LIST.$(FASLEXT) strap-1/PI.$(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-1/PMSYM.$(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-1/GCDDOM.$(FASLEXT) \ - strap-1/LA.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \ - strap-1/INS.$(FASLEXT) strap-1/SUP.$(FASLEXT) \ - strap-1/PFECAT.$(FASLEXT) strap-1/FR.$(FASLEXT) \ - strap-1/CHARNZ.$(FASLEXT) strap-1/SEGCAT.$(FASLEXT) \ - strap-1/SEGXCAT.$(FASLEXT) strap-1/UPOLYC2.$(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-1/NNI.$(FASLEXT) strap-1/INT.$(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) strap-1/INFORM.$(FASLEXT) - -strap-2/EQ.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) strap-2/SETCAT.$(FASLEXT) \ - strap-2/KOERCE.$(FASLEXT) strap-2/EVALAB.$(FASLEXT) \ - strap-2/ABELSG.$(FASLEXT) strap-2/ABELGRP.$(FASLEXT) \ - strap-2/SGROUP.$(FASLEXT) strap-2/MONOID.$(FASLEXT) \ - strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \ - strap-2/COMRING.$(FASLEXT) strap-2/MODULE.$(FASLEXT) \ - strap-2/INTDOM.$(FASLEXT) strap-2/PDRING.$(FASLEXT) \ - strap-2/FIELD.$(FASLEXT) strap-2/VSPACE.$(FASLEXT) \ - strap-2/ES.$(FASLEXT) strap-2/GROUP.$(FASLEXT) \ - strap-1/POLY.$(FASLEXT) strap-1/MULTFACT.$(FASLEXT) \ - strap-1/INDE.$(FASLEXT) strap-1/CARD.$(FASLEXT) - -strap-2/VSPACE.$(FASLEXT): strap-2/FIELD.$(FASLEXT) strap-2/MODULE.$(FASLEXT) - -strap-2/GROUP.$(FASLEXT): strap-2/MONOID.$(FASLEXT) - -strap-2/ES.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \ - strap-2/IEVALAB.$(FASLEXT) strap-2/EVALAB.$(FASLEXT) \ - strap-2/RING.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \ - strap-2/CACHSET.$(FASLEXT) strap-1/BOP1.$(FASLEXT) \ - strap-1/KERNEL.$(FASLEXT) strap-1/COMMONOP.$(FASLEXT) \ - strap-1/BOP.$(FASLEXT) - -strap-2/CACHSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) - -strap-2/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ - strap-1/BOOLE.$(FASLEXT) strap-1/LOGIC.$(FASLEXT) \ - strap-1/A1AGG.$(FASLEXT) - -strap-2/UNISEG.$(FASLEXT): strap-2/SEGCAT.$(FASLEXT) \ - strap-2/SEGXCAT.$(FASLEXT) strap-2/ORDSET.$(FASLEXT) \ - strap-2/SETCAT.$(FASLEXT) strap-1/STREAM.$(FASLEXT) - -strap-2/PATTERN.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ - strap-2/RETRACT.$(FASLEXT) strap-1/BOP.$(FASLEXT) \ - strap-1/NNI.$(FASLEXT) strap-1/ABELMON.$(FASLEXT) \ - strap-1/ANY1.$(FASLEXT) strap-1/ANY.$(FASLEXT) \ - strap-1/PATTERN1.$(FASLEXT) - -strap-2/FR.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) strap-2/INTDOM.$(FASLEXT) \ - strap-2/DIFEXT.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT) \ - strap-2/FEVALAB.$(FASLEXT) strap-2/FRETRCT.$(FASLEXT) \ - strap-2/FUNCTOR.$(FASLEXT) strap-2/VOID.$(FASLEXT) \ - strap-1/LIST.$(FASLEXT) strap-1/SEX.$(FASLEXT) \ - strap-1/INT.$(FASLEXT) strap-1/NNI.$(FASLEXT) \ - strap-1/INFORM.$(FASLEXT) strap-1/INS.$(FASLEXT) \ - strap-1/REAL.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \ - strap-1/FLOAT.$(FASLEXT) strap-1/DFLOAT.$(FASLEXT) \ - strap-1/INTFACT.$(FASLEXT) strap-1/SET.$(FASLEXT) \ - strap-1/UNISEG.$(FASLEXT) strap-1/REF.$(FASLEXT) \ - strap-1/ALIST.$(FASLEXT) strap-1/PRIMARR.$(FASLEXT) - -strap-2/KERNEL.$(FASLEXT): strap-1/CACHSET.$(FASLEXT) \ - strap-1/SCACHE.$(FASLEXT) strap-1/ARITY.$(FASLEXT) \ - strap-1/NONE.$(FASLEXT) - -strap-2/PFBR.$(FASLEXT): strap-1/COMMUPC.$(FASLEXT) -strap-2/MULTSQFR.$(FASLEXT): strap-1/GENEEZ.$(FASLEXT) \ - strap-1/MLIFT.$(FASLEXT) -strap-2/PMPLCAT.$(FASLEXT): strap-1/PMTOOLS.$(FASLEXT) \ - strap-1/PMDOWN.$(FASLEXT) - -strap-2/GALFACT.$(FASLEXT): strap-1/GALFACTU.$(FASLEXT) \ - strap-1/GALPOLYU.$(FASLEXT) strap-1/MDDFACT.$(FASLEXT) \ - strap-1/UPDECOMP.$(FASLEXT) strap-1/BRILL.$(FASLEXT) \ - strap-1/CYCLOTOM.$(FASLEXT) strap-1/MSET.$(FASLEXT) \ - strap-1/MSETAGG.$(FASLEXT) \ - strap-1/GHENSEL.$(FASLEXT) \ - strap-1/IROOT.$(FASLEXT) - -strap-2/DFSFUN.$(FASLEXT): strap-1/COMPLEX.$(FASLEXT) \ - strap-1/INTRET.$(FASLEXT) strap-1/MONOGEN.$(FASLEXT) \ - strap-1/FRAMALG.$(FASLEXT) strap-1/FINRALG.$(FASLEXT) - -strap-2/POLY.$(FASLEXT): strap-2/UDPO.$(FASLEXT) - -strap-2/MULTFACT.$(FASLEXT): strap-1/MRATFAC.$(FASLEXT) \ - strap-1/MPRFF.$(FASLEXT) strap-1/INNMFACT.$(FASLEXT) \ - strap-1/GENUFACT.$(FASLEXT) - -strap-2/MONOGEN.$(FASLEXT): strap-1/CPIMA.$(FASLEXT) \ - strap-1/FRAMALG.$(FASLEXT) \ - strap-1/FINRALG.$(FASLEXT) - -strap-2/COMPCAT.$(FASLEXT): strap-2/MONOGEN.$(FASLEXT) \ - strap-1/POLY.$(FASLEXT) \ - strap-1/CINTSLPE.$(FASLEXT) \ - strap-1/COMPLPAT.$(FASLEXT) \ - strap-1/CPMATCH.$(FASLEXT) -strap-2/GENEEZ.$(FASLEXT): strap-1/EMR.$(FASLEXT) -strap-2/MPRFF.$(FASLEXT): strap-1/MFINFACT.$(FASLEXT) -strap-2/ACFS.$(FASLEXT): strap-2/ACF.$(FASLEXT) strap-1/FS.$(FASLEXT) -strap-2/ACF.$(FASLEXT): strap-2/NTPOLFN.$(FASLEXT) \ - strap-2/PDECOMP.$(FASLEXT) -strap-2/NTPOLFN.$(FASLEXT): strap-2/PNTHEORY.$(FASLEXT) -strap-2/PNTHEORY.$(FASLEXT): strap-1/INTHEORY.$(FASLEXT) -strap-2/EXPR.$(FASLEXT): strap-1/COMBOPC.$(FASLEXT) \ - strap-1/LFCAT.$(FASLEXT) strap-1/SPFCAT.$(FASLEXT) \ - strap-1/KERNEL2.$(FASLEXT) strap-1/ALGMANIP.$(FASLEXT) \ - strap-1/AF.$(FASLEXT) strap-1/EF.$(FASLEXT) \ - strap-1/FSPECF.$(FASLEXT) strap-1/COMBF.$(FASLEXT) \ - strap-1/SEGBIND.$(FASLEXT) strap-1/POLYCATQ.$(FASLEXT) \ - strap-1/SUPFRACF.$(FASLEXT) strap-1/AN.$(FASLEXT) \ - strap-1/EXPR2.$(FASLEXT) strap-1/ES2.$(FASLEXT) \ - strap-1/MKUCFUNC.$(FASLEXT) strap-2/PMFS.$(FASLEXT) \ - strap-1/LIST2MAP.$(FASLEXT) strap-1/FAGROUP.$(FASLEXT) \ - strap-1/ACFS.$(FASLEXT) strap-1/LF.$(FASLEXT) -strap-2/EXPR2.$(FASLEXT): strap-2/EXPR.$(FASLEXT) strap-1/FS2.$(FASLEXT) -strap-2/PMFS.$(FASLEXT): strap-2/PMKERNEL.$(FASLEXT) -strap-2/INFSP.$(FASLEXT): strap-1/POLY2.$(FASLEXT) \ - strap-1/CMPLXRT.$(FASLEXT) strap-1/REAL0.$(FASLEXT) \ - strap-1/SUBRESP.$(FASLEXT) strap-1/POLTOPOL.$(FASLEXT) \ - strap-1/DMP.$(FASLEXT) strap-1/DIRPROD.$(FASLEXT) \ - strap-1/GROEBSOL.$(FASLEXT) - -strap-2/GENMFACT.$(FASLEXT): strap-1/MPCPF.$(FASLEXT) -strap-2/TOOLSIGN.$(FASLEXT): strap-1/SIGNEF.$(FASLEXT) -strap-2/SIGNEF.$(FASLEXT): strap-1/SIGNRF.$(FASLEXT) \ - strap-1/LIMITPS.$(FASLEXT) strap-1/TRIGMNIP.$(FASLEXT) \ - strap-1/ORDCOMP.$(FASLEXT) strap-2/INTRVL.$(FASLEXT) \ - strap-1/TOOLSIGN.$(FASLEXT) -strap-2/INTRVL.$(FASLEXT): strap-2/INTCAT.$(FASLEXT) -strap-2/UPXS.$(FASLEXT): strap-2/UPXSCCA.$(FASLEXT) \ - strap-1/ULS.$(FASLEXT) strap-1/ULSCCAT.$(FASLEXT) \ - strap-1/VARIABLE.$(FASLEXT) strap-1/UTS.$(FASLEXT) \ - strap-1/UPXSCONS.$(FASLEXT) -strap-2/UPXSCCA.$(FASLEXT): strap-2/UPXSCAT.$(FASLEXT) -strap-2/UPXSCAT.$(FASLEXT): strap-2/UPSCAT.$(FASLEXT) \ - strap-2/ULSCAT.$(FASLEXT) -strap-2/UPSCAT.$(FASLEXT): strap-2/PSCAT.$(FASLEXT) -strap-2/UTS.$(FASLEXT): strap-2/UTSCAT.$(FASLEXT) \ - strap-1/VARIABLE.$(FASLEXT) strap-1/ITAYLOR.$(FASLEXT) -strap-2/UTSCAT.$(FASLEXT): strap-1/STTAYLOR.$(FASLEXT) \ - strap-1/STTF.$(FASLEXT) strap-1/STTFNC.$(FASLEXT) \ - strap-1/UP.$(FASLEXT) strap-1/FSINT.$(FASLEXT) \ - strap-1/UPSCAT.$(FASLEXT) strap-1/PSCAT.$(FASLEXT) -strap-2/APPRULE.$(FASLEXT): strap-1/RULE.$(FASLEXT) -strap-2/PLOT.$(FASLEXT): strap-1/PPCURVE.$(FASLEXT) \ - strap-1/PTPACK.$(FASLEXT) strap-1/POINT.$(FASLEXT) -strap-2/GRIMAGE.$(FASLEXT): strap-1/COLOR.$(FASLEXT) \ - strap-1/PALETTE.$(FASLEXT) \ - strap-1/VIEWDEF.$(FASLEXT) \ - strap-1/PLOTTOOL.$(FASLEXT) \ - strap-1/COORDSYS.$(FASLEXT) \ - strap-1/PTCAT.$(FASLEXT) -strap-2/NODE1.$(FASLEXT): strap-1/ODEINT.$(FASLEXT) \ - strap-1/ODEEF.$(FASLEXT) -strap-2/SPADAST.$(FASLEXT): strap-2/SASTCAT.$(FASLEXT) \ - strap-2/SPADXPT.$(FASLEXT) \ - strap-2/TYPEAST.$(FASLEXT) \ - strap-2/IMPTAST.$(FASLEXT) \ - strap-2/DEFAST.$(FASLEXT) \ - strap-2/MACROAST.$(FASLEXT) \ - strap-2/WHEREAST.$(FASLEXT) \ - strap-2/CATAST.$(FASLEXT) \ - strap-2/JOINAST.$(FASLEXT) \ - strap-2/CAPSLAST.$(FASLEXT) \ - strap-2/SIGAST.$(FASLEXT) \ - strap-2/ATTRAST.$(FASLEXT) \ - strap-2/MAPPAST.$(FASLEXT) \ - strap-2/IFAST.$(FASLEXT) \ - strap-2/RPTAST.$(FASLEXT) \ - strap-2/WHILEAST.$(FASLEXT) \ - strap-2/INAST.$(FASLEXT) \ - strap-2/STEPAST.$(FASLEXT) \ - strap-2/CLLCTAST.$(FASLEXT) \ - strap-2/LSTAST.$(FASLEXT) \ - strap-2/EXITAST.$(FASLEXT) \ - strap-2/RETAST.$(FASLEXT) \ - strap-2/CRCEAST.$(FASLEXT) \ - strap-2/PRTDAST.$(FASLEXT) \ - strap-2/RSTRCAST.$(FASLEXT) \ - strap-2/SEGAST.$(FASLEXT) \ - strap-2/SEQAST.$(FASLEXT) \ - strap-2/LETAST.$(FASLEXT) \ - strap-2/SUCHTAST.$(FASLEXT) \ - strap-2/COLONAST.$(FASLEXT) \ - strap-2/ADDAST.$(FASLEXT) \ - strap-2/CASEAST.$(FASLEXT) \ - strap-2/HASAST.$(FASLEXT) \ - strap-2/ISAST.$(FASLEXT) \ - strap-2/CATAST.$(FASLEXT) \ - strap-2/WHEREAST.$(FASLEXT) \ - strap-2/COMMAAST.$(FASLEXT) \ - strap-2/QQUTAST.$(FASLEXT) \ - strap-2/MACROAST.$(FASLEXT) -strap-2/DEFAST.$(FASLEXT): strap-1/HEADAST.$(FASLEXT) \ - strap-1/SIG.$(FASLEXT) -strap-2/SASTCAT.$(FASLEXT): strap-2/HOMOTOP.$(FASLEXT) \ - strap-1/ASTCAT.$(FASLEXT) strap-1/SYNTAX.$(FASLEXT) - -strap-2/CATAST.$(FASLEXT): strap-1/CTORKIND.$(FASLEXT) -strap-2/TYPEAST.$(FASLEXT): strap-1/SPADAST.$(FASLEXT) \ - strap-1/OUTFORM.$(FASLEXT) -strap-2/IRFORM.$(FASLEXT): strap-1/ITFORM.$(FASLEXT) -strap-2/LINELT.$(FASLEXT): strap-1/LINBASIS.$(FASLEXT) -strap-2/FR2.$(FASLEXT): strap-1/COMPLEX.$(FASLEXT) -strap-2/COMPLEX.$(FASLEXT): strap-2/COMPCAT.$(FASLEXT) - - -# -# - -.PRECIOUS: strap-0 strap-1 strap-2 -strap-0 strap-1 strap-2: - $(MKDIR_P) $@ - -.PRECIOUS: strap-0/%.$(FASLEXT) -strap-0/%.$(FASLEXT): %.spad initdb.$(FASLEXT) | strap-0 - $(BOOTSTRAP) --sysalg=strap-0 --output=$@ --bootstrap $< - -.PRECIOUS: strap-1/%.$(FASLEXT) -strap-1/%.$(FASLEXT): %.spad initdb.$(FASLEXT) | strap-1 - $(BOOTSTRAP) --strap=strap-0 --sysalg=strap-1 \ - --output=$@ --optimize=3 $< - -.PRECIOUS: strap-2/%.$(FASLEXT) -strap-2/%.$(FASLEXT): %.spad initdb.$(FASLEXT) | strap-2 - $(BOOTSTRAP) --strap=strap-1 --sysalg=strap-2 \ - --output=$@ --optimize=3 $< - - -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)/any.spad $(OUTSRC)/array1.spad \ - $(OUTSRC)/array2.spad $(OUTSRC)/attreg.spad \ - $(OUTSRC)/bags.spad $(OUTSRC)/bezout.spad $(OUTSRC)/boolean.spad \ - $(OUTSRC)/brill.spad $(OUTSRC)/domain.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)/coordsys.spad $(OUTSRC)/cra.spad $(OUTSRC)/crfp.spad \ - $(OUTSRC)/curve.spad $(OUTSRC)/cycles.spad $(OUTSRC)/cyclotom.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)/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)/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)/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)/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)/logic.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)/rule.spad \ - $(OUTSRC)/seg.spad $(OUTSRC)/setorder.spad $(OUTSRC)/sets.spad \ - $(OUTSRC)/sex.spad $(OUTSRC)/sf.spad $(OUTSRC)/sgcf.spad \ - $(OUTSRC)/sign.spad $(OUTSRC)/si.spad $(OUTSRC)/smith.spad \ - $(OUTSRC)/solvedio.spad $(OUTSRC)/solvefor.spad $(OUTSRC)/solvelin.spad \ - $(OUTSRC)/solverad.spad $(OUTSRC)/sortpak.spad $(OUTSRC)/space.spad \ - $(OUTSRC)/special.spad $(OUTSRC)/sregset.spad $(OUTSRC)/s.spad \ - $(OUTSRC)/stream.spad $(OUTSRC)/string.spad $(OUTSRC)/sttaylor.spad \ - $(OUTSRC)/sttf.spad $(OUTSRC)/sturm.spad $(OUTSRC)/suchthat.spad \ - $(OUTSRC)/suls.spad $(OUTSRC)/sum.spad $(OUTSRC)/sups.spad \ - $(OUTSRC)/supxs.spad $(OUTSRC)/suts.spad $(OUTSRC)/symbol.spad \ - $(OUTSRC)/syntax.spad \ - $(OUTSRC)/term.spad \ - $(OUTSRC)/data.spad \ - $(OUTSRC)/net.spad \ - $(OUTSRC)/compiler.spad \ - $(OUTSRC)/java.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)/parsers.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 = \ - TYPE UTYPE VOID EXIT \ - BOOLEAN INT NNI PI SINT SYMBOL \ - DFLOAT IDENT STRING PAIR MAYBE LIST - -$(OUT)/VOID.$(FASLEXT): strap-2/KOERCE.$(FASLEXT) \ - strap-2/OUTFORM.$(FASLEXT) -$(OUT)/EXIT.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ - strap-2/OUTFORM.$(FASLEXT) \ - strap-2/BOOLEAN.$(FASLEXT) \ - strap-2/STRING.$(FASLEXT) \ - strap-2/SINT.$(FASLEXT) - -$(OUT)/SINT.$(FASLEXT): $(OUT)/INT.$(FASLEXT) -$(OUT)/NNI.$(FASLEXT): $(OUT)/INT.$(FASLEXT) -$(OUT)/PI.$(FASLEXT): $(OUT)/NNI.$(FASLEXT) -$(OUT)/INT.$(FASLEXT): strap-2/INT.$(FASLEXT) \ - strap-2/INFORM.$(FASLEXT) \ - strap-2/UPSQFREE.$(FASLEXT) \ - strap-2/GALFACT.$(FASLEXT) \ - strap-2/FR2.$(FASLEXT) \ - strap-2/FRUTIL.$(FASLEXT) \ - strap-2/HEUGCD.$(FASLEXT) \ - strap-2/PATRES.$(FASLEXT) \ - strap-2/PATTERN.$(FASLEXT) \ - strap-2/FLOAT.$(FASLEXT) \ - strap-2/INTSLPE.$(FASLEXT) -$(OUT)/BOOLEAN.$(FASLEXT): strap-2/BOOLEAN.$(FASLEXT) \ - strap-2/PI.$(FASLEXT) \ - strap-2/INFORM.$(FASLEXT) -$(OUT)/DFLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \ - strap-2/DFLOAT.$(FASLEXT) \ - strap-2/DFSFUN.$(FASLEXT) \ - strap-2/COMPLEX.$(FASLEXT) -$(OUT)/LIST.$(FASLEXT): strap-2/LSAGG.$(FASLEXT) \ - strap-2/LIST.$(FASLEXT) -$(OUT)/SYMBOL.$(FASLEXT): strap-2/SYMBOL.$(FASLEXT) \ - strap-2/PMSYM.$(FASLEXT) \ - strap-2/UNISEG.$(FASLEXT) \ - strap-2/IDENT.$(FASLEXT) - -$(OUT)/STRING.$(FASLEXT): strap-2/STAGG.$(FASLEXT) \ - strap-2/STRING.$(FASLEXT) \ - strap-2/EQ.$(FASLEXT) -$(OUT)/IDENT.$(FASLEXT): strap-2/IDENT.$(FASLEXT) -$(OUT)/MAYBE.$(FASLEXT): $(OUT)/UTYPE.$(FASLEXT) \ - strap-2/KOERCE.$(FASLEXT) \ - strap-2/OUTFORM.$(FASLEXT) \ - strap-2/RETRACT.$(FASLEXT) - -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 = \ - BINOPC BINOP IDEMOPC SGPOPC SGPOP \ - MONOPC FUNCTOR COMOPC COMOP \ - BASTYPE BASTYPE- SETCAT SETCAT- SGROUP SGROUP- \ - LLINSET RLINSET LINSET ABELSG ABELSG- CHARNZ \ - ABELGRP ABELGRP- ABELMON ABELMON- ORDTYPE ORDTYPE- \ - RMODULE ALGEBRA ALGEBRA- FRETRCT FRETRCT- \ - FINITE FINITE- MONOID MONOID- GROUP GROUP- \ - RING RING- OINTDOM AMR AMR- \ - BMODULE STEP LMODULE PFECAT PFECAT- \ - AHYP CFCAT ELTAB KOERCE KONVERT \ - KRCFROM KVTFROM IEVALAB IEVALAB- EVALAB EVALAB- \ - RETRACT RETRACT- REPSQ REPDB FAMR FAMR- \ - PRIMCAT PTRANFN SPFCAT HOMOTOP DIFEXT \ - ORDSET OASGP DIFRING SRING OSGROUP PDRING \ - MODULE MODULE- PID OAGROUP OAGROUP- OCAMON \ - OAMON OAMON- DIOID INTDOM INTDOM- CACHSET \ - RNG RNG- ORDFIN OAMONS CABMON COMRING \ - GCDDOM GCDDOM- UFD UFD- ES ES- \ - FIELD FIELD- VECTCAT VECTCAT- RADCAT RADCAT- \ - ENTIRER ENTIRER- ORDRING FLINEXP FLINEXP- \ - DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \ - LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ - PDDOM PDDOM- PDSPC PDSPC- FPATMAB \ - DSEXT DSEXT- ORDSTRCT \ - BOOLE BOOLE- SRING TRANFUN TRANFUN- \ - INS INS- DIVRING DIVRING- EUCDOM EUCDOM- \ - FPS FPS- RNS RNS- PATAB \ - POLYCAT POLYCAT- QFCAT QFCAT- FEVALAB FEVALAB- \ - ITUPLE IDPT ITFUN2 SEGCAT \ - FILECAT SMAGG MKRECORD MKFUNC \ - PPCURVE PSCURVE RESLATC \ - OUTFORM BINDING \ - IARRAY1 \ - DATAARY PROPLOG BYTEORD \ - 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- FINAGG FINAGG- MDAGG \ - MONOP PRIMARR SEXCAT \ - PROPERTY ARITY OPERCAT OPERCAT- STREAM \ - COMBOPC EQ2 NONE1 CONDUIT IOMODE CTORKIND \ - PDMOD DMEXT LZSTAGG LZSTAGG- MSETAGG \ - ITFUN3 STREAM1 STREAM2 STREAM3 ANY1 \ - ALIST RTVALUE SYSPTR ATTREG REF - - -$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) - -$(OUT)/EVALAB.$(FASLEXT): $(OUT)/IEVALAB.$(FASLEXT) \ - strap-2/EQ.$(FASLEXT) - -$(OUT)/SETCAT.$(FASLEXT): strap-2/OUTFORM.$(FASLEXT) -$(OUT)/FINITE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) - -$(OUT)/ORDSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ - $(OUT)/ORDTYPE.$(FASLEXT) -$(OUT)/FILECAT.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/STEP.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/PATMAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/REAL.$(FASLEXT): $(OUT)/KONVERT.$(FASLEXT) \ - strap-2/FLOAT.$(FASLEXT) - -$(OUT)/SGROUP.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ - strap-2/REPSQ.$(FASLEXT) - -$(OUT)/ABELSG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ - strap-2/REPDB.$(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)/SYSPTR.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) - -$(OUT)/DIFFSPC.$(FASLEXT): $(OUT)/DIFFDOM.$(FASLEXT) -$(OUT)/DIFFMOD.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) -$(OUT)/PDSPC.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) -$(OUT)/DSEXT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) $(OUT)/PDSPC.$(FASLEXT) -$(OUT)/ORDSTRCT.$(FASLEXT): $(OUT)/ORDTYPE.$(FASLEXT) $(OUT)/HOMOTOP.$(FASLEXT) - -$(OUT)/MONOPC.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT) - -$(OUT)/REPSQ.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/REPDB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) - -$(OUT)/FEVALAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ - $(OUT)/ELTAB.$(FASLEXT) $(OUT)/EVALAB.$(FASLEXT) \ - $(OUT)/IEVALAB.$(FASLEXT) strap-2/EQ.$(FASLEXT) - -$(OUT)/INS.$(FASLEXT): $(OUT)/UFD.$(FASLEXT) $(OUT)/EUCDOM.$(FASLEXT) \ - $(OUT)/OINTDOM.$(FASLEXT) $(OUT)/DIFRING.$(FASLEXT) \ - $(OUT)/KONVERT.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) \ - $(OUT)/LINEXP.$(FASLEXT) $(OUT)/CFCAT.$(FASLEXT) \ - $(OUT)/REAL.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ - $(OUT)/STEP.$(FASLEXT) $(OUT)/PATMAB.$(FASLEXT) \ - $(OUT)/FEVALAB.$(FASLEXT) strap-2/FRAC.$(FASLEXT) \ - strap-2/FLOAT.$(FASLEXT) \ - strap-2/INFORM.$(FASLEXT) strap-2/SEXCAT.$(FASLEXT) \ - strap-2/PATTERN.$(FASLEXT) strap-2/INTFACT.$(FASLEXT) \ - strap-2/PRIMES.$(FASLEXT) strap-2/COMBINAT.$(FASLEXT) \ - strap-2/PATRES.$(FASLEXT) strap-2/PMINS.$(FASLEXT) - -$(OUT)/CHARZ.$(FASLEXT): $(OUT)/RING.$(FASLEXT) -$(OUT)/CHARNZ.$(FASLEXT): $(OUT)/RING.$(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)/CABMON.$(FASLEXT): $(OUT)/ABELMON.$(FASLEXT) -$(OUT)/ABELMON.$(FASLEXT): $(OUT)/ABELSG.$(FASLEXT) - -$(OUT)/FIELD.$(FASLEXT): $(OUT)/EUCDOM.$(FASLEXT) $(OUT)/UFD.$(FASLEXT) \ - $(OUT)/DIVRING.$(FASLEXT) strap-2/FR.$(FASLEXT) - -$(OUT)/EUCDOM.$(FASLEXT): $(OUT)/PID.$(FASLEXT) -$(OUT)/PID.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) - -$(OUT)/DIVRING.$(FASLEXT): $(OUT)/ENTIRER.$(FASLEXT) \ - $(OUT)/ALGEBRA.$(FASLEXT) $(OUT)/REPSQ.$(FASLEXT) \ - strap-2/FRAC.$(FASLEXT) - -$(OUT)/ORDRING.$(FASLEXT): $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/CHARZ.$(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) strap-2/FIELD.$(FASLEXT) -$(OUT)/OINTDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) $(OUT)/ORDRING.$(FASLEXT) -$(OUT)/GCDDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) -$(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) strap-2/ES.$(FASLEXT) -$(OUT)/ES.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT) \ - $(OUT)/PATAB.$(FASLEXT) strap-2/PRIMARR.$(FASLEXT) \ - strap-2/REF.$(FASLEXT) strap-2/ALIST.$(FASLEXT) \ - strap-2/NONE.$(FASLEXT) strap-2/KERNEL.$(FASLEXT) \ - strap-2/COMMONOP.$(FASLEXT) strap-2/SYMBOL.$(FASLEXT) \ - strap-2/BOP.$(FASLEXT) strap-2/EQ.$(FASLEXT) \ - strap-2/ARITY.$(FASLEXT) strap-2/BOP1.$(FASLEXT) -$(OUT)/CACHSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT) -$(OUT)/IARRAY1.$(FASLEXT): $(OUT)/PRIMARR.$(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)/PATAB.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) \ - strap-2/PATTERN.$(FASLEXT) - -$(OUT)/GROUP.$(FASLEXT): $(OUT)/MONOID.$(FASLEXT) $(OUT)/REPSQ.$(FASLEXT) - -$(OUT)/ORDFIN.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/FINITE.$(FASLEXT) - -$(OUT)/RADCAT.$(FASLEXT): strap-2/FRAC.$(FASLEXT) - -$(OUT)/OSGROUP.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) - -$(OUT)/LINEXP.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/LMODULE.$(FASLEXT) - -$(OUT)/RNS.$(FASLEXT): $(OUT)/FIELD.$(FASLEXT) $(OUT)/ORDRING.$(FASLEXT) \ - $(OUT)/RETRACT.$(FASLEXT) $(OUT)/RADCAT.$(FASLEXT) \ - $(OUT)/KONVERT.$(FASLEXT) $(OUT)/PATMAB.$(FASLEXT) \ - $(OUT)/CHARZ.$(FASLEXT) - -$(OUT)/FPS.$(FASLEXT): $(OUT)/RNS.$(FASLEXT) - -$(OUT)/POLYCAT.$(FASLEXT): $(OUT)/PDRING.$(FASLEXT) \ - $(OUT)/FAMR.$(FASLEXT) $(OUT)/EVALAB.$(FASLEXT) \ - $(OUT)/RETRACT.$(FASLEXT) $(OUT)/FLINEXP.$(FASLEXT) \ - strap-2/VECTOR.$(FASLEXT) strap-2/MATRIX.$(FASLEXT) \ - strap-2/SUP.$(FASLEXT) \ - strap-2/INFORM.$(FASLEXT) strap-2/GENPGCD.$(FASLEXT) \ - strap-2/PFBR.$(FASLEXT) strap-2/MULTSQFR.$(FASLEXT) \ - strap-2/PSQFR.$(FASLEXT) strap-2/PMPLCAT.$(FASLEXT) \ - strap-2/POLYLIFT.$(FASLEXT) strap-2/UNISEG.$(FASLEXT) - -$(OUT)/QFCAT.$(FASLEXT): $(OUT)/ALGEBRA.$(FASLEXT) \ - $(OUT)/RETRACT.$(FASLEXT) \ - $(OUT)/FEVALAB.$(FASLEXT) $(OUT)/DIFEXT.$(FASLEXT) \ - $(OUT)/FLINEXP.$(FASLEXT) $(OUT)/PATAB.$(FASLEXT) \ - $(OUT)/FPATMAB.$(FASLEXT) $(OUT)/ORDSET.$(FASLEXT) \ - $(OUT)/OINTDOM.$(FASLEXT) $(OUT)/REAL.$(FASLEXT) \ - $(OUT)/KONVERT.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ - $(OUT)/CHARNZ.$(FASLEXT) $(OUT)/EUCDOM.$(FASLEXT) \ - $(OUT)/PFECAT.$(FASLEXT) $(OUT)/FIELD.$(FASLEXT) \ - strap-2/MCDEN.$(FASLEXT) strap-2/PMQFCAT.$(FASLEXT) - -$(OUT)/PDRING.$(FASLEXT): $(OUT)/PDSPC.$(FASLEXT) -$(OUT)/DIFEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) -$(OUT)/PFECAT.$(FASLEXT): $(OUT)/UFD.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ - strap-2/LPEFRAC.$(FASLEXT) - -$(OUT)/FAMR.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/OAMON.$(FASLEXT) \ - $(OUT)/AMR.$(FASLEXT) $(OUT)/FRETRCT.$(FASLEXT) - -$(OUT)/AMR.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/OAMON.$(FASLEXT) \ - $(OUT)/BMODULE.$(FASLEXT) $(OUT)/FUNCTOR.$(FASLEXT) \ - $(OUT)/FIELD.$(FASLEXT) $(OUT)/COMRING.$(FASLEXT) \ - $(OUT)/ALGEBRA.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ - $(OUT)/CHARNZ.$(FASLEXT) $(OUT)/INTDOM.$(FASLEXT) - -$(OUT)/FRETRCT.$(FASLEXT): $(OUT)/RETRACT.$(FASLEXT) \ - strap-2/FRAC.$(FASLEXT) - -$(OUT)/FLINEXP.$(FASLEXT): $(OUT)/LINEXP.$(FASLEXT) \ - strap-2/MATRIX.$(FASLEXT) - -$(OUT)/FPATMAB.$(FASLEXT): $(OUT)/PATMAB.$(FASLEXT) - -$(OUT)/DIFFSPC.$(FASLEXT): $(OUT)/DIFFDOM.$(FASLEXT) - -$(OUT)/PDSPC.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) - -$(OUT)/TRANFUN.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/FIELD.$(FASLEXT) \ - strap-2/TRIGCAT.$(FASLEXT) \ - strap-2/ATRIG.$(FASLEXT) strap-2/HYPCAT.$(FASLEXT) \ - strap-2/AHYP.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT) - -# FIXME: -$(OUT)/ES.$(FASLEXT): strap-2/INFORM.$(FASLEXT) - -$(OUT)/HOMOTOP.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/KRCFROM.$(FASLEXT) -$(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/STREAM.$(FASLEXT) -$(OUT)/PPCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) -$(OUT)/PSCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) - -$(OUT)/BYTEORD.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) - -$(OUT)/BINDING.$(FASLEXT): $(OUT)/PROPERTY.$(FASLEXT) -$(OUT)/OPERCAT.$(FASLEXT): $(OUT)/ARITY.$(FASLEXT) -$(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT) \ - strap-2/STREAM2.$(FASLEXT) strap-2/STREAM3.$(FASLEXT) -$(OUT)/LZSTAGG.$(FASLEXT): $(OUT)/STAGG.$(FASLEXT) \ - strap-2/CSTTOOLS.$(FASLEXT) - - -$(OUT)/MONOP.$(FASLEXT): $(OUT)/MONOPC.$(FASLEXT) \ - $(OUT)/SETCAT.$(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)/FINAGG.$(FASLEXT) -$(OUT)/SKAGG.$(FASLEXT): $(OUT)/BGAGG.$(FASLEXT) $(OUT)/FINAGG.$(FASLEXT) -$(OUT)/DQAGG.$(FASLEXT): $(OUT)/QUAGG.$(FASLEXT) $(OUT)/SKAGG.$(FASLEXT) -$(OUT)/PRQAGG.$(FASLEXT): $(OUT)/BGAGG.$(FASLEXT) $(OUT)/FINAGG.$(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)/FINAGG.$(FASLEXT) -$(OUT)/A1AGG.$(FASLEXT): $(OUT)/FLAGG.$(FASLEXT) $(OUT)/SMAGG.$(FASLEXT) \ - strap-2/UNISEG.$(FASLEXT) \ - $(OUT)/ORDSET.$(FASLEXT) -$(OUT)/SRAGG.$(FASLEXT): $(OUT)/A1AGG.$(FASLEXT) -$(OUT)/STAGG.$(FASLEXT): $(OUT)/URAGG.$(FASLEXT) $(OUT)/LNAGG.$(FASLEXT) -$(OUT)/LNAGG.$(FASLEXT): $(OUT)/SEGCAT.$(FASLEXT) -$(OUT)/SETAGG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/CLAGG.$(FASLEXT) -$(OUT)/DIOPS.$(FASLEXT): strap-2/STRING.$(FASLEXT) -$(OUT)/DIAGG.$(FASLEXT): $(OUT)/DIOPS.$(FASLEXT) -$(OUT)/KDAGG.$(FASLEXT): $(OUT)/DIAGG.$(FASLEXT) $(OUT)/IXAGG.$(FASLEXT) -$(OUT)/TBAGG.$(FASLEXT): $(OUT)/KDAGG.$(FASLEXT) -$(OUT)/ALAGG.$(FASLEXT): $(OUT)/TBAGG.$(FASLEXT) -$(OUT)/HOAGG.$(FASLEXT): $(OUT)/FUNCTOR.$(FASLEXT) \ - strap-2/EQ.$(FASLEXT) -$(OUT)/SMAGG.$(FASLEXT): $(OUT)/HOAGG.$(FASLEXT) -$(OUT)/FINAGG.$(FASLEXT): $(OUT)/HOAGG.$(FASLEXT) -$(OUT)/ELAGG.$(FASLEXT): $(OUT)/SMAGG.$(FASLEXT) strap-2/UNISEG.$(FASLEXT) -$(OUT)/CLAGG.$(FASLEXT): $(OUT)/HOAGG.$(FASLEXT) -$(OUT)/FSAGG.$(FASLEXT): $(OUT)/FINAGG.$(FASLEXT) -$(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(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)/MSETAGG.$(FASLEXT): $(OUT)/MDAGG.$(FASLEXT) $(OUT)/SETAGG.$(FASLEXT) -$(OUT)/MDAGG.$(FASLEXT): $(OUT)/DIOPS.$(FASLEXT) -$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) - - -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))) - -$(OUT)/OUTFORM.$(FASLEXT): strap-2/NUMFMT.$(FASLEXT) -$(OUT)/FLAGG.$(FASLEXT): strap-2/FLASORT.$(FASLEXT) - -oa_algebra_layer_2 = \ - SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKUCFUNC \ - FNCAT SCACHE IFARRAY FARRAY SET SIG \ - FUNDESC DOMTMPLT MKBCFUNC RNGBIND SEG OVERSET \ - CTORCAT CTORCAT- CTOR - -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 = \ - SCOPE MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1 SEGBIND \ - MAPPKG2 MAPPKG3 INTBIT MONAD MONAD- SEG2 \ - BOP BOP1 COMMONOP CATCTOR CTORCALL - -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 SEGBIND2 \ - FAMONC IDPC NONE FCTRDATA \ - COLOR \ - PALETTE PARPCURV PARPC2 PARSCURV PARSC2 PARSURF \ - PARSU2 PATRES2 PATTERN1 \ - SPACEC SPLNODE IDPOAM \ - SUCH YSTREAM ENV \ - ATRIG ATRIG- LALG LALG- RANDSRC - - -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 = \ - CARD DVARCAT DVARCAT- ELEMFUN \ - ELEMFUN- FCOMP IDPAM IDPO \ - INCRMAPS KERNEL2 MODMONOM MONADWU MONADWU- \ - NARNG NARNG- ODVAR PATLRES PMLSAGG \ - ORDMON PERMCAT RFDIST RIDIST \ - SDVAR TRIGCAT TRIGCAT- \ - ELABEXPR KERNEL IDPOAMS - -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 CHARPOL PATMATCH \ - OVAR ES1 ES2 GRMOD GRMOD- \ - HYPCAT HYPCAT- MODRING NASRING NASRING- \ - SORTPAK ZMOD PROPFUN2 SAOS INDE FLAGG2 \ - KTVLOGIC TREE BYTE SYSINT SYSNNI DIRPCAT DIRPCAT- - -$(OUT)/PATMATCH.$(FASLEXT): strap-2/POLY.$(FASLEXT) - - -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 FMONCAT FMCAT DIRPROD \ - IFAMON GRALG GRALG- SMP INTABL HASHTBL \ - INT8 INT16 INT32 INT64 UINT8 UINT16 \ - UINT32 UINT64 BTREE FAGROUP FGROUP MODOP \ - FMONOID GDMP PARTPERM HDP RMATCAT RMATCAT- \ - ICDEN - -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)/SMP.$(FASLEXT): strap-2/PGCD.$(FASLEXT) - - -oa_algebra_layer_8 = \ - BSTREE BTOURN FACTFUNC TABLE ONECOMP \ - FR2 FRUTIL MLO NAALG ORDCOMP LO \ - NAALG- OP UNISEG2 XALG FST RADIX \ - POLY OFMONOID ARR2CAT ARR2CAT- LINDEP STACK \ - PADICCT MOEBIUS PRTITION HDMP MPC2 MPC3 DMP \ - GBINTERN VARIABLE SMATCAT SMATCAT- IMATLIN IMATQF MODMON \ - FINRALG FINRALG- CVMP LIST2 FINAALG FINAALG- - -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)/LINDEP.$(FASLEXT): strap-2/LSMP.$(FASLEXT) \ - strap-2/MATCAT2.$(FASLEXT) strap-2/VECTOR2.$(FASLEXT) - -$(OUT)/POLY.$(FASLEXT): strap-2/INDE.$(FASLEXT) -# FIXME: -$(OUT)/FR2.$(FASLEXT): strap-2/COMPLEX.$(FASLEXT) - -oa_algebra_layer_9 = \ - DLP EAB IPADIC FMAGMA QUEUE MATLIN \ - FAMONOID CONTFRAC WP PERM PERMGRP DDFACT \ - FSERIES FT IDPAG INFINITY LA \ - OMLO ORTHPOL PRODUCT POLTOPOL SQMATRIX \ - GB RATRET RADUTIL UP PINTERPA \ - XFALG ZLINDEP BBTREE TABLEAU MATSTOR \ - FRNAALG FRNAALG- FRAMALG FRAMALG- CPIMA - -# FIXME: Investigate circularity -$(OUT)/CPIMA.$(FASLEXT): strap-2/MONOGEN.$(FASLEXT) \ - strap-2/UPOLYC2.$(FASLEXT) - -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 \ - FLASORT PATRES \ - FM FM1 FPC FPC- \ - IROOT LIECAT LIECAT- LIST2MAP \ - SEX MODFIELD \ - MRING MTHING NCNTFRAC NCODIV \ - ODR OREPCAT OREPCAT- OWP \ - PADIC PATTERN2 \ - PBWLB PENDTREE PGE PGROEB \ - PINTERP PFR PMDOWN \ - PMINS PMTOOLS MONOGEN MONOGEN- EMR \ - PSCAT PSCAT- QFORM MTSCAT GHENSEL \ - STTAYLOR TABLBUMP UPSCAT UPSCAT- \ - UDPO UNISEG VSPACE OREPCTO GENEEZ \ - VSPACE- XPOLYC XPR BTAGG BTAGG- \ - RMATRIX PTCAT XDPOLY XRPOLY CINTSLPE \ - MATRIX MATCAT MATCAT- IARRAY2 FFIELDC FFIELDC- - -# FIXME: Investigate circularity -$(OUT)/CINTSLPE.$(FASLEXT): strap-2/COMPCAT.$(FASLEXT) -$(OUT)/GHENSEL.$(FASLEXT): strap-2/GENEEZ.$(FASLEXT) - -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 ONECOMP2 \ - ASTACK COMBINAT POINT UDVO \ - CSTTOOLS MRF2 ITAYLOR ORDCOMP2 \ - FLALG GALUTIL HEAP COMPLPAT CPMATCH \ - INTCAT INTHEORY COMPCAT COMPCAT- \ - IRREDFFX LFCAT LODOCAT LODOCAT- \ - ORESUP OREUP QEQUAT \ - PR PREASSOC PRIMARR2 REDORDER \ - SYMPOLY TUPLE XEXPPKG HB IBITS \ - XF XF- XPOLY INFORM INFORM1 - -# FIXME: Investigate circularity -$(OUT)/COMPCAT.$(FASLEXT): strap-2/COMPLEX.$(FASLEXT) - - -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 TUBE BITS DIRPROD2 UPXSCAT SETMN POLYROOT \ - STTF LPOLY LSMP LSMP1 MATCAT2 TRIMAT POLYCATQ \ - STTFNC SYSTEM HOSTNAME PORTNUM UPOLYC2 PFBRU SGCF \ - OUT PSEUDLIN BYTEBUF COMPLEX FS FS- ALGMANIP \ - AF EF FSPECF COMBF LF RATFACT SUPFRACF \ - COMMUPC IAN AN IALGFACT SAE SAEFACT ALGFACT \ - RFFACT SAERFFC - -## FIXME: -$(OUT)/POLYCATQ.$(FASLEXT): strap-2/SUP2.$(FASLEXT) -$(OUT)/IAN.$(FASLEXT): strap-2/EXPR.$(FASLEXT) strap-2/AN.$(FASLEXT) \ - strap-2/EXPR2.$(FASLEXT) -$(OUT)/AF.$(FASLEXT): strap-2/ACF.$(FASLEXT) -$(OUT)/SUPFRACF.$(FASLEXT): strap-2/MULTFACT.$(FASLEXT) - - -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 UTSCAT UTSCAT- PNTHEORY NTPOLFN \ - UPOLYC UPOLYC- MRATFAC NPCOEF MLIFT PDECOMP \ - COORDSYS DBASE DHMATRIX DIOSP FACUTIL EXPR \ - ACF ACF- FAXF FAXF- LEADCDET COMPFACT \ - FNLA GRAY IRSN INNMFACT ACFS ACFS- \ - MHROWRED NUMODE NUMQUAD GENUFACT MULTFACT \ - ODESYS ODETOOLS ORDFUNS PERMAN \ - UPXSCCA UPXSCCA- ULSCCAT ULSCCAT- \ - PTPACK REP2 MSET \ - SYMFUNC VECTOR2 VECTOR CHAR XPBWPOLY \ - INBCON INBCON- OUTBCON OUTBCON- LEXP - -# FIXME: Investigate cyle. -$(OUT)/MRATFAC.$(FASLEXT): strap-2/MULTFACT.$(FASLEXT) -$(OUT)/MULTFACT.$(FASLEXT): strap-2/MPRFF.$(FASLEXT) -$(OUT)/EXPR.$(FASLEXT): strap-2/ACFS.$(FASLEXT) - -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 = \ - PLOT3D CLIF GALFACTU CDEN UPCDEN ICARD BALFACT \ - BEZOUT BINARY BRILL CHVAR OPQUERY CYCLOTOM FFP \ - IPF PF CYCLES DECIMAL DISPLAY FFPOLY FFX \ - NORMRETR TWOFACT MFINFACT DPMO DPOLCAT DPOLCAT- EQ \ - ERROR LGROBP PUSHVAR MPCPF GENMFACT \ - EVALCYC FF FFF FFCGP FFCG GROEBSOL \ - FFCGX FFPOLY2 FFHOM INBFF FFNBP FFNB FFNBX \ - FFSLPE FGLMICPK REAL0 PRS SUBRESP \ - FNAME FILE POLY2 CMPLXRT INFSP FLOATRP FRAC \ - GENPGCD GALPOLYU GBEUCLID GBF GMODPOL GOSPER \ - HEXADEC MDDFACT INMODGCD HEUGCD IBPTOOLS IFF IDEAL \ - IDECOMP INPSIGN MONOTOOL INTHERTR IR LAUPOL INTTR \ - RDETR INTRAT IR2 INTRF INTSLPE TANEXP INTTOOLS \ - EFSTRUC FS2UPS EFUPXS BOUNDZRO ODEPRIM \ - DSMP LODOOPS LODO LODO1 LODO2 UTSODE UTSODETL \ - ODERAT INTG0 FFCAT FFCAT- IBATOOL FFINTBAS RADFF \ - FDIVCAT FDIVCAT- FRIDEAL HELLFDIV FRMOD FDIV DBLRESP \ - PFOTOOLS FSRED MMAP ALGFF FORDER FFCAT2 FRIDEAL2 \ - FDIV2 RDIV PFO INTHERAL FSUPFACT INTALG INTAF \ - ODERED ODEPAL INTPAF PRIMELT FSPRMELT RDEEF SMITH \ - RDETRS RDEEFS PMASSFS FS2 ITRIGMNP TRIGMNIP \ - PMPREDFS INTPM INTEF IR2F RULE APPRULE TRMANIP \ - FSCINT FSINT UTS EFULS ULSCONS ULS EXPUPXS \ - UPXSSING EXPEXPAN FS2EXPXP LIMITPS \ - ISUMP SIGNRF SIGNEF TOOLSIGN LIMITRF LPEFRAC \ - LSPP MCDEN MPOLY MPRFF MULTSQFR \ - NSUP ODP ODEPRRIC PADICRC PADICRAT \ - PCOMP PFBR PFRPAC PGCD PLEQN \ - PMPLCAT PMQFCAT POLUTIL POLYLIFT POLY2UP PSQFR \ - QALGSET QFCAT2 RCFIELD RCFIELD- REAL0Q REALSOLV \ - RESRING SYSSOLP RETSOL RF RFFACTOR RRCC RRCC- \ - SCPKG SHDP SHP SMTS SOLVEFOR SPLTREE STINPROD \ - SUMRF UPMP SUP TEX TEXTFILE UNIFACT \ - UPDIVP UPDECOMP UPSQFREE VIEWDEF \ - TS WEIER EQTBL GSTBL STBL STRTBL\ - DOMCTOR DOMAIN SYMTAB SYMS IOBCON - -# FIXME: -$(OUT)/CMPLXRT.$(FASLEXT): strap-2/INFSP.$(FASLEXT) -$(OUT)/MPCPF.$(FASLEXT): strap-2/GENMFACT.$(FASLEXT) -$(OUT)/SIGNEF.$(FASLEXT): strap-2/TOOLSIGN.$(FASLEXT) -$(OUT)/FS2UPS.$(FASLEXT): strap-2/SIGNEF.$(FASLEXT) -$(OUT)/LIMITPS.$(FASLEXT): strap-2/UPXS.$(FASLEXT) \ - strap-2/TOOLSIGN.$(FASLEXT) -$(OUT)/ODERAT.$(FASLEXT): strap-2/UTS.$(FASLEXT) -$(OUT)/RULE.$(FASLEXT): strap-2/APPRULE.$(FASLEXT) -$(OUT)/EXPUPXS.$(FASLEXT): strap-2/UPXS.$(FASLEXT) - - -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 = \ - UPXSCONS UPXS TEX1 SUP2 ODPOL NSUP2 UP2 \ - SUBSPACE SPACE3 DROPT DROPT1 DROPT0 GRDEF CLIP \ - VIEW2D VIEW PLOTTOOL GRIMAGE PLOT RMCAT2 ROIRC \ - SDPOL FRAC2 TUBETOOL JVMBCODE MESH - -#FIXME: -$(OUT)/GRDEF.$(FASLEXT): strap-2/PLOT.$(FASLEXT) -$(OUT)/VIEW.$(FASLEXT): strap-2/GRIMAGE.$(FASLEXT) -$(OUT)/VIEW2D.$(FASLEXT): strap-2/GRIMAGE.$(FASLEXT) - -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 UTS2 ULS2 CARTEN2 COMPLEX2 LMDICT \ - INTFACT DEGRED PMPRED UPXS2 NUMTUBE \ - NFINTBAS PMASS PADE PADEPAC MKFLCFN PLOT1 \ - PTFUNC2 VIEW3D DRAWCX DRAWPT - - -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 TOPSP BPADICRT \ - IBACHIN MMLFORM NORMMA OMSAGG OPSIG \ - PRIMES WFFINTBS PWFFINTB RDIST RPOLCAT RPOLCAT- - - -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 = \ - KAFILE IPRNTPK TBCMPPK PSETCAT PSETCAT- - - -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 DRAWCFUN DRAW \ - EP FLOAT FPARFRAC FUNCTION HACKPI \ - ISUPS LIB INEP \ - NREP NUMFMT OC OC- PATTERN \ - PMKERNEL PMSYM QALGSET2 RECLOS REP1 QUATCAT QUATCAT- \ - ROMAN RULECOLD SPECOUT 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 = \ - ALGMFACT ALGPKG ALGSC CRFP CTRIGMNP \ - DERHAM DFSFUN DRAWCURV ELFUTS EXPRODE \ - EXPRTUBE EXPR2 FLOATCP FRNAAF2 \ - GAUSSFAC GCNAALG GENUPS GTSET GPOLSET \ - INFPROD0 INPRODFF INPRODPF JORDAN \ - NLINSOL ODERTRIC KOVACIC LIE LODOF LSQM \ - NCEP NSMP NUMERIC QUAT OCT \ - OCTCT2 PAN2EXPR PFOQ PICOERCE PMFS \ - PSETPK QUATCT2 RSETCAT RSETCAT- RULESET SIMPAN \ - DRAWHACK SOLVESER SUMFS SUTS 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 = \ - DFINTTLS DEFINTEF IRRF2F DEFINTRF GSERIES EXPR2UPS INVLAPLA \ - LAPLACE ODEINT ODECONST LODEEF ODEEF NODE1 \ - SOLVERAD REP SULS SUPXS - -# FIXME: -$(OUT)/ODEEF.$(FASLEXT): strap-2/NODE1.$(FASLEXT) - -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 = \ - NTSCAT QCMPACK RSETGCD RSDCMPK REGSET RGCHAIN \ - SFRTCAT SNTSCAT SOLVETRA SFQCMPK SFRGCD SRDCMPK \ - SREGSET NORMPK LEXTRIPK IRURPK 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 = \ - LAZM3PK RURPK INTRVL 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_24 = \ - RINTERP ASTCAT ASTCAT- SASTCAT PARAMAST HEADAST \ - LITERAL TYPEAST IMPTAST MAPPAST ATTRAST \ - JOINAST IFAST RPTAST WHILEAST INAST CLLCTAST \ - LSTAST EXITAST RETAST SEGAST PRTDAST CRCEAST \ - LETAST RDUCEAST COLONAST ADDAST CAPSLAST SUCHTAST \ - CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ - QQUTAST DEFAST MACROAST SPADXPT SPADAST SIGAST \ - INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC STEPAST \ - IP4ADDR NETCLT INETCLTS ITFORM RSTRCAST SEQAST \ - IRFORM ELABOR COMPILER MSYSCMD PRINT \ - TALGOP YDIAGRAM LINFORM LINBASIS DBASIS LINELT \ - JVMOP JVMCFACC JVMFDACC JVMMDACC \ - JVMCSTTG - -$(OUT)/TYPEAST.$(FASLEXT): strap-2/SPADAST.$(FASLEXT) -$(OUT)/ITFORM.$(FASLEXT): strap-2/IRFORM.$(FASLEXT) -$(OUT)/LINFORM.$(FASLEXT): strap-2/LINELT.$(FASLEXT) \ - strap-2/DBASIS.$(FASLEXT) - - - -oa_algebra_layer_24_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_24)) - -oa_algebra_layer_24_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(oa_algebra_layer_24))) - - - - - -.PHONY: all-algebra all-algstrap - -all-am: all-algebra -all-algebra: stamp - @ echo finished $(builddir) - -stamp: $(SPADFILES) 24-stamp $(TESTS) - -rm -f stamp - $(STAMP) stamp - -all-algstrap: strap-stamp - -.PRECIOUS: $(OUT)/%.$(FASLEXT) %.spad -$(OUT)/%.$(FASLEXT) $(OUT)/%-.$(FASLEXT): %.spad initdb.$(FASLEXT) - $(COMPILE_SPAD) && cp $*.NRLIB/code.$(FASLEXT) $@ \ - && if test -f $*-.NRLIB/code.$(FASLEXT); then \ - cp $*-.NRLIB/code.$(FASLEXT) $(OUT)/$*-.$(FASLEXT); \ - else :; fi - -$(OUT)/%-.$(FASLEXT): $(OUT)/%.$(FASLEXT) - -$(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_target_texdir)/diagrams.tex \ - $(oa_target_texdir)/axiom.sty - -$(builddir)/%.dvi: $(builddir)/%.tex - $(oa_hammer) --latex $< - -$(builddir)/%.tex: $(srcdir)/%.pamphlet - $(oa_hammer) --weave --output=$@ $< - -$(oa_target_texdir)/diagrams.tex: $(oa_src_docdir)/diagrams.tex - @cp -p $< $@ - -$(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_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_24_objects): 23-stamp - -$(oa_algebra_layer_0_objects): | $(OUT) -$(OUT): - $(MKDIR_P) $@ - -0-stamp: $(oa_algebra_layer_0_objects) -1-stamp: $(oa_algebra_layer_1_objects) -2-stamp: $(oa_algebra_layer_2_objects) -3-stamp: $(oa_algebra_layer_3_objects) -4-stamp: $(oa_algebra_layer_4_objects) -5-stamp: $(oa_algebra_layer_5_objects) -6-stamp: $(oa_algebra_layer_6_objects) -7-stamp: $(oa_algebra_layer_7_objects) -8-stamp: $(oa_algebra_layer_8_objects) -9-stamp: $(oa_algebra_layer_9_objects) -10-stamp: $(oa_algebra_layer_10_objects) -11-stamp: $(oa_algebra_layer_11_objects) -12-stamp: $(oa_algebra_layer_12_objects) -13-stamp: $(oa_algebra_layer_13_objects) -14-stamp: $(oa_algebra_layer_14_objects) -15-stamp: $(oa_algebra_layer_15_objects) -16-stamp: $(oa_algebra_layer_16_objects) -17-stamp: $(oa_algebra_layer_17_objects) -18-stamp: $(oa_algebra_layer_18_objects) -19-stamp: $(oa_algebra_layer_19_objects) -20-stamp: $(oa_algebra_layer_20_objects) -21-stamp: $(oa_algebra_layer_21_objects) -22-stamp: $(oa_algebra_layer_22_objects) -23-stamp: $(oa_algebra_layer_23_objects) -24-stamp: $(oa_algebra_layer_24_objects) - -ALL_LAYERS = \ - all-layer-0 \ - all-layer-1 \ - all-layer-2 \ - all-layer-3 \ - all-layer-4 \ - all-layer-5 \ - all-layer-6 \ - all-layer-7 \ - all-layer-8 \ - all-layer-9 \ - all-layer-10 \ - all-layer-11 \ - all-layer-12 \ - all-layer-13 \ - all-layer-14 \ - all-layer-15 \ - all-layer-16 \ - all-layer-17 \ - all-layer-18 \ - all-layer-19 \ - all-layer-20 \ - all-layer-21 \ - all-layer-22 \ - all-layer-23 \ - all-layer-24 - -.PHONY: $(ALL_LAYERS) -$(ALL_LAYERS): all-layer-%: %-stamp - -%-stamp: - @ rm -f $@ - @ $(STAMP) $@ - @ echo ================================== - @ echo === layer $* of 24 complete ====== - @ echo ================================== - - -.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 |