From 39600884e2bdb4b187ef3a7f6ebbc72fcaf2bd59 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 4 Apr 2013 07:24:17 +0000 Subject: convert src/algebra/Makefile.in to Automake stuff --- Makefile.in | 14 +- configure | 10 +- configure.ac | 11 +- src/ChangeLog | 5 + src/Makefile.am | 2 +- src/Makefile.in | 2 +- src/algebra/Makefile.am | 2510 +++++++++++++++++++++++++++++++++++++++++++++++ src/algebra/Makefile.in | 2202 +++++++++++++++++++++++++---------------- 8 files changed, 3907 insertions(+), 849 deletions(-) create mode 100644 src/algebra/Makefile.am diff --git a/Makefile.in b/Makefile.in index 90ec86d4..1a71ad59 100644 --- a/Makefile.in +++ b/Makefile.in @@ -104,7 +104,6 @@ DIST_COMMON = README $(am__configure_deps) $(srcdir)/Makefile.am \ $(top_srcdir)/config/openaxiom-c-macros.h.in \ $(top_srcdir)/config/setup-dep.mk \ $(top_srcdir)/config/var-def.mk $(top_srcdir)/configure \ - $(top_srcdir)/src/algebra/Makefile.in \ $(top_srcdir)/src/boot/Makefile.in \ $(top_srcdir)/src/clef/Makefile.in \ $(top_srcdir)/src/doc/Makefile.in \ @@ -144,12 +143,11 @@ CONFIG_HEADER = $(top_builddir)/config/openaxiom-c-macros.h CONFIG_CLEAN_FILES = src/lib/Makefile src/utils/Makefile \ src/hyper/Makefile src/driver/Makefile src/lisp/Makefile \ src/boot/Makefile src/interp/Makefile src/share/Makefile \ - src/algebra/Makefile src/input/Makefile src/etc/Makefile \ - src/doc/Makefile src/clef/Makefile src/sman/Makefile \ - src/graph/Makefile src/graph/Gdraws/Makefile \ - src/graph/view2D/Makefile src/graph/view3D/Makefile \ - src/graph/viewAlone/Makefile src/graph/viewman/Makefile \ - src/gui/gui.pro + src/input/Makefile src/etc/Makefile src/doc/Makefile \ + src/clef/Makefile src/sman/Makefile src/graph/Makefile \ + src/graph/Gdraws/Makefile src/graph/view2D/Makefile \ + src/graph/view3D/Makefile src/graph/viewAlone/Makefile \ + src/graph/viewman/Makefile src/gui/gui.pro CONFIG_CLEAN_VPATH_FILES = SOURCES = DIST_SOURCES = @@ -484,8 +482,6 @@ src/interp/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def. cd $(top_builddir) && $(SHELL) ./config.status $@ src/share/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def.mk $(top_srcdir)/src/share/Makefile.in $(top_srcdir)/config/setup-dep.mk cd $(top_builddir) && $(SHELL) ./config.status $@ -src/algebra/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def.mk $(top_srcdir)/src/algebra/Makefile.in $(top_srcdir)/config/setup-dep.mk - cd $(top_builddir) && $(SHELL) ./config.status $@ src/input/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def.mk $(top_srcdir)/src/input/Makefile.in $(top_srcdir)/config/setup-dep.mk cd $(top_builddir) && $(SHELL) ./config.status $@ src/etc/Makefile: $(top_builddir)/config.status $(top_srcdir)/config/var-def.mk $(top_srcdir)/src/etc/Makefile.in $(top_srcdir)/config/setup-dep.mk diff --git a/configure b/configure index 4e21a066..09425a40 100755 --- a/configure +++ b/configure @@ -19754,7 +19754,7 @@ esac ## We are ready to instantiate makefiles. -ac_config_files="$ac_config_files Makefile src/Makefile src/io/Makefile" +ac_config_files="$ac_config_files Makefile src/Makefile src/io/Makefile src/algebra/Makefile" ac_config_files="$ac_config_files src/lib/Makefile:config/var-def.mk:src/lib/Makefile.in:config/setup-dep.mk" @@ -19772,8 +19772,6 @@ ac_config_files="$ac_config_files src/interp/Makefile:config/var-def.mk:src/inte ac_config_files="$ac_config_files src/share/Makefile:config/var-def.mk:src/share/Makefile.in:config/setup-dep.mk" -ac_config_files="$ac_config_files src/algebra/Makefile:config/var-def.mk:src/algebra/Makefile.in:config/setup-dep.mk" - ac_config_files="$ac_config_files src/input/Makefile:config/var-def.mk:src/input/Makefile.in:config/setup-dep.mk" ac_config_files="$ac_config_files src/etc/Makefile:config/var-def.mk:src/etc/Makefile.in:config/setup-dep.mk" @@ -20934,6 +20932,7 @@ do "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; "src/io/Makefile") CONFIG_FILES="$CONFIG_FILES src/io/Makefile" ;; + "src/algebra/Makefile") CONFIG_FILES="$CONFIG_FILES src/algebra/Makefile" ;; "src/lib/Makefile") CONFIG_FILES="$CONFIG_FILES src/lib/Makefile:config/var-def.mk:src/lib/Makefile.in:config/setup-dep.mk" ;; "src/utils/Makefile") CONFIG_FILES="$CONFIG_FILES src/utils/Makefile:config/var-def.mk:src/utils/Makefile.in:config/setup-dep.mk" ;; "src/hyper/Makefile") CONFIG_FILES="$CONFIG_FILES src/hyper/Makefile:config/var-def.mk:src/hyper/Makefile.in:config/setup-dep.mk" ;; @@ -20942,7 +20941,6 @@ do "src/boot/Makefile") CONFIG_FILES="$CONFIG_FILES src/boot/Makefile:config/var-def.mk:src/boot/Makefile.in:config/setup-dep.mk" ;; "src/interp/Makefile") CONFIG_FILES="$CONFIG_FILES src/interp/Makefile:config/var-def.mk:src/interp/Makefile.in:config/setup-dep.mk" ;; "src/share/Makefile") CONFIG_FILES="$CONFIG_FILES src/share/Makefile:config/var-def.mk:src/share/Makefile.in:config/setup-dep.mk" ;; - "src/algebra/Makefile") CONFIG_FILES="$CONFIG_FILES src/algebra/Makefile:config/var-def.mk:src/algebra/Makefile.in:config/setup-dep.mk" ;; "src/input/Makefile") CONFIG_FILES="$CONFIG_FILES src/input/Makefile:config/var-def.mk:src/input/Makefile.in:config/setup-dep.mk" ;; "src/etc/Makefile") CONFIG_FILES="$CONFIG_FILES src/etc/Makefile:config/var-def.mk:src/etc/Makefile.in:config/setup-dep.mk" ;; "src/doc/Makefile") CONFIG_FILES="$CONFIG_FILES src/doc/Makefile:config/var-def.mk:src/doc/Makefile.in:config/setup-dep.mk" ;; @@ -22506,7 +22504,7 @@ egrep '<<(category|domain|package) .*>>=' \ while IFS=':' read spad_file chunk_desc; do chunk_desc=`echo $chunk_desc | sed -e 's,<<,,' -e 's,>>=,,'` set $chunk_desc; spad_abbrev=$2 - cat >> src/algebra/tmp-extract-spad.mk <> src/algebra/tmp-extract.mk <>=' \ while IFS=':' read spad_file chunk_desc; do chunk_desc=`echo $chunk_desc | sed -e 's,<<,,' -e 's,>>=,,'` set $chunk_desc; spad_abbrev=$2 - cat >> src/algebra/tmp-extract-spad.mk <> src/algebra/tmp-extract.mk < + + * algebra/Makefile.am: New. + * algebra/Makefile.in: Generate content from Makefile.am. + 2013-04-03 Gabriel Dos Reis * include/Input.H: New. diff --git a/src/Makefile.am b/src/Makefile.am index 86112b90..afdf5055 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -130,7 +130,7 @@ all-axiomsys: all-asq cd interp && $(MAKE) $(AM_MAKEFLAGS) all-axiomsys all-algebra: all-driver all-interpsys all-share all-hyper-pre - cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@ + cd algebra && $(MAKE) -f Makefile -f extract.mk $(AM_MAKEFLAGS) $@ .PHONY: all-algstrap all-algstrap: all-driver all-interpsys diff --git a/src/Makefile.in b/src/Makefile.in index 5a399c07..ebd3be27 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -774,7 +774,7 @@ all-axiomsys: all-asq cd interp && $(MAKE) $(AM_MAKEFLAGS) all-axiomsys all-algebra: all-driver all-interpsys all-share all-hyper-pre - cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@ + cd algebra && $(MAKE) -f Makefile -f extract.mk $(AM_MAKEFLAGS) $@ .PHONY: all-algstrap all-algstrap: all-driver all-interpsys diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am new file mode 100644 index 00000000..d1b5cbae --- /dev/null +++ b/src/algebra/Makefile.am @@ -0,0 +1,2510 @@ +# Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. +# All rights reserved. +# Copyright (C) 2007-2013, Gabriel Dos Reis. +# All rights reserved. +# +# Redistribution and use in source and binary forms, with or without +# modification, are permitted provided that the following conditions are +# met: +# +# - Redistributions of source code must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# +# - Redistributions in binary form must reproduce the above copyright +# notice, this list of conditions and the following disclaimer in +# the documentation and/or other materials provided with the +# distribution. +# +# - Neither the name of The Numerical Algorithms Group Ltd. nor the +# names of its contributors may be used to endorse or promote products +# derived from this software without specific prior written permission. +# +# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS +# IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED +# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A +# PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER +# OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, +# EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR +# PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF +# LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING +# NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS +# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +# + +# * Adding new algebra +# +# This is a complex process by its very nature. Developers and Maintainers +# who undertake the process need to understand quite a lot of detail. The +# ultimate steps to add algebra are tedious but simple. Note that only +# algebra code that gets shipped with the system needs to undergo this +# process. User code can be compiled once the distributed algebra exists +# and does not need either this Makefile or this installation process. +# +# NOTE: If you add new algebra to this file you must also update +# +# \File{exposed.lsp.pamphlet} +# +# otherwise the new algebra won't be loaded by the interpreter when needed. +# +# The first idea that you need to understand is the overall process +# of adding algebra code. Lets assume that you have a brand new spad +# file, called \File{foo.spad} containing a simple domain `BAR'. The +# steps in the process of adding this file are: +# 1. Find out where the algebra code lives in the lattice. +# You do this by +# a. starting a new interpsys session +# b. collecting all the names of the algebra files BAR requires +# c. determining which layer each of the required files resides +# d. determine the highest layer (e.g. 14) that contains +# the required files +# +# 2. insert the documentation into the next layer (e.g. 15) +# +# 3. insert the [[\${OUT}/BAR.$(FASLEXT)]] file into the layer's file list +# +# * Rebuilding the algebra from scratch +# +# Compile order is important. Here we try to define the ordered lattice +# of spad file dependencies. However this is, in reality, a graph rather +# than a lattice. +# + +oa_targetdir = $(top_builddir)/$(target) +oa_target_bindir = $(oa_targetdir)/bin +oa_target_libdir = $(oa_targetdir)/lib +oa_target_docdir = $(oa_targetdir)/doc +oa_target_srcdir = $(oa_targetdir)/src +oa_target_datadir = $(oa_targetdir)/share + +oa_src_srcdir = $(top_srcdir)/src +oa_src_docdir = $(top_srcdir)/doc +oa_src_datadir = $(oa_src_srcdir)/share + +oa_builddir = $(top_builddir)/build-$(build) +oa_build_bindir = $(oa_builddir)/bin +oa_build_texdir = $(oa_builddir)/texmf/tex +oa_build_docdir = $(oa_builddir)/doc + +top_confdir = $(top_srcdir)/config + +OUT=$(oa_targetdir)/algebra +DOC=$(oa_target_docdir)/src/algebra +OUTSRC=$(oa_target_srcdir)/algebra +INPUT=../input + + +STAMP = echo timestamp > + +# Extension of the output file name returned by compile-file +FASLEXT = @axiom_fasl_type@ + +oa_hammer = $(top_builddir)/src/utils/hammer$(EXEEXT) + +# Name of the driver to launch the compiler +DRIVER = ../driver/open-axiom$(EXEEXT) + +INTERPSYS = ../interp/interpsys$(EXEEXT) +BOOTSYS = $(oa_target_bindir)/bootsys$(EXEEXT) + +COMPILE_SPAD = $(DRIVER) --execpath=$(INTERPSYS) \ + --system="$(oa_targetdir)" --initial-db=initdb.$(FASLEXT) \ + --sysdb="$(oa_src_datadir)/algebra/" \ + --strap=strap-2 --optimize=3 \ + --system-algebra --compile $< + +BOOTSTRAP = $(DRIVER) --execpath=$(INTERPSYS) \ + --system="$(oa_targetdir)" --initial-db=initdb.$(FASLEXT) \ + --sysdb="$(oa_src_datadir)/algebra/" \ + --system-algebra --compile + +# Speed up implicit rules matching. +SUFFIXES = .spad .$(FASLEXT) $(EXEEXT) .input .pamphlet .tex .dvi + +# Bootstrap layer 0 dependencies. +# This layer comprises mostly categories, and a limited number of domains. +# Categories are compiled for their exports. Default definitions +# are skipped. Similarly, domains are compiled, mostly as incomplete types. +# They are needed only for their being known as constructors. +# Consequently, the dependencies listed here are at the categories +# inheritance level; not necessarily at the use level. +strap-0/UTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/BASTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/KOERCE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/KONVERT.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/RETRACT.$(FASLEXT): strap-0/KRCFROM.$(FASLEXT) +strap-0/FRETRCT.$(FASLEXT): strap-0/RETRACT.$(FASLEXT) +strap-0/SETCAT.$(FASLEXT): strap-0/BASTYPE.$(FASLEXT) \ + strap-0/KOERCE.$(FASLEXT) +strap-0/FINITE.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/ORDTYPE.$(FASLEXT): strap-0/BASTYPE.$(FASLEXT) +strap-0/ORDSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \ + strap-0/ORDTYPE.$(FASLEXT) +strap-0/ORDFIN.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) \ + strap-0/FINITE.$(FASLEXT) +strap-0/LOGIC.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/BOOLE.$(FASLEXT): strap-0/LOGIC.$(FASLEXT) +strap-0/PROPLOG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \ + strap-0/BOOLE.$(FASLEXT) +strap-0/SEXCAT.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/LLINSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/RLINSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/LINSET.$(FASLEXT): strap-0/LLINSET.$(FASLEXT) \ + strap-0/RLINSET.$(FASLEXT) +strap-0/ABELSG.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/ABELMON.$(FASLEXT): strap-0/ABELSG.$(FASLEXT) +strap-0/CABMON.$(FASLEXT): strap-0/ABELMON.$(FASLEXT) +strap-0/OCAMON.$(FASLEXT): strap-0/OAMON.$(FASLEXT) \ + strap-0/CABMON.$(FASLEXT) +strap-0/SGROUP.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/OAMON.$(FASLEXT): strap-0/OASGP.$(FASLEXT) \ + strap-0/ABELMON.$(FASLEXT) +strap-0/MONOID.$(FASLEXT): strap-0/SGROUP.$(FASLEXT) +strap-0/GROUP.$(FASLEXT): strap-0/MONOID.$(FASLEXT) +strap-0/ABELGRP.$(FASLEXT): strap-0/CABMON.$(FASLEXT) \ + strap-0/LLINSET.$(FASLEXT) +strap-0/OAGROUP.$(FASLEXT): strap-0/OCAMON.$(FASLEXT) \ + strap-0/ABELGRP.$(FASLEXT) +strap-0/RNG.$(FASLEXT): strap-0/ABELGRP.$(FASLEXT) \ + strap-0/SGROUP.$(FASLEXT) +strap-0/LMODULE.$(FASLEXT): strap-0/ABELGRP.$(FASLEXT) \ + strap-0/LLINSET.$(FASLEXT) +strap-0/RMODULE.$(FASLEXT): strap-0/ABELGRP.$(FASLEXT) \ + strap-0/RLINSET.$(FASLEXT) +strap-0/SRING.$(FASLEXT): strap-0/ABELMON.$(FASLEXT) \ + strap-0/MONOID.$(FASLEXT) +strap-0/ORDRING.$(FASLEXT): strap-0/OAGROUP.$(FASLEXT) \ + strap-0/RING.$(FASLEXT) strap-0/MONOID.$(FASLEXT) +strap-0/RING.$(FASLEXT): strap-0/RNG.$(FASLEXT) \ + strap-0/SRING.$(FASLEXT) \ + strap-0/LMODULE.$(FASLEXT) strap-0/KRCFROM.$(FASLEXT) +strap-0/DIOID.$(FASLEXT): strap-0/OAMON.$(FASLEXT) strap-0/SRING.$(FASLEXT) +strap-0/COMRING.$(FASLEXT): strap-0/RING.$(FASLEXT) \ + strap-0/BMODULE.$(FASLEXT) +strap-0/INTDOM.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \ + strap-0/ALGEBRA.$(FASLEXT) strap-0/ENTIRER.$(FASLEXT) +strap-0/GCDDOM.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) +strap-0/BMODULE.$(FASLEXT): strap-0/LMODULE.$(FASLEXT) \ + strap-0/RMODULE.$(FASLEXT) +strap-0/MODULE.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \ + strap-0/BMODULE.$(FASLEXT) strap-0/LINSET.$(FASLEXT) +strap-0/ENTIRER.$(FASLEXT): strap-0/RING.$(FASLEXT) \ + strap-0/BMODULE.$(FASLEXT) + +strap-0/ALGEBRA.$(FASLEXT): strap-0/RING.$(FASLEXT) \ + strap-0/MODULE.$(FASLEXT) strap-0/KOERCE.$(FASLEXT) + +strap-0/EUCDOM.$(FASLEXT): strap-0/PID.$(FASLEXT) +strap-0/PID.$(FASLEXT): strap-0/GCDDOM.$(FASLEXT) +strap-0/OINTDOM.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) \ + strap-0/ORDRING.$(FASLEXT) +strap-0/FIELD.$(FASLEXT): strap-0/EUCDOM.$(FASLEXT) \ + strap-0/UFD.$(FASLEXT) strap-0/DIVRING.$(FASLEXT) + +strap-0/DIFFSPC.$(FASLEXT): strap-0/DIFFDOM.$(FASLEXT) +strap-0/DIFFDOM.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/DIFRING.$(FASLEXT): strap-0/RING.$(FASLEXT) \ + strap-0/DIFFSPC.$(FASLEXT) +strap-0/LINEXP.$(FASLEXT): strap-0/LMODULE.$(FASLEXT) +strap-0/CFCAT.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/REAL.$(FASLEXT): strap-0/KONVERT.$(FASLEXT) +strap-0/CHARZ.$(FASLEXT): strap-0/RING.$(FASLEXT) +strap-0/STEP.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/PATMAB.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) +strap-0/UFD.$(FASLEXT): strap-0/GCDDOM.$(FASLEXT) + +strap-0/PDSPC.$(FASLEXT): strap-0/PDDOM.$(FASLEXT) + +strap-0/DSEXT.$(FASLEXT): strap-0/DIFFSPC.$(FASLEXT) \ + strap-0/PDSPC.$(FASLEXT) + +strap-0/DIFEXT.$(FASLEXT): strap-0/DSEXT.$(FASLEXT) \ + strap-0/DIFRING.$(FASLEXT) strap-0/PDRING.$(FASLEXT) + +strap-0/PFECAT.$(FASLEXT): strap-0/UFD.$(FASLEXT) strap-0/CHARZ.$(FASLEXT) + +strap-0/QFCAT.$(FASLEXT): strap-0/FIELD.$(FASLEXT) \ + strap-0/ALGEBRA.$(FASLEXT) strap-0/RETRACT.$(FASLEXT) \ + strap-0/FEVALAB.$(FASLEXT) strap-0/DIFEXT.$(FASLEXT) \ + strap-0/FLINEXP.$(FASLEXT) strap-0/PATAB.$(FASLEXT) \ + strap-0/FPATMAB.$(FASLEXT) strap-0/ORDSET.$(FASLEXT) \ + strap-0/OINTDOM.$(FASLEXT) strap-0/REAL.$(FASLEXT) \ + strap-0/KONVERT.$(FASLEXT) strap-0/CHARZ.$(FASLEXT) \ + strap-0/CHARNZ.$(FASLEXT) strap-0/EUCDOM.$(FASLEXT) \ + strap-0/PFECAT.$(FASLEXT) + +strap-0/INS.$(FASLEXT): strap-0/UFD.$(FASLEXT) strap-0/EUCDOM.$(FASLEXT) \ + strap-0/OINTDOM.$(FASLEXT) strap-0/DIFRING.$(FASLEXT) \ + strap-0/KONVERT.$(FASLEXT) strap-0/RETRACT.$(FASLEXT) \ + strap-0/LINEXP.$(FASLEXT) strap-0/CFCAT.$(FASLEXT) \ + strap-0/REAL.$(FASLEXT) strap-0/CHARZ.$(FASLEXT) \ + strap-0/STEP.$(FASLEXT) strap-0/PATMAB.$(FASLEXT) + +strap-0/FPS.$(FASLEXT): strap-0/RNS.$(FASLEXT) + +strap-0/RNS.$(FASLEXT): strap-0/FIELD.$(FASLEXT) strap-0/ORDRING.$(FASLEXT) \ + strap-0/RETRACT.$(FASLEXT) strap-0/RADCAT.$(FASLEXT) \ + strap-0/KONVERT.$(FASLEXT) strap-0/PATMAB.$(FASLEXT) \ + strap-0/CHARZ.$(FASLEXT) + +strap-0/TRANFUN.$(FASLEXT): strap-0/TRIGCAT.$(FASLEXT) \ + strap-0/ATRIG.$(FASLEXT) strap-0/HYPCAT.$(FASLEXT) \ + strap-0/AHYP.$(FASLEXT) strap-0/ELEMFUN.$(FASLEXT) + +strap-0/TRIGCAT.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/ATRIG.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/HYPCAT.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/AHYP.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/ELEMFUN.$(FASLEXT): strap-0/TYPE.$(FASLEXT) + +strap-0/SEGCAT.$(FASLEXT): strap-0/KVTFROM.$(FASLEXT) +strap-0/SEGXCAT.$(FASLEXT): strap-0/SEGCAT.$(FASLEXT) + +strap-0/VECTCAT.$(FASLEXT): strap-0/A1AGG.$(FASLEXT) \ + strap-0/ABELMON.$(FASLEXT) strap-0/RING.$(FASLEXT) \ + strap-0/MONOID.$(FASLEXT) strap-0/ABELGRP.$(FASLEXT) + +strap-0/ARR2CAT.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) + +strap-0/MATCAT.$(FASLEXT): strap-0/ARR2CAT.$(FASLEXT) \ + strap-0/EUCDOM.$(FASLEXT) strap-0/INTDOM.$(FASLEXT) \ + strap-0/FIELD.$(FASLEXT) + +strap-0/IDPC.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) + +strap-0/AMR.$(FASLEXT): strap-0/RING.$(FASLEXT) strap-0/BMODULE.$(FASLEXT) \ + strap-0/ALGEBRA.$(FASLEXT) strap-0/FIELD.$(FASLEXT) \ + strap-0/CHARZ.$(FASLEXT) strap-0/CHARNZ.$(FASLEXT) + +strap-0/FAMR.$(FASLEXT): strap-0/AMR.$(FASLEXT) \ + strap-0/FRETRCT.$(FASLEXT) + +strap-0/POLYCAT.$(FASLEXT): strap-0/PDRING.$(FASLEXT) \ + strap-0/FAMR.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) \ + strap-0/RETRACT.$(FASLEXT) strap-0/FLINEXP.$(FASLEXT) + +strap-0/PDRING.$(FASLEXT): strap-0/RING.$(FASLEXT) \ + strap-0/PDSPC.$(FASLEXT) + +strap-0/UPOLYC.$(FASLEXT): strap-0/POLYCAT.$(FASLEXT) \ + strap-0/ELTAB.$(FASLEXT) strap-0/DIFRING.$(FASLEXT) \ + strap-0/DIFEXT.$(FASLEXT) strap-0/STEP.$(FASLEXT) \ + strap-0/COMRING.$(FASLEXT) strap-0/INTDOM.$(FASLEXT) \ + strap-0/FIELD.$(FASLEXT) strap-0/ALGEBRA.$(FASLEXT) + +strap-0/TBAGG.$(FASLEXT): strap-0/KDAGG.$(FASLEXT) +strap-0/KDAGG.$(FASLEXT): strap-0/DIAGG.$(FASLEXT) +strap-0/DIAGG.$(FASLEXT): strap-0/DIOPS.$(FASLEXT) +strap-0/DIOPS.$(FASLEXT): strap-0/BGAGG.$(FASLEXT) +strap-0/BGAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) +strap-0/LSAGG.$(FASLEXT): strap-0/STAGG.$(FASLEXT) \ + strap-0/FLAGG.$(FASLEXT) strap-0/ELAGG.$(FASLEXT) +strap-0/STAGG.$(FASLEXT): strap-0/URAGG.$(FASLEXT) +strap-0/URAGG.$(FASLEXT): strap-0/RCAGG.$(FASLEXT) +strap-0/RCAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) +strap-0/ELAGG.$(FASLEXT): strap-0/LNAGG.$(FASLEXT) +strap-0/SRAGG.$(FASLEXT): strap-0/A1AGG.$(FASLEXT) +strap-0/A1AGG.$(FASLEXT): strap-0/FLAGG.$(FASLEXT) +strap-0/FLAGG.$(FASLEXT): strap-0/LNAGG.$(FASLEXT) +strap-0/LNAGG.$(FASLEXT): strap-0/IXAGG.$(FASLEXT) \ + strap-0/CLAGG.$(FASLEXT) strap-0/ETLAB.$(FASLEXT) +strap-0/IXAGG.$(FASLEXT): strap-0/HOAGG.$(FASLEXT) \ + strap-0/ELTAGG.$(FASLEXT) +strap-0/HOAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) \ + strap-0/KOERCE.$(FASLEXT) strap-0/BASTYPE.$(FASLEXT) \ + strap-0/SETCAT.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) +strap-0/AGG.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/ELTAGG.$(FASLEXT): strap-0/AGG.$(FASLEXT) strap-0/ELTAB.$(FASLEXT) +strap-0/ETLAB.$(FASLEXT): strap-0/TYPE.$(FASLEXT) + +strap-0/EVALAB.$(FASLEXT): strap-0/IEVALAB.$(FASLEXT) +strap-0/IEVALAB.$(FASLEXT): strap-0/TYPE.$(FASLEXT) + +strap-0/SEXCAT.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \ + strap-0/KVTFROM.$(FASLEXT) strap-0/ELTAB.$(FASLEXT) + +strap-0/BOOLEAN.$(FASLEXT): strap-0/PROPLOG.$(FASLEXT) \ + strap-0/ORDFIN.$(FASLEXT) strap-0/KONVERT.$(FASLEXT) + +strap-0/SINT.$(FASLEXT): strap-0/INS.$(FASLEXT) strap-0/ORDFIN.$(FASLEXT) \ + strap-0/BOOLE.$(FASLEXT) strap-0/INT.$(FASLEXT) + +strap-0/INT.$(FASLEXT): strap-0/INS.$(FASLEXT) +strap-0/NNI.$(FASLEXT): strap-0/OAMONS.$(FASLEXT) \ + strap-0/MONOID.$(FASLEXT) strap-0/INT.$(FASLEXT) +strap-0/PI.$(FASLEXT): strap-0/OASGP.$(FASLEXT) \ + strap-0/MONOID.$(FASLEXT) strap-0/NNI.$(FASLEXT) + +strap-0/STRING.$(FASLEXT): strap-0/SRAGG.$(FASLEXT) + +strap-0/LIST.$(FASLEXT): strap-0/LSAGG.$(FASLEXT) + +strap-0/VECTOR.$(FASLEXT): strap-0/VECTCAT.$(FASLEXT) + +strap-0/OUTFORM.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) + +strap-0/INFORM.$(FASLEXT): strap-0/SEXCAT.$(FASLEXT) \ + strap-0/KONVERT.$(FASLEXT) + +strap-0/OVERSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) + +strap-0/CTORKIND.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) + +strap-0/MAYBE.$(FASLEXT): strap-0/UTYPE.$(FASLEXT) \ + strap-0/RETRACT.$(FASLEXT) strap-0/KOERCE.$(FASLEXT) + +strap-0/DFLOAT.$(FASLEXT): strap-0/FPS.$(FASLEXT) \ + strap-0/DIFRING.$(FASLEXT) strap-0/TRANFUN.$(FASLEXT) \ + strap-0/KONVERT.$(FASLEXT) + +strap-0/FLOAT.$(FASLEXT): strap-0/FPS.$(FASLEXT) \ + strap-0/DIFRING.$(FASLEXT) strap-0/TRANFUN.$(FASLEXT) \ + strap-0/KONVERT.$(FASLEXT) strap-0/KVTFROM.$(FASLEXT) + +strap-0/FRAC.$(FASLEXT): strap-0/QFCAT.$(FASLEXT) + +strap-0/MATRIX.$(FASLEXT): strap-0/MATCAT.$(FASLEXT) + +strap-0/SUP.$(FASLEXT): strap-0/UPOLYC.$(FASLEXT) strap-0/PR.$(FASLEXT) + +strap-0/TABLE.$(FASLEXT): strap-0/TBAGG.$(FASLEXT) + +strap-0/EQ.$(FASLEXT): strap-0/TYPE.$(FASLEXT) \ + strap-0/IEVALAB.$(FASLEXT) strap-0/KOERCE.$(FASLEXT) \ + strap-0/BOOLEAN.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) \ + strap-0/ABELSG.$(FASLEXT) strap-0/ABELGRP.$(FASLEXT) \ + strap-0/MONOID.$(FASLEXT) strap-0/GROUP.$(FASLEXT) \ + strap-0/RING.$(FASLEXT) strap-0/BMODULE.$(FASLEXT) \ + strap-0/COMRING.$(FASLEXT) strap-0/MODULE.$(FASLEXT) \ + strap-0/INTDOM.$(FASLEXT) strap-0/PDRING.$(FASLEXT) \ + strap-0/FIELD.$(FASLEXT) strap-0/VSPACE.$(FASLEXT) \ + strap-0/ES.$(FASLEXT) + +strap-0/UNISEG.$(FASLEXT): strap-0/SEGCAT.$(FASLEXT) \ + strap-0/SETCAT.$(FASLEXT) strap-0/SEGXCAT.$(FASLEXT) \ + strap-0/ORDRING.$(FASLEXT) + +strap-0/SYNTAX.$(FASLEXT): strap-0/UTYPE.$(FASLEXT) \ + strap-0/SETCAT.$(FASLEXT) strap-0/RETRACT.$(FASLEXT) \ + strap-0/INT.$(FASLEXT) strap-0/DFLOAT.$(FASLEXT) \ + strap-0/IDENT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \ + strap-0/KOERCE.$(FASLEXT) strap-0/INFORM.$(FASLEXT) + +strap-0/FR.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) \ + strap-0/DIFEXT.$(FASLEXT) strap-0/FEVALAB.$(FASLEXT) \ + strap-0/ALGEBRA.$(FASLEXT) strap-0/FRETRCT.$(FASLEXT) + +strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \ + strap-0/RETRACT.$(FASLEXT) + +# Bootstrap stage 1 dependencies. +# At this stage, we attempt to compile domains essential for completing +# the bootstrap process (stage 2). Those that were compiled at stage 0 +# were (necessarily) incomplete. + +strap-1/BASTYPE.$(FASLEXT): strap-1/TYPE.$(FASLEXT) \ + strap-0/BOOLEAN.$(FASLEXT) + +strap-1/SETCAT.$(FASLEXT): strap-1/BASTYPE.$(FASLEXT) \ + strap-0/SINT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \ + strap-0/OUTFORM.$(FASLEXT) + +strap-1/LOGIC.$(FASLEXT): strap-1/TYPE.$(FASLEXT) + +strap-1/BOOLE.$(FASLEXT): strap-1/LOGIC.$(FASLEXT) + +strap-1/PROPLOG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-1/BOOLE.$(FASLEXT) + +strap-1/ORDTYPE.$(FASLEXT): strap-1/BASTYPE.$(FASLEXT) + +strap-1/ORDSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-1/ORDTYPE.$(FASLEXT) + +strap-1/FINITE.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) + +strap-1/ORDFIN.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ + strap-1/FINITE.$(FASLEXT) + +strap-1/PID.$(FASLEXT): strap-1/GCDDOM.$(FASLEXT) \ + strap-0/MAYBE.$(FASLEXT) + +strap-1/EUCDOM.$(FASLEXT): strap-1/PID.$(FASLEXT) \ + strap-0/BOOLEAN.$(FASLEXT) + +strap-1/UFD.$(FASLEXT): strap-1/GCDDOM.$(FASLEXT) \ + strap-1/BOOLEAN.$(FASLEXT) strap-0/FR.$(FASLEXT) + +strap-1/LLINSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) + +strap-1/RLINSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) + +strap-1/LINSET.$(FASLEXT): strap-1/LLINSET.$(FASLEXT) \ + strap-1/RLINSET.$(FASLEXT) + +strap-1/SGROUP.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) + +strap-1/ABELSG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) + +strap-1/MONOID.$(FASLEXT): strap-1/SGROUP.$(FASLEXT) + +strap-1/ABELMON.$(FASLEXT): strap-1/ABELSG.$(FASLEXT) + +strap-1/CABMON.$(FASLEXT): strap-1/ABELMON.$(FASLEXT) + +strap-1/OCAMON.$(FASLEXT): strap-1/OAMON.$(FASLEXT) \ + strap-1/CABMON.$(FASLEXT) + +strap-1/OAMON.$(FASLEXT): strap-1/OASGP.$(FASLEXT) \ + strap-1/ABELMON.$(FASLEXT) + +strap-1/OAMONS.$(FASLEXT): strap-1/OCAMON.$(FASLEXT) + +strap-1/ABELGRP.$(FASLEXT): strap-1/CABMON.$(FASLEXT) \ + strap-1/LLINSET.$(FASLEXT) + +strap-1/OAGROUP.$(FASLEXT): strap-1/OCAMON.$(FASLEXT) \ + strap-1/ABELGRP.$(FASLEXT) + +strap-1/RNG.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) \ + strap-1/SGROUP.$(FASLEXT) + +strap-1/LMODULE.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) \ + strap-1/LLINSET.$(FASLEXT) + +strap-1/RMODULE.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) \ + strap-1/RLINSET.$(FASLEXT) + +strap-1/BMODULE.$(FASLEXT): strap-1/LMODULE.$(FASLEXT) \ + strap-1/RMODULE.$(FASLEXT) + +strap-1/SRING.$(FASLEXT): strap-1/ABELMON.$(FASLEXT) \ + strap-1/MONOID.$(FASLEXT) + +strap-1/RING.$(FASLEXT): strap-1/RNG.$(FASLEXT) \ + strap-1/SRING.$(FASLEXT) \ + strap-1/LMODULE.$(FASLEXT) strap-1/KRCFROM.$(FASLEXT) + +strap-1/DIOID.$(FASLEXT): strap-1/OAMON.$(FASLEXT) strap-1/SRING.$(FASLEXT) + +strap-1/SRING.$(FASLEXT): strap-1/ABELMON.$(FASLEXT) \ + strap-1/MONOID.$(FASLEXT) + +strap-1/ORDRING.$(FASLEXT): strap-1/OAGROUP.$(FASLEXT) \ + strap-1/RING.$(FASLEXT) strap-1/MONOID.$(FASLEXT) + +strap-1/COMRING.$(FASLEXT): strap-1/RING.$(FASLEXT) \ + strap-1/BMODULE.$(FASLEXT) + +strap-1/ALGEBRA.$(FASLEXT): strap-1/RING.$(FASLEXT) \ + strap-1/MODULE.$(FASLEXT) strap-1/KOERCE.$(FASLEXT) + +strap-1/MODULE.$(FASLEXT): strap-1/COMRING.$(FASLEXT) \ + strap-1/BMODULE.$(FASLEXT) strap-1/LINSET.$(FASLEXT) + +strap-1/INTDOM.$(FASLEXT): strap-1/COMRING.$(FASLEXT) \ + strap-1/ALGEBRA.$(FASLEXT) strap-1/ENTIRER.$(FASLEXT) \ + strap-0/FIELD.$(FASLEXT) + +strap-1/ORDRING.$(FASLEXT): strap-1/OAGROUP.$(FASLEXT) \ + strap-1/RING.$(FASLEXT) strap-1/MONOID.$(FASLEXT) + +strap-1/OINTDOM.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) \ + strap-1/ORDRING.$(FASLEXT) + +strap-1/FIELD.$(FASLEXT): strap-1/EUCDOM.$(FASLEXT) \ + strap-1/UFD.$(FASLEXT) strap-1/DIVRING.$(FASLEXT) + +strap-1/FPC.$(FASLEXT): strap-1/FIELD.$(FASLEXT) strap-1/CHARNZ.$(FASLEXT) + +strap-1/FFIELDC.$(FASLEXT): strap-1/FPC.$(FASLEXT) strap-1/FINITE.$(FASLEXT) \ + strap-1/STEP.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \ + strap-0/TABLE.$(FASLEXT) + +strap-1/DIVRING.$(FASLEXT): strap-1/ENTIRER.$(FASLEXT) \ + strap-1/ALGEBRA.$(FASLEXT) strap-0/FRAC.$(FASLEXT) + +strap-1/REAL.$(FASLEXT): strap-1/KONVERT.$(FASLEXT) \ + strap-0/DFLOAT.$(FASLEXT) strap-0/FLOAT.$(FASLEXT) + +strap-1/INS.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \ + strap-1/OINTDOM.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \ + strap-1/KONVERT.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \ + strap-1/LINEXP.$(FASLEXT) strap-1/CFCAT.$(FASLEXT) \ + strap-1/REAL.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \ + strap-1/STEP.$(FASLEXT) strap-1/PATMAB.$(FASLEXT) \ + strap-0/PATTERN.$(FASLEXT) + +strap-1/FPS.$(FASLEXT): strap-1/RNS.$(FASLEXT) + +strap-1/RNS.$(FASLEXT): strap-1/FIELD.$(FASLEXT) strap-1/ORDRING.$(FASLEXT) \ + strap-1/RETRACT.$(FASLEXT) strap-1/RADCAT.$(FASLEXT) \ + strap-1/KONVERT.$(FASLEXT) strap-1/PATMAB.$(FASLEXT) \ + strap-1/CHARZ.$(FASLEXT) + +strap-1/DSEXT.$(FASLEXT): strap-1/DIFFSPC.$(FASLEXT) \ + strap-1/PDSPC.$(FASLEXT) + +strap-1/DIFEXT.$(FASLEXT): strap-1/DSEXT.$(FASLEXT) \ + strap-1/DIFRING.$(FASLEXT) strap-1/PDRING.$(FASLEXT) + +strap-1/DIFRING.$(FASLEXT): strap-1/RING.$(FASLEXT) \ + strap-1/DIFFSPC.$(FASLEXT) + +strap-1/DIFFSPC.$(FASLEXT): strap-1/DIFFDOM.$(FASLEXT) + +strap-1/PDRING.$(FASLEXT): strap-1/PDSPC.$(FASLEXT) + +strap-1/PDSPC.$(FASLEXT): strap-1/PDDOM.$(FASLEXT) + +strap-1/PDDOM.$(FASLEXT): strap-1/TYPE.$(FASLEXT) + +strap-1/TRANFUN.$(FASLEXT): strap-1/TRIGCAT.$(FASLEXT) \ + strap-1/ATRIG.$(FASLEXT) strap-1/HYPCAT.$(FASLEXT) \ + strap-1/AHYP.$(FASLEXT) strap-1/ELEMFUN.$(FASLEXT) + +strap-1/TRIGCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) +strap-1/ATRIG.$(FASLEXT): strap-1/TYPE.$(FASLEXT) +strap-1/HYPCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) +strap-1/AHYP.$(FASLEXT): strap-1/TYPE.$(FASLEXT) +strap-1/ELEMFUN.$(FASLEXT): strap-1/TYPE.$(FASLEXT) + +strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) + +strap-1/AMR.$(FASLEXT): strap-1/RING.$(FASLEXT) strap-1/BMODULE.$(FASLEXT) \ + strap-1/ALGEBRA.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \ + strap-1/CHARZ.$(FASLEXT) strap-1/CHARNZ.$(FASLEXT) + +strap-1/FAMR.$(FASLEXT): strap-1/AMR.$(FASLEXT) \ + strap-1/FRETRCT.$(FASLEXT) + +strap-1/POLYCAT.$(FASLEXT): strap-1/PDRING.$(FASLEXT) \ + strap-1/FAMR.$(FASLEXT) strap-1/EVALAB.$(FASLEXT) \ + strap-1/RETRACT.$(FASLEXT) strap-1/FLINEXP.$(FASLEXT) \ + strap-1/VECTOR.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) \ + strap-0/LIST.$(FASLEXT) strap-0/SUP.$(FASLEXT) \ + strap-0/INFORM.$(FASLEXT) + +strap-1/UPOLYC.$(FASLEXT): strap-1/POLYCAT.$(FASLEXT) \ + strap-1/ELTAB.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \ + strap-1/DIFEXT.$(FASLEXT) strap-1/STEP.$(FASLEXT) \ + strap-1/COMRING.$(FASLEXT) strap-1/INTDOM.$(FASLEXT) \ + strap-1/FIELD.$(FASLEXT) strap-1/ALGEBRA.$(FASLEXT) \ + strap-1/SAOS.$(FASLEXT) + +strap-1/PFECAT.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) + +strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \ + strap-1/ALGEBRA.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \ + strap-1/FEVALAB.$(FASLEXT) strap-1/DIFEXT.$(FASLEXT) \ + strap-1/FLINEXP.$(FASLEXT) strap-1/PATAB.$(FASLEXT) \ + strap-1/FPATMAB.$(FASLEXT) strap-1/ORDSET.$(FASLEXT) \ + strap-1/OINTDOM.$(FASLEXT) strap-1/REAL.$(FASLEXT) \ + strap-1/KONVERT.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \ + strap-1/CHARNZ.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \ + strap-1/PFECAT.$(FASLEXT) + +strap-1/OPERCAT.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-0/OUTFORM.$(FASLEXT) strap-0/BOOLEAN.$(FASLEXT) + +strap-1/ARR2CAT.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) + +strap-1/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ + strap-1/BOOLE.$(FASLEXT) strap-1/LOGIC.$(FASLEXT) \ + strap-1/A1AGG.$(FASLEXT) + +strap-1/FSAGG.$(FASLEXT): strap-1/KDAGG.$(FASLEXT) \ + strap-1/SETAGG.$(FASLEXT) + +strap-1/LSAGG.$(FASLEXT): strap-1/STAGG.$(FASLEXT) \ + strap-1/FLAGG.$(FASLEXT) strap-1/ELAGG.$(FASLEXT) + +strap-1/STAGG.$(FASLEXT): strap-1/URAGG.$(FASLEXT) + +strap-1/URAGG.$(FASLEXT): strap-1/RCAGG.$(FASLEXT) \ + strap-0/PI.$(FASLEXT) + +strap-1/RCAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) + +strap-1/ELAGG.$(FASLEXT): strap-1/LNAGG.$(FASLEXT) + +strap-1/SRAGG.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) + +strap-1/A1AGG.$(FASLEXT): strap-1/FLAGG.$(FASLEXT) + +strap-1/FLAGG.$(FASLEXT): strap-1/LNAGG.$(FASLEXT) + +strap-1/LNAGG.$(FASLEXT): strap-1/IXAGG.$(FASLEXT) \ + strap-1/CLAGG.$(FASLEXT) strap-1/ETLAB.$(FASLEXT) \ + strap-0/UNISEG.$(FASLEXT) + +strap-1/IXAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) \ + strap-1/ELTAGG.$(FASLEXT) + +strap-1/HOAGG.$(FASLEXT): strap-1/AGG.$(FASLEXT) \ + strap-1/KOERCE.$(FASLEXT) strap-1/BASTYPE.$(FASLEXT) \ + strap-1/SETCAT.$(FASLEXT) strap-1/EVALAB.$(FASLEXT) \ + strap-0/EQ.$(FASLEXT) + +strap-1/SETAGG.$(FASLEXT): strap-1/CLAGG.$(FASLEXT) strap-1/SETCAT.$(FASLEXT) + +strap-1/AGG.$(FASLEXT): strap-1/TYPE.$(FASLEXT) + +strap-1/ELTAGG.$(FASLEXT): strap-1/AGG.$(FASLEXT) strap-1/ELTAB.$(FASLEXT) + +strap-1/ETLAB.$(FASLEXT): strap-1/TYPE.$(FASLEXT) + +strap-1/EVALAB.$(FASLEXT): strap-1/IEVALAB.$(FASLEXT) + +strap-1/IEVALAB.$(FASLEXT): strap-1/TYPE.$(FASLEXT) + +strap-1/SEXCAT.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-1/KVTFROM.$(FASLEXT) strap-1/ELTAB.$(FASLEXT) + +strap-1/CTORCAT.$(FASLEXT): strap-1/OPERCAT.$(FASLEXT) \ + strap-0/CTORKIND.$(FASLEXT) strap-0/LIST.$(FASLEXT) \ + strap-0/OVERSET.$(FASLEXT) strap-1/ARITY.$(FASLEXT) + +strap-1/MATCAT.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \ + strap-1/INTDOM.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \ + strap-1/EUCDOM.$(FASLEXT) + +strap-1/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \ + strap-1/ABELSG.$(FASLEXT) strap-1/ABELMON.$(FASLEXT) \ + strap-1/ABELGRP.$(FASLEXT) strap-1/MONOID.$(FASLEXT) \ + strap-1/RING.$(FASLEXT) strap-1/RADCAT.$(FASLEXT) + +strap-1/ARITY.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-1/RETRACT.$(FASLEXT) strap-0/NNI.$(FASLEXT) \ + strap-0/BOOLEAN.$(FASLEXT) strap-0/SINT.$(FASLEXT) \ + strap-0/OUTFORM.$(FASLEXT) + +strap-1/CTORCALL.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-1/CTORCAT.$(FASLEXT) strap-0/LIST.$(FASLEXT) \ + strap-0/SYNTAX.$(FASLEXT) + +strap-1/OUTFORM.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-0/VOID.$(FASLEXT) strap-0/STRING.$(FASLEXT) \ + strap-0/NNI.$(FASLEXT) strap-0/BOOLEAN.$(FASLEXT) \ + strap-0/NUMFMT.$(FASLEXT) strap-0/IDENT.$(FASLEXT) \ + strap-0/LIST.$(FASLEXT) strap-0/CHAR.$(FASLEXT) + +strap-1/BOOLEAN.$(FASLEXT): strap-1/PROPLOG.$(FASLEXT) \ + strap-1/ORDFIN.$(FASLEXT) strap-1/KONVERT.$(FASLEXT) \ + strap-0/PI.$(FASLEXT) + +strap-1/SINT.$(FASLEXT): strap-1/INS.$(FASLEXT) strap-1/INT.$(FASLEXT) + +strap-1/PI.$(FASLEXT): strap-1/OASGP.$(FASLEXT) \ + strap-1/MONOID.$(FASLEXT) strap-1/NNI.$(FASLEXT) + +strap-1/NNI.$(FASLEXT): strap-1/OAMONS.$(FASLEXT) strap-1/INT.$(FASLEXT) + +strap-1/INT.$(FASLEXT): strap-1/INS.$(FASLEXT) \ + strap-1/SUP.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) \ + strap-1/VECTOR.$(FASLEXT) + +strap-1/MAYBE.$(FASLEXT): strap-1/UTYPE.$(FASLEXT) \ + strap-1/RETRACT.$(FASLEXT) strap-1/KOERCE.$(FASLEXT) \ + strap-0/BOOLEAN.$(FASLEXT) + +strap-1/DFLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \ + strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \ + strap-1/KONVERT.$(FASLEXT) + +strap-1/FLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \ + strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \ + strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT) + +strap-1/SUP.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT) strap-1/PR.$(FASLEXT) \ + strap-1/FPC.$(FASLEXT) strap-1/FFIELDC.$(FASLEXT) + +strap-1/PR.$(FASLEXT): strap-1/FAMR.$(FASLEXT) strap-1/FM.$(FASLEXT) + +strap-1/FM.$(FASLEXT): strap-1/IDPAG.$(FASLEXT) + +strap-1/IDPAG.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) \ + strap-1/IDPAM.$(FASLEXT) + +strap-1/IDPAM.$(FASLEXT): strap-1/ABELMON.$(FASLEXT) \ + strap-1/IDPC.$(FASLEXT) strap-1/IDPO.$(FASLEXT) + +strap-1/IDPO.$(FASLEXT): strap-1/PAIR.$(FASLEXT) + +strap-1/PAIR.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \ + strap-1/SETCAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT) + +strap-1/MATRIX.$(FASLEXT): strap-1/MATCAT.$(FASLEXT) \ + strap-1/IIARRAY2.$(FASLEXT) + +strap-1/IIARRAY2.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \ + strap-1/PRIMARR.$(FASLEXT) strap-1/STRING.$(FASLEXT) + +strap-1/PRIMARR.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) + +strap-1/LIST.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \ + strap-1/SETCAT.$(FASLEXT) strap-1/KONVERT.$(FASLEXT) \ + strap-1/LSAGG.$(FASLEXT) + +strap-1/VECTOR.$(FASLEXT): strap-1/IVECTOR.$(FASLEXT) + +strap-1/IVECTOR.$(FASLEXT): strap-1/VECTCAT.$(FASLEXT) \ + strap-1/IARRAY1.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) + +strap-1/IARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \ + strap-0/PRIMARR.$(FASLEXT) + +strap-1/FRAC.$(FASLEXT): strap-1/QFCAT.$(FASLEXT) + +strap-1/STRING.$(FASLEXT): strap-1/SRAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT) + +strap-1/CHAR.$(FASLEXT): strap-1/ORDFIN.$(FASLEXT) strap-1/CCLASS.$(FASLEXT) + +strap-1/CCLASS.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-1/KOERCE.$(FASLEXT) \ + strap-1/FSAGG.$(FASLEXT) strap-1/KONVERT.$(FASLEXT) \ + strap-1/IBITS.$(FASLEXT) + +strap-1/TABLE.$(FASLEXT): strap-1/TBAGG.$(FASLEXT) + +strap-1/IBITS.$(FASLEXT): strap-1/BTAGG.$(FASLEXT) + +strap-1/CTOR.$(FASLEXT): strap-1/CTORCAT.$(FASLEXT) \ + strap-1/IDENT.$(FASLEXT) strap-1/MAYBE.$(FASLEXT) + +strap-1/CATCTOR.$(FASLEXT): strap-1/CTORCAT.$(FASLEXT) \ + strap-1/KOERCE.$(FASLEXT) strap-1/CTOR.$(FASLEXT) + +strap-1/SAOS.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ + strap-1/KONVERT.$(FASLEXT) strap-0/SYMBOL.$(FASLEXT) + +# Bootstrap stage 2 dependencies. +# At this stage we recompile everything from stage 1, including +# a few more domains. + +strap-2/KOERCE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/KONVERT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) + +strap-2/RETRACT.$(FASLEXT): strap-2/KRCFROM.$(FASLEXT) + +strap-2/BASTYPE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) \ + strap-1/BOOLEAN.$(FASLEXT) + +strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) + +strap-2/SETCAT.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) \ + strap-2/KOERCE.$(FASLEXT) strap-1/SINT.$(FASLEXT) + +strap-2/FINITE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) +strap-2/ORDTYPE.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) +strap-2/ORDSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ + strap-2/ORDTYPE.$(FASLEXT) +strap-2/ORDFIN.$(FASLEXT): strap-2/ORDSET.$(FASLEXT) \ + strap-2/FINITE.$(FASLEXT) + +strap-2/LOGIC.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/BOOLE.$(FASLEXT): strap-2/LOGIC.$(FASLEXT) +strap-2/PROPLOG.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ + strap-2/BOOLE.$(FASLEXT) + +strap-2/LLINSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) +strap-2/RLINSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) +strap-2/LINSET.$(FASLEXT): strap-2/LLINSET.$(FASLEXT) \ + strap-2/RLINSET.$(FASLEXT) + +strap-2/SGROUP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) +strap-2/ABELSG.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ + strap-1/PI.$(FASLEXT) + +strap-2/MONOID.$(FASLEXT): strap-2/SGROUP.$(FASLEXT) +strap-2/ABELMON.$(FASLEXT): strap-2/ABELSG.$(FASLEXT) +strap-2/CABMON.$(FASLEXT): strap-2/ABELMON.$(FASLEXT) +strap-2/OCAMON.$(FASLEXT): strap-2/OAMON.$(FASLEXT) \ + strap-2/CABMON.$(FASLEXT) +strap-2/OAMON.$(FASLEXT): strap-2/OASGP.$(FASLEXT) \ + strap-2/ABELMON.$(FASLEXT) + +strap-2/ABELGRP.$(FASLEXT): strap-2/CABMON.$(FASLEXT) \ + strap-2/LLINSET.$(FASLEXT) + +strap-2/OAGROUP.$(FASLEXT): strap-2/OCAMON.$(FASLEXT) \ + strap-2/ABELGRP.$(FASLEXT) +strap-2/RNG.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \ + strap-2/SGROUP.$(FASLEXT) +strap-2/LMODULE.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \ + strap-2/LLINSET.$(FASLEXT) +strap-2/RMODULE.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \ + strap-2/RLINSET.$(FASLEXT) +strap-2/BMODULE.$(FASLEXT): strap-2/LMODULE.$(FASLEXT) \ + strap-2/RMODULE.$(FASLEXT) + +strap-2/SRING.$(FASLEXT): strap-2/ABELMON.$(FASLEXT) \ + strap-2/MONOID.$(FASLEXT) + +strap-2/RING.$(FASLEXT): strap-2/RNG.$(FASLEXT) \ + strap-2/SRING.$(FASLEXT) \ + strap-2/LMODULE.$(FASLEXT) strap-2/KRCFROM.$(FASLEXT) + +strap-2/SRING.$(FASLEXT): strap-2/ABELMON.$(FASLEXT) \ + strap-2/MONOID.$(FASLEXT) + +strap-2/DIOID.$(FASLEXT): strap-2/OAMON.$(FASLEXT) strap-2/SRING.$(FASLEXT) + +strap-2/ORDRING.$(FASLEXT): strap-2/OAGROUP.$(FASLEXT) \ + strap-2/RING.$(FASLEXT) strap-2/MONOID.$(FASLEXT) + +strap-2/COMRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \ + strap-2/BMODULE.$(FASLEXT) + +strap-2/MODULE.$(FASLEXT): strap-2/COMRING.$(FASLEXT) \ + strap-2/BMODULE.$(FASLEXT) strap-2/LINSET.$(FASLEXT) + +strap-2/INTDOM.$(FASLEXT): strap-2/COMRING.$(FASLEXT) \ + strap-2/ALGEBRA.$(FASLEXT) strap-2/ENTIRER.$(FASLEXT) \ + strap-1/FIELD.$(FASLEXT) + +strap-2/GCDDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) + +strap-2/ENTIRER.$(FASLEXT): strap-2/RING.$(FASLEXT) \ + strap-2/BMODULE.$(FASLEXT) + +strap-2/OINTDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) \ + strap-2/ORDRING.$(FASLEXT) + +strap-2/ALGEBRA.$(FASLEXT): strap-2/RING.$(FASLEXT) \ + strap-2/MODULE.$(FASLEXT) strap-2/KOERCE.$(FASLEXT) + +strap-2/EUCDOM.$(FASLEXT): strap-2/PID.$(FASLEXT) \ + strap-2/BOOLEAN.$(FASLEXT) + + +strap-2/PID.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) \ + strap-2/MAYBE.$(FASLEXT) + +strap-2/OINTDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) \ + strap-2/ORDRING.$(FASLEXT) + +strap-2/DIVRING.$(FASLEXT): strap-2/ENTIRER.$(FASLEXT) \ + strap-2/ALGEBRA.$(FASLEXT) strap-2/FRAC.$(FASLEXT) + +strap-2/FIELD.$(FASLEXT): strap-2/EUCDOM.$(FASLEXT) \ + strap-2/UFD.$(FASLEXT) strap-2/DIVRING.$(FASLEXT) + +strap-2/DIFFDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT) + +strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT) + +strap-2/DIFRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \ + strap-2/DIFFSPC.$(FASLEXT) + +strap-2/DSEXT.$(FASLEXT): strap-2/DIFFSPC.$(FASLEXT) \ + strap-2/PDSPC.$(FASLEXT) + +strap-2/PDDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT) + +strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT) + +strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT) + +strap-2/PDRING.$(FASLEXT): strap-2/PDSPC.$(FASLEXT) + +strap-2/DIFEXT.$(FASLEXT): strap-2/DSEXT.$(FASLEXT) \ + strap-2/DIFRING.$(FASLEXT) strap-2/PDRING.$(FASLEXT) + +strap-2/LINEXP.$(FASLEXT): strap-2/LMODULE.$(FASLEXT) + +strap-2/CFCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) + +strap-2/REAL.$(FASLEXT): strap-2/KONVERT.$(FASLEXT) \ + strap-1/DFLOAT.$(FASLEXT) strap-1/FLOAT.$(FASLEXT) + +strap-2/CHARZ.$(FASLEXT): strap-2/RING.$(FASLEXT) + +strap-2/STEP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) + +strap-2/PATMAB.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) + +strap-2/UFD.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) \ + strap-2/BOOLEAN.$(FASLEXT) + +strap-2/INS.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \ + strap-2/OINTDOM.$(FASLEXT) strap-2/DIFRING.$(FASLEXT) \ + strap-2/KONVERT.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \ + strap-2/LINEXP.$(FASLEXT) strap-2/CFCAT.$(FASLEXT) \ + strap-2/REAL.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) \ + strap-2/STEP.$(FASLEXT) strap-2/PATMAB.$(FASLEXT) + +strap-2/FPS.$(FASLEXT): strap-2/RNS.$(FASLEXT) + +strap-2/RNS.$(FASLEXT): strap-2/FIELD.$(FASLEXT) strap-2/ORDRING.$(FASLEXT) \ + strap-2/RETRACT.$(FASLEXT) strap-2/RADCAT.$(FASLEXT) \ + strap-2/KONVERT.$(FASLEXT) strap-2/PATMAB.$(FASLEXT) \ + strap-2/CHARZ.$(FASLEXT) + +strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) + +strap-2/QFCAT.$(FASLEXT): strap-2/FIELD.$(FASLEXT) \ + strap-2/ALGEBRA.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \ + strap-2/FEVALAB.$(FASLEXT) strap-2/DIFEXT.$(FASLEXT) \ + strap-2/FLINEXP.$(FASLEXT) strap-2/PATAB.$(FASLEXT) \ + strap-2/FPATMAB.$(FASLEXT) strap-2/ORDSET.$(FASLEXT) \ + strap-2/OINTDOM.$(FASLEXT) strap-2/REAL.$(FASLEXT) \ + strap-2/KONVERT.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) \ + strap-2/CHARNZ.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \ + strap-2/PFECAT.$(FASLEXT) + +strap-2/TRANFUN.$(FASLEXT): strap-2/TRIGCAT.$(FASLEXT) \ + strap-2/ATRIG.$(FASLEXT) strap-2/HYPCAT.$(FASLEXT) \ + strap-2/AHYP.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT) + +strap-2/TRIGCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) + + +strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) + +strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \ + strap-2/ALGEBRA.$(FASLEXT) strap-2/FIELD.$(FASLEXT) \ + strap-2/CHARZ.$(FASLEXT) strap-2/CHARNZ.$(FASLEXT) + +strap-2/FAMR.$(FASLEXT): strap-2/AMR.$(FASLEXT) \ + strap-2/FRETRCT.$(FASLEXT) + +strap-2/POLYCAT.$(FASLEXT): strap-2/PDRING.$(FASLEXT) \ + strap-2/FAMR.$(FASLEXT) strap-2/EVALAB.$(FASLEXT) \ + strap-2/RETRACT.$(FASLEXT) strap-2/FLINEXP.$(FASLEXT) \ + strap-2/VECTOR.$(FASLEXT) strap-2/MATRIX.$(FASLEXT) \ + strap-2/LIST.$(FASLEXT) strap-1/SUP.$(FASLEXT) \ + strap-2/INFORM.$(FASLEXT) + +strap-2/UPOLYC.$(FASLEXT): strap-2/POLYCAT.$(FASLEXT) \ + strap-2/ELTAB.$(FASLEXT) strap-2/DIFRING.$(FASLEXT) \ + strap-2/DIFEXT.$(FASLEXT) strap-2/STEP.$(FASLEXT) \ + strap-2/COMRING.$(FASLEXT) strap-2/INTDOM.$(FASLEXT) \ + strap-2/FIELD.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT) + + +strap-2/ARR2CAT.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) +strap-2/FSAGG.$(FASLEXT): strap-2/KDAGG.$(FASLEXT) \ + strap-2/SETAGG.$(FASLEXT) +strap-2/ALAGG.$(FASLEXT): strap-2/TBAGG.$(FASLEXT) strap-2/LSAGG.$(FASLEXT) +strap-2/LSAGG.$(FASLEXT): strap-2/STAGG.$(FASLEXT) \ + strap-2/FLAGG.$(FASLEXT) strap-2/ELAGG.$(FASLEXT) +strap-2/TBAGG.$(FASLEXT): strap-2/KDAGG.$(FASLEXT) +strap-2/KDAGG.$(FASLEXT): strap-2/DIAGG.$(FASLEXT) +strap-2/DIAGG.$(FASLEXT): strap-2/DIOPS.$(FASLEXT) +strap-2/DIOPS.$(FASLEXT): strap-2/BGAGG.$(FASLEXT) strap-2/CLAGG.$(FASLEXT) +strap-2/BGAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) +strap-2/STAGG.$(FASLEXT): strap-2/URAGG.$(FASLEXT) +strap-2/URAGG.$(FASLEXT): strap-2/RCAGG.$(FASLEXT) +strap-2/RCAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) +strap-2/ELAGG.$(FASLEXT): strap-2/LNAGG.$(FASLEXT) +strap-2/SRAGG.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) +strap-2/A1AGG.$(FASLEXT): strap-2/FLAGG.$(FASLEXT) +strap-2/FLAGG.$(FASLEXT): strap-2/LNAGG.$(FASLEXT) +strap-2/LNAGG.$(FASLEXT): strap-2/IXAGG.$(FASLEXT) \ + strap-2/CLAGG.$(FASLEXT) strap-2/ETLAB.$(FASLEXT) +strap-2/IXAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) \ + strap-2/ELTAGG.$(FASLEXT) +strap-2/HOAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) \ + strap-2/KOERCE.$(FASLEXT) strap-2/BASTYPE.$(FASLEXT) \ + strap-2/SETCAT.$(FASLEXT) strap-2/EVALAB.$(FASLEXT) +strap-2/SETAGG.$(FASLEXT): strap-2/CLAGG.$(FASLEXT) strap-2/SETCAT.$(FASLEXT) +strap-2/AGG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/ELTAGG.$(FASLEXT): strap-2/AGG.$(FASLEXT) strap-2/ELTAB.$(FASLEXT) +strap-2/ETLAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT) +strap-2/EVALAB.$(FASLEXT): strap-2/IEVALAB.$(FASLEXT) +strap-2/IEVALAB.$(FASLEXT): strap-2/TYPE.$(FASLEXT) + +strap-2/SEXCAT.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ + strap-2/KVTFROM.$(FASLEXT) strap-2/ELTAB.$(FASLEXT) + +strap-2/MATCAT.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \ + strap-2/FLAGG.$(FASLEXT) + +strap-2/CATEGORY.$(FASLEXT): strap-2/KOERCE.$(FASLEXT) \ + strap-1/OUTFORM.$(FASLEXT) strap-1/LIST.$(FASLEXT) \ + strap-1/CTORCALL.$(FASLEXT) strap-1/CATCTOR.$(FASLEXT) + +strap-2/SINT.$(FASLEXT): strap-2/INS.$(FASLEXT) strap-2/INT.$(FASLEXT) + +strap-2/PI.$(FASLEXT): strap-2/OASGP.$(FASLEXT) \ + strap-2/MONOID.$(FASLEXT) strap-2/NNI.$(FASLEXT) + +strap-2/NNI.$(FASLEXT): strap-2/OAMONS.$(FASLEXT) strap-2/INT.$(FASLEXT) + +strap-2/INT.$(FASLEXT): strap-2/INS.$(FASLEXT) \ + strap-2/SUP.$(FASLEXT) strap-2/MATRIX.$(FASLEXT) \ + strap-2/VECTOR.$(FASLEXT) strap-2/DFLOAT.$(FASLEXT) \ + strap-2/FLOAT.$(FASLEXT) + +strap-2/DFLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \ + strap-2/DIFRING.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT) \ + strap-2/KONVERT.$(FASLEXT) + +strap-2/FLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \ + strap-2/DIFRING.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT) \ + strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT) + +strap-2/SUP.$(FASLEXT): strap-2/UPOLYC.$(FASLEXT) strap-2/PR.$(FASLEXT) \ + strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT) + +strap-2/PR.$(FASLEXT): strap-2/FAMR.$(FASLEXT) strap-2/FM.$(FASLEXT) + +strap-2/FM.$(FASLEXT): strap-2/IDPAG.$(FASLEXT) + +strap-2/IDPAG.$(FASLEXT): strap-2/ABELGRP.$(FASLEXT) \ + strap-2/IDPAM.$(FASLEXT) + +strap-2/IDPAM.$(FASLEXT): strap-2/ABELMON.$(FASLEXT) \ + strap-2/IDPC.$(FASLEXT) strap-2/IDPO.$(FASLEXT) + +strap-2/VECTOR.$(FASLEXT): strap-2/IVECTOR.$(FASLEXT) + +strap-2/IVECTOR.$(FASLEXT): strap-2/VECTCAT.$(FASLEXT) \ + strap-2/IARRAY1.$(FASLEXT) + +strap-2/IARRAY1.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) \ + strap-2/PRIMARR.$(FASLEXT) + +strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT) + +strap-2/PAIR.$(FASLEXT): strap-2/KOERCE.$(FASLEXT) \ + strap-2/SETCAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT) + +strap-2/MATRIX.$(FASLEXT): strap-2/MATCAT.$(FASLEXT) \ + strap-2/IIARRAY2.$(FASLEXT) + +strap-2/IIARRAY2.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \ + strap-2/PRIMARR.$(FASLEXT) strap-1/STRING.$(FASLEXT) + +strap-2/INFORM.$(FASLEXT): strap-2/SEXCAT.$(FASLEXT) \ + strap-2/KONVERT.$(FASLEXT) strap-2/ANY.$(FASLEXT) \ + strap-2/SEX.$(FASLEXT) strap-2/LIST.$(FASLEXT) \ + strap-2/SYMBOL.$(FASLEXT) + +strap-2/LIST.$(FASLEXT): strap-2/LSAGG.$(FASLEXT) + +strap-2/SEX.$(FASLEXT): strap-2/SEXOF.$(FASLEXT) + +strap-2/OUTFORM.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) + +strap-2/SEXOF.$(FASLEXT): strap-2/SEXCAT.$(FASLEXT) + +strap-2/ANY.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ + strap-2/SEX.$(FASLEXT) strap-2/NONE.$(FASLEXT) + +strap-2/NONE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) + +strap-2/SYMBOL.$(FASLEXT): strap-2/ORDSET.$(FASLEXT) \ + strap-2/KONVERT.$(FASLEXT) strap-2/KRCFROM.$(FASLEXT) \ + strap-2/RETRACT.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \ + strap-2/PATMAB.$(FASLEXT) strap-2/VOID.$(FASLEXT) \ + strap-2/BOOLEAN.$(FASLEXT) strap-2/ALIST.$(FASLEXT) \ + strap-2/PRIMARR.$(FASLEXT) strap-2/REF.$(FASLEXT) \ + strap-2/STRING.$(FASLEXT) + +strap-2/ALIST.$(FASLEXT): strap-2/ALAGG.$(FASLEXT) strap-2/REF.$(FASLEXT) + +strap-2/REF.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) + +strap-2/STRING.$(FASLEXT): strap-2/SRAGG.$(FASLEXT) \ + strap-2/CHAR.$(FASLEXT) + +strap-2/FRAC.$(FASLEXT): strap-2/QFCAT.$(FASLEXT) + +strap-2/CHAR.$(FASLEXT): strap-2/ORDFIN.$(FASLEXT) strap-2/CCLASS.$(FASLEXT) + +strap-2/CCLASS.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \ + strap-2/KOERCE.$(FASLEXT) \ + strap-2/FSAGG.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \ + strap-2/IBITS.$(FASLEXT) + +strap-2/TABLE.$(FASLEXT): strap-2/TBAGG.$(FASLEXT) + +strap-2/IBITS.$(FASLEXT): strap-2/BTAGG.$(FASLEXT) + +strap-2/MAYBE.$(FASLEXT): strap-2/UTYPE.$(FASLEXT) \ + strap-2/RETRACT.$(FASLEXT) strap-2/KOERCE.$(FASLEXT) \ + strap-2/BOOLEAN.$(FASLEXT) + +strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \ + strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \ + strap-1/PI.$(FASLEXT) + + +# +# + +.PRECIOUS: strap-0 strap-1 strap-2 +strap-0 strap-1 strap-2: + $(MKDIR_P) $@ + +.PRECIOUS: strap-0/%.$(FASLEXT) +strap-0/%.$(FASLEXT): %.spad | strap-0 + $(BOOTSTRAP) --sysalg=strap-0 --bootstrap $< \ + && cp $*.NRLIB/code.$(FASLEXT) $@ && \ + if test x@oa_keep_files@ = xyes; then \ + cp $*.NRLIB/code.lsp strap-0/$*.lsp; fi && \ + rm -rf $*.NRLIB + +.PRECIOUS: strap-1/%.$(FASLEXT) +strap-1/%.$(FASLEXT): %.spad | strap-1 + $(BOOTSTRAP) --strap=strap-0 --sysalg=strap-1 --optimize=3 $< && \ + cp $*.NRLIB/code.$(FASLEXT) $@ && \ + if test -d $*-.NRLIB; then cp $*-.NRLIB/code.$(FASLEXT) \ + strap-1/$*-.$(FASLEXT); else : ; fi && \ + if test x@oa_keep_files@ = xyes; then \ + cp $*.NRLIB/code.lsp strap-1/$*.lsp; fi && \ + rm -rf $*.NRLIB $*-.NRLIB + +.PRECIOUS: strap-2/%.$(FASLEXT) +strap-2/%.$(FASLEXT): %.spad initdb.$(FASLEXT) | strap-2 + $(BOOTSTRAP) --strap=strap-1 --sysalg=strap-2 --optimize=3 $< && \ + cp $*.NRLIB/code.$(FASLEXT) $@ && \ + if test -d $*-.NRLIB; then cp $*-.NRLIB/code.$(FASLEXT) \ + strap-2/$*-.$(FASLEXT); else : ; fi && \ + if test x@oa_keep_files@ = xyes; then \ + cp $*.NRLIB/code.lsp strap-2/$*.lsp; fi && \ + rm -rf $*.NRLIB $*-.NRLIB + + +SPADFILES= \ + $(OUTSRC)/acplot.spad $(OUTSRC)/aggcat2.spad $(OUTSRC)/aggcat.spad \ + $(OUTSRC)/algcat.spad $(OUTSRC)/algext.spad $(OUTSRC)/algfact.spad \ + $(OUTSRC)/algfunc.spad $(OUTSRC)/allfact.spad $(OUTSRC)/alql.spad \ + $(OUTSRC)/annacat.spad $(OUTSRC)/any.spad $(OUTSRC)/array1.spad \ + $(OUTSRC)/array2.spad $(OUTSRC)/asp.spad $(OUTSRC)/attreg.spad \ + $(OUTSRC)/bags.spad $(OUTSRC)/bezout.spad $(OUTSRC)/boolean.spad \ + $(OUTSRC)/brill.spad $(OUTSRC)/domain.spad \ + $(OUTSRC)/c02.spad $(OUTSRC)/c05.spad $(OUTSRC)/c06.spad \ + $(OUTSRC)/card.spad $(OUTSRC)/carten.spad $(OUTSRC)/catdef.spad \ + $(OUTSRC)/cden.spad $(OUTSRC)/clifford.spad $(OUTSRC)/clip.spad \ + $(OUTSRC)/cmplxrt.spad $(OUTSRC)/coerce.spad $(OUTSRC)/color.spad \ + $(OUTSRC)/combfunc.spad $(OUTSRC)/combinat.spad $(OUTSRC)/complet.spad \ + $(OUTSRC)/constant.spad $(OUTSRC)/contfrac.spad $(OUTSRC)/cont.spad \ + $(OUTSRC)/coordsys.spad $(OUTSRC)/cra.spad $(OUTSRC)/crfp.spad \ + $(OUTSRC)/curve.spad $(OUTSRC)/cycles.spad $(OUTSRC)/cyclotom.spad \ + $(OUTSRC)/d01agents.spad $(OUTSRC)/d01Package.spad \ + $(OUTSRC)/d01routine.spad $(OUTSRC)/d01.spad $(OUTSRC)/d01transform.spad \ + $(OUTSRC)/d01weights.spad $(OUTSRC)/d02agents.spad \ + $(OUTSRC)/d02Package.spad $(OUTSRC)/d02routine.spad $(OUTSRC)/d02.spad \ + $(OUTSRC)/d03agents.spad $(OUTSRC)/d03Package.spad \ + $(OUTSRC)/d03routine.spad $(OUTSRC)/d03.spad $(OUTSRC)/ddfact.spad \ + $(OUTSRC)/defaults.spad $(OUTSRC)/defintef.spad $(OUTSRC)/defintrf.spad \ + $(OUTSRC)/degred.spad $(OUTSRC)/derham.spad $(OUTSRC)/dhmatrix.spad \ + $(OUTSRC)/divisor.spad $(OUTSRC)/dpolcat.spad $(OUTSRC)/drawopt.spad \ + $(OUTSRC)/drawpak.spad $(OUTSRC)/draw.spad \ + $(OUTSRC)/e01.spad $(OUTSRC)/e02.spad $(OUTSRC)/e04agents.spad \ + $(OUTSRC)/e04Package.spad $(OUTSRC)/e04routine.spad $(OUTSRC)/e04.spad \ + $(OUTSRC)/efstruc.spad $(OUTSRC)/efuls.spad $(OUTSRC)/efupxs.spad \ + $(OUTSRC)/eigen.spad $(OUTSRC)/elemntry.spad $(OUTSRC)/elfuts.spad \ + $(OUTSRC)/equation1.spad $(OUTSRC)/equation2.spad $(OUTSRC)/error.spad \ + $(OUTSRC)/expexpan.spad $(OUTSRC)/expr2ups.spad \ + $(OUTSRC)/exprode.spad $(OUTSRC)/expr.spad \ + $(OUTSRC)/f01.spad $(OUTSRC)/f02.spad $(OUTSRC)/f04.spad \ + $(OUTSRC)/f07.spad $(OUTSRC)/facutil.spad $(OUTSRC)/ffcat.spad \ + $(OUTSRC)/ffcg.spad $(OUTSRC)/fff.spad $(OUTSRC)/ffhom.spad \ + $(OUTSRC)/ffnb.spad $(OUTSRC)/ffpoly2.spad $(OUTSRC)/ffpoly.spad \ + $(OUTSRC)/ffp.spad $(OUTSRC)/ffx.spad \ + $(OUTSRC)/files.spad $(OUTSRC)/float.spad $(OUTSRC)/fmod.spad \ + $(OUTSRC)/fname.spad $(OUTSRC)/fnla.spad \ + $(OUTSRC)/fortcat.spad $(OUTSRC)/fortmac.spad $(OUTSRC)/fortpak.spad \ + $(OUTSRC)/fortran.spad $(OUTSRC)/forttyp.spad $(OUTSRC)/fourier.spad \ + $(OUTSRC)/fparfrac.spad $(OUTSRC)/fraction.spad $(OUTSRC)/free.spad \ + $(OUTSRC)/fr.spad $(OUTSRC)/fs2expxp.spad $(OUTSRC)/fs2ups.spad \ + $(OUTSRC)/fspace.spad $(OUTSRC)/funcpkgs.spad $(OUTSRC)/functions.spad \ + $(OUTSRC)/galfact.spad $(OUTSRC)/galfactu.spad $(OUTSRC)/galpolyu.spad \ + $(OUTSRC)/galutil.spad $(OUTSRC)/gaussfac.spad $(OUTSRC)/gaussian.spad \ + $(OUTSRC)/gbeuclid.spad $(OUTSRC)/gbintern.spad $(OUTSRC)/gb.spad \ + $(OUTSRC)/gdirprod.spad $(OUTSRC)/gdpoly.spad $(OUTSRC)/geneez.spad \ + $(OUTSRC)/generic.spad $(OUTSRC)/genufact.spad $(OUTSRC)/genups.spad \ + $(OUTSRC)/ghensel.spad $(OUTSRC)/gpgcd.spad $(OUTSRC)/gpol.spad \ + $(OUTSRC)/grdef.spad $(OUTSRC)/groebf.spad $(OUTSRC)/groebsol.spad \ + $(OUTSRC)/gseries.spad \ + $(OUTSRC)/ideal.spad $(OUTSRC)/idecomp.spad $(OUTSRC)/indexedp.spad \ + $(OUTSRC)/infprod.spad $(OUTSRC)/intaf.spad $(OUTSRC)/intalg.spad \ + $(OUTSRC)/intaux.spad $(OUTSRC)/intclos.spad $(OUTSRC)/intef.spad \ + $(OUTSRC)/integer.spad $(OUTSRC)/integrat.spad \ + $(OUTSRC)/interval.spad \ + $(OUTSRC)/intfact.spad $(OUTSRC)/intpm.spad \ + $(OUTSRC)/intrf.spad \ + $(OUTSRC)/irexpand.spad \ + $(OUTSRC)/irsn.spad $(OUTSRC)/ituple.spad \ + $(OUTSRC)/kl.spad $(OUTSRC)/kovacic.spad \ + $(OUTSRC)/laplace.spad $(OUTSRC)/laurent.spad $(OUTSRC)/leadcdet.spad \ + $(OUTSRC)/lie.spad $(OUTSRC)/limitps.spad $(OUTSRC)/lindep.spad \ + $(OUTSRC)/lingrob.spad $(OUTSRC)/liouv.spad $(OUTSRC)/listgcd.spad \ + $(OUTSRC)/list.spad $(OUTSRC)/lmdict.spad $(OUTSRC)/lodof.spad \ + $(OUTSRC)/lodop.spad $(OUTSRC)/lodo.spad \ + $(OUTSRC)/manip.spad $(OUTSRC)/mappkg.spad $(OUTSRC)/matcat.spad \ + $(OUTSRC)/matfuns.spad $(OUTSRC)/mathml.spad \ + $(OUTSRC)/matrix.spad $(OUTSRC)/matstor.spad \ + $(OUTSRC)/mesh.spad $(OUTSRC)/mfinfact.spad $(OUTSRC)/misc.spad \ + $(OUTSRC)/mkfunc.spad $(OUTSRC)/mkrecord.spad \ + $(OUTSRC)/mlift.spad $(OUTSRC)/moddfact.spad $(OUTSRC)/modgcd.spad \ + $(OUTSRC)/modmonom.spad $(OUTSRC)/modmon.spad $(OUTSRC)/modring.spad \ + $(OUTSRC)/moebius.spad $(OUTSRC)/mring.spad $(OUTSRC)/mset.spad \ + $(OUTSRC)/mts.spad $(OUTSRC)/multfact.spad $(OUTSRC)/multpoly.spad \ + $(OUTSRC)/multsqfr.spad \ + $(OUTSRC)/naalgc.spad $(OUTSRC)/naalg.spad \ + $(OUTSRC)/newdata.spad $(OUTSRC)/newpoint.spad \ + $(OUTSRC)/newpoly.spad $(OUTSRC)/nlinsol.spad $(OUTSRC)/nlode.spad \ + $(OUTSRC)/npcoef.spad \ + $(OUTSRC)/nregset.spad \ + $(OUTSRC)/nsregset.spad $(OUTSRC)/numeigen.spad $(OUTSRC)/numeric.spad \ + $(OUTSRC)/numode.spad $(OUTSRC)/numquad.spad $(OUTSRC)/numsolve.spad \ + $(OUTSRC)/numtheor.spad \ + $(OUTSRC)/oct.spad $(OUTSRC)/odealg.spad $(OUTSRC)/odeef.spad \ + $(OUTSRC)/oderf.spad $(OUTSRC)/opalg.spad \ + $(OUTSRC)/op.spad $(OUTSRC)/ore.spad \ + $(OUTSRC)/outform.spad $(OUTSRC)/out.spad \ + $(OUTSRC)/pade.spad $(OUTSRC)/padiclib.spad $(OUTSRC)/padic.spad \ + $(OUTSRC)/paramete.spad $(OUTSRC)/partperm.spad $(OUTSRC)/patmatch1.spad \ + $(OUTSRC)/patmatch2.spad $(OUTSRC)/pattern.spad $(OUTSRC)/pcurve.spad \ + $(OUTSRC)/pdecomp.spad $(OUTSRC)/perman.spad $(OUTSRC)/permgrps.spad \ + $(OUTSRC)/perm.spad $(OUTSRC)/pfbr.spad $(OUTSRC)/pfo.spad \ + $(OUTSRC)/pfr.spad $(OUTSRC)/pf.spad $(OUTSRC)/pgcd.spad \ + $(OUTSRC)/pgrobner.spad $(OUTSRC)/pinterp.spad $(OUTSRC)/pleqn.spad \ + $(OUTSRC)/plot3d.spad $(OUTSRC)/plot.spad $(OUTSRC)/plottool.spad \ + $(OUTSRC)/polset.spad $(OUTSRC)/poltopol.spad $(OUTSRC)/polycat.spad \ + $(OUTSRC)/poly.spad $(OUTSRC)/primelt.spad $(OUTSRC)/print.spad \ + $(OUTSRC)/product.spad $(OUTSRC)/prs.spad $(OUTSRC)/prtition.spad \ + $(OUTSRC)/pscat.spad $(OUTSRC)/pseudolin.spad $(OUTSRC)/ptranfn.spad \ + $(OUTSRC)/puiseux.spad \ + $(OUTSRC)/qalgset.spad $(OUTSRC)/quat.spad \ + $(OUTSRC)/radeigen.spad $(OUTSRC)/radix.spad $(OUTSRC)/random.spad \ + $(OUTSRC)/ratfact.spad $(OUTSRC)/rdeef.spad $(OUTSRC)/rderf.spad \ + $(OUTSRC)/rdesys.spad $(OUTSRC)/real0q.spad $(OUTSRC)/realzero.spad \ + $(OUTSRC)/reclos.spad $(OUTSRC)/regset.spad $(OUTSRC)/rep1.spad \ + $(OUTSRC)/rep2.spad $(OUTSRC)/resring.spad $(OUTSRC)/retract.spad \ + $(OUTSRC)/rf.spad $(OUTSRC)/riccati.spad $(OUTSRC)/rinterp.spad \ + $(OUTSRC)/routines.spad \ + $(OUTSRC)/rule.spad \ + $(OUTSRC)/seg.spad $(OUTSRC)/setorder.spad $(OUTSRC)/sets.spad \ + $(OUTSRC)/sex.spad $(OUTSRC)/sf.spad $(OUTSRC)/sgcf.spad \ + $(OUTSRC)/sign.spad $(OUTSRC)/si.spad $(OUTSRC)/smith.spad \ + $(OUTSRC)/solvedio.spad $(OUTSRC)/solvefor.spad $(OUTSRC)/solvelin.spad \ + $(OUTSRC)/solverad.spad $(OUTSRC)/sortpak.spad $(OUTSRC)/space.spad \ + $(srcdir)/spad-parser.spad \ + $(OUTSRC)/special.spad $(OUTSRC)/sregset.spad $(OUTSRC)/s.spad \ + $(OUTSRC)/stream.spad $(OUTSRC)/string.spad $(OUTSRC)/sttaylor.spad \ + $(OUTSRC)/sttf.spad $(OUTSRC)/sturm.spad $(OUTSRC)/suchthat.spad \ + $(OUTSRC)/suls.spad $(OUTSRC)/sum.spad $(OUTSRC)/sups.spad \ + $(OUTSRC)/supxs.spad $(OUTSRC)/suts.spad $(OUTSRC)/symbol.spad \ + $(OUTSRC)/syntax.spad \ + $(OUTSRC)/syssolp.spad $(OUTSRC)/system.spad \ + $(OUTSRC)/tableau.spad $(OUTSRC)/table.spad $(OUTSRC)/taylor.spad \ + $(OUTSRC)/tex.spad $(OUTSRC)/tools.spad $(OUTSRC)/transsolve.spad \ + $(OUTSRC)/tree.spad $(OUTSRC)/trigcat.spad $(OUTSRC)/triset.spad \ + $(OUTSRC)/tube.spad $(OUTSRC)/twofact.spad \ + $(OUTSRC)/unifact.spad $(OUTSRC)/updecomp.spad $(OUTSRC)/updivp.spad \ + $(OUTSRC)/utsode.spad \ + $(OUTSRC)/variable.spad $(OUTSRC)/vector.spad $(OUTSRC)/view2D.spad \ + $(OUTSRC)/view3D.spad $(OUTSRC)/viewDef.spad $(OUTSRC)/viewpack.spad \ + $(OUTSRC)/void.spad \ + $(OUTSRC)/weier.spad $(OUTSRC)/wtpol.spad \ + $(OUTSRC)/xlpoly.spad $(OUTSRC)/xpoly.spad \ + $(OUTSRC)/ystream.spad \ + $(OUTSRC)/zerodim.spad + + +TESTS=$(INPUT)/INTHEORY.input $(INPUT)/VIEW2D.input $(INPUT)/TESTFR.input + +# The root of the category hierarchy is the Type category. +# We require the basic integer domains are available at stage 2 of +# bootstrap. This has the property of setting in motion +# the built of several other domains and categories as needed +# to ignite the algebra build. We require Category only because +# we would like not to have too many special cases for it. +strap-stamp: strap-2/CATEGORY.$(FASLEXT) \ + strap-2/SINT.$(FASLEXT) strap-2/NNI.$(FASLEXT) \ + strap-2/PI.$(FASLEXT) + -rm -f $@ + $(STAMP) $@ + +$(OUT)/TYPE.$(FASLEXT): strap-stamp + +$(OUT)/SINT.$(FASLEXT): $(OUT)/INT.$(FASLEXT) +$(OUT)/NNI.$(FASLEXT): $(OUT)/INT.$(FASLEXT) +$(OUT)/PI.$(FASLEXT): $(OUT)/NNI.$(FASLEXT) + +#$(OUT)/TYPE.$(FASLEXT): $(OUT)/SINT.$(FASLEXT) + + +$(OUT)/IEVALAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/EVALAB.$(FASLEXT): $(OUT)/IEVALAB.$(FASLEXT) +$(OUT)/ELTAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) + +$(OUT)/UTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/AHYP.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/PRIMCAT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/ATTREG.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/CONDUIT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/CFCAT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) + + + +$(OUT)/AGG.$(FASLEXT) $(OUT)/AGG-.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) +$(OUT)/ELTAGG.$(FASLEXT): $(OUT)/AGG.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/IXAGG.$(FASLEXT): $(OUT)/ELTAGG.$(FASLEXT) $(OUT)/EVALAB.$(FASLEXT) +$(OUT)/RCAGG.$(FASLEXT): $(OUT)/EVALAB.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/AGG.$(FASLEXT) +$(OUT)/QUAGG.$(FASLEXT): $(OUT)/BGAGG.$(FASLEXT) +$(OUT)/SKAGG.$(FASLEXT): $(OUT)/BGAGG.$(FASLEXT) +$(OUT)/DQAGG.$(FASLEXT): $(OUT)/QUAGG.$(FASLEXT) $(OUT)/SKAGG.$(FASLEXT) +$(OUT)/PRQAGG.$(FASLEXT): $(OUT)/BGAGG.$(FASLEXT) +#$(OUT)/DLAGG.$(FASLEXT): $(OUT)/RCAGG.$(FASLEXT) +#$(OUT)/URAGG.$(FASLEXT): $(OUT)/RCAGG.$(FASLEXT) +#$(OUT)/BRAGG.$(FASLEXT): $(OUT)/RCAGG.$(FASLEXT) +$(OUT)/FLAGG.$(FASLEXT): $(OUT)/BMODULE.$(FASLEXT) $(OUT)/PID.$(FASLEXT) \ + $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) \ + $(OUT)/LINEXP.$(FASLEXT) $(OUT)/PATMAB.$(FASLEXT) \ + $(OUT)/REAL.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ + $(OUT)/DIFFSPC.$(FASLEXT) +$(OUT)/A1AGG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/BOOLE-.$(FASLEXT) \ + $(OUT)/FLAGG.$(FASLEXT) $(OUT)/LOGIC-.$(FASLEXT) \ + $(OUT)/ORDTYPE-.$(FASLEXT) +$(OUT)/SRAGG.$(FASLEXT): $(OUT)/A1AGG.$(FASLEXT) +$(OUT)/STAGG.$(FASLEXT): $(OUT)/URAGG.$(FASLEXT) $(OUT)/LNAGG.$(FASLEXT) +$(OUT)/LNAGG.$(FASLEXT): $(OUT)/SEGCAT.$(FASLEXT) +$(OUT)/SEGCAT.$(FASLEXT): $(OUT)/KRCFROM.$(FASLEXT) +$(OUT)/SETAGG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/CLAGG.$(FASLEXT) +$(OUT)/STRING.$(FASLEXT): $(OUT)/SRAGG.$(FASLEXT) $(OUT)/ORDFIN.$(FASLEXT) +$(OUT)/DIOPS.$(FASLEXT): $(OUT)/STRING.$(FASLEXT) +$(OUT)/DIAGG.$(FASLEXT): $(OUT)/DIOPS.$(FASLEXT) +$(OUT)/KDAGG.$(FASLEXT): $(OUT)/DIAGG.$(FASLEXT) +$(OUT)/TBAGG.$(FASLEXT): $(OUT)/KDAGG.$(FASLEXT) +$(OUT)/ALAGG.$(FASLEXT): $(OUT)/TBAGG.$(FASLEXT) +$(OUT)/LIST.$(FASLEXT): $(OUT)/LSAGG.$(FASLEXT) $(OUT)/REF.$(FASLEXT) \ + $(OUT)/ALIST.$(FASLEXT) $(OUT)/PRIMARR.$(FASLEXT) + +$(OUT)/MSYSCMD.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) + +$(OUT)/KOERCE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/KRCFROM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) + +$(OUT)/KONVERT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/KVTFROM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) + +$(OUT)/RETRACT.$(FASLEXT): $(OUT)/KRCFROM.$(FASLEXT) + +$(OUT)/BASTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/SETCAT.$(FASLEXT) $(OUT)/SETCAT-.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) + +$(OUT)/FINITE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/ORDSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/ORDTYPE.$(FASLEXT) +$(OUT)/FILECAT.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/SEXCAT.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/PID.$(FASLEXT) \ + $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/LINEXP.$(FASLEXT) \ + $(OUT)/PATMAB.$(FASLEXT) $(OUT)/REAL.$(FASLEXT) \ + $(OUT)/CHARZ.$(FASLEXT) $(OUT)/AGG.$(FASLEXT) \ + $(OUT)/IXAGG.$(FASLEXT) $(OUT)/FLAGG.$(FASLEXT) \ + $(OUT)/ELAGG.$(FASLEXT) +$(OUT)/STEP.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/PATMAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/REAL.$(FASLEXT): $(OUT)/KONVERT.$(FASLEXT) + +$(OUT)/LOGIC.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/BOOLE.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) + +$(OUT)/SGROUP.$(FASLEXT) $(OUT)/SGROUP-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/PI.$(FASLEXT) +$(OUT)/ABELSG.$(FASLEXT) $(OUT)/ABELSG-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/LLINSET.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) +$(OUT)/RMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT) +$(OUT)/BMODULE.$(FASLEXT): $(OUT)/LMODULE.$(FASLEXT) \ + $(OUT)/RMODULE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) +$(OUT)/MODULE.$(FASLEXT): $(OUT)/BMODULE.$(FASLEXT) $(OUT)/LINSET.$(FASLEXT) +$(OUT)/ALGEBRA.$(FASLEXT): $(OUT)/MODULE.$(FASLEXT) +$(OUT)/OAGROUP.$(FASLEXT): $(OUT)/OCAMON.$(FASLEXT) +$(OUT)/OCAMON.$(FASLEXT): $(OUT)/OAMON.$(FASLEXT) +$(OUT)/OAMON.$(FASLEXT): $(OUT)/OASGP.$(FASLEXT) +$(OUT)/OAMONS.$(FASLEXT): $(OUT)/OAMON.$(FASLEXT) +$(OUT)/OASGP.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/ABELSG.$(FASLEXT) +$(OUT)/RNG.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT) +$(OUT)/DIOID.$(FASLEXT): $(OUT)/OAMON.$(FASLEXT) $(OUT)/SRING.$(FASLEXT) + +$(OUT)/LLINSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/RLINSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/LINSET.$(FASLEXT): $(OUT)/LLINSET.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT) + +$(OUT)/CTORKIND.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/IOMODE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) + +$(OUT)/PRINT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/RTVALUE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/SYSPTR.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) + +$(OUT)/VOID.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) +$(OUT)/OUT.$(FASLEXT): $(OUT)/VOID.$(FASLEXT) + +$(OUT)/DIFFDOM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/DIFFSPC.$(FASLEXT): $(OUT)/DIFFDOM.$(FASLEXT) +$(OUT)/DIFFMOD.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) +$(OUT)/PDDOM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/PDSPC.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) +$(OUT)/DSEXT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) $(OUT)/PDSPC.$(FASLEXT) +$(OUT)/ORDTYPE.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) +$(OUT)/ORDSTRCT.$(FASLEXT): $(OUT)/ORDTYPE.$(FASLEXT) $(OUT)/HOMOTOP.$(FASLEXT) + +$(OUT)/BINOPC.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/BINOP.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/IDEMOPC.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) $(OUT)/BASTYPE.$(FASLEXT) +$(OUT)/SGPOPC.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) $(OUT)/BASTYPE.$(FASLEXT) +$(OUT)/SGPOP.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/BINOP.$(FASLEXT) +$(OUT)/MONOPC.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT) + +oa_algebra_layer_0 = \ + AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \ + KRCFROM KVTFROM IEVALAB IEVALAB- EVALAB EVALAB- \ + RETRACT RETRACT- SETCAT SETCAT- VOID SEGCAT \ + MSYSCMD FINITE FINITE- IDEMOPC OUT \ + PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \ + BMODULE SGPOPC BASTYPE BASTYPE- STEP LMODULE \ + RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \ + ABELSG- ORDSET SGPOP OASGP FILECAT SEXCAT \ + MODULE MODULE- PID OAGROUP OAGROUP- OCAMON \ + OAMON OAMON- DIOID MONOPC \ + RNG ORDFIN LLINSET RLINSET LINSET OAMONS \ + MKBCFUNC MKRECORD MKUCFUNC DROPT1 PLOT1 ITFUN2 \ + ITFUN3 STREAM1 STREAM2 STREAM3 ANY1 SEGBIND2 \ + COMBOPC EQ2 NONE1 CONDUIT IOMODE CTORKIND \ + AGG AGG- ELTAGG ELTAGG- IXAGG IXAGG- \ + BGAGG BGAGG- BRAGG BRAGG- ELAGG ELAGG- \ + DLAGG DQAGG QUAGG SKAGG PRQAGG ALAGG \ + FLAGG FLAGG- URAGG URAGG- LNAGG LNAGG- \ + A1AGG A1AGG- LSAGG LSAGG- SRAGG SRAGG- \ + FSAGG FSAGG- STAGG STAGG- CLAGG CLAGG- \ + RCAGG RCAGG- SETAGG SETAGG- HOAGG HOAGG- \ + TBAGG TBAGG- KDAGG KDAGG- DIAGG DIAGG- \ + DIOPS DIOPS- STRING \ + LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \ + LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ + RTVALUE SYSPTR PDDOM PDDOM- PDSPC PDSPC- \ + DSEXT DSEXT- ORDTYPE ORDTYPE- ORDSTRCT \ + BOOLE BOOLE- REF ALIST PRIMARR SRING \ + INS INS- DIVRING DIVRING- EUCDOM EUCDOM- \ + BINOPC BINOP FPS FPS- RNS RNS- \ + POLYCAT POLYCAT- QFCAT QFCAT- \ + INT NNI PI SINT SYMBOL DFLOAT + +oa_algebra_layer_0_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_0)) + +oa_algebra_layer_0_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_0))) + +$(OUT)/HOMOTOP.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/KRCFROM.$(FASLEXT) +$(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/STREAM.$(FASLEXT) +$(OUT)/PATAB.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) +$(OUT)/PPCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) +$(OUT)/PSCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) + +$(OUT)/IEVALAB.$(FASLEXT) $(OUT)/IEVALAB-.$(FASLEXT): \ + $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/EVALAB.$(FASLEXT) $(OUT)/EVALAB-.$(FASLEXT): \ + $(OUT)/IEVALAB.$(FASLEXT) + +$(OUT)/PROPLOG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) + +$(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) + +$(OUT)/BYTEORD.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) + +$(OUT)/SRING.$(FASLEXT): $(OUT)/ABELMON.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT) +$(OUT)/RING.$(FASLEXT): $(OUT)/RNG.$(FASLEXT) $(OUT)/SRING.$(FASLEXT) \ + $(OUT)/LMODULE.$(FASLEXT) $(OUT)/KOERCE.$(FASLEXT) +$(OUT)/MONOID.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT) +$(OUT)/ABELGRP.$(FASLEXT): $(OUT)/CABMON.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT) +$(OUT)/ABELMON.$(FASLEXT): $(OUT)/ABELSG.$(FASLEXT) +$(OUT)/ORDRING.$(FASLEXT): $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/RING.$(FASLEXT) \ + $(OUT)/MONOID.$(FASLEXT) +$(OUT)/COMRING.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/BMODULE.$(FASLEXT) +$(OUT)/DIFRING.$(FASLEXT): $(OUT)/RING.$(FASLEXT) +$(OUT)/ENTIRER.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/BMODULE.$(FASLEXT) +$(OUT)/INTDOM.$(FASLEXT): $(OUT)/COMRING.$(FASLEXT) $(OUT)/ALGEBRA.$(FASLEXT) \ + $(OUT)/ENTIRER.$(FASLEXT) $(OUT)/FIELD.$(FASLEXT) +$(OUT)/OINTDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) $(OUT)/ORDRING.$(FASLEXT) +$(OUT)/GCDDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) +$(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) $(OUT)/ES.$(FASLEXT) +$(OUT)/ES.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT) \ + $(OUT)/REF.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT) \ + $(OUT)/PATAB.$(FASLEXT) $(OUT)/PRIMARR.$(FASLEXT) \ + $(OUT)/MAYBE.$(FASLEXT) +$(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) +$(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT) +$(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/BOOLEAN.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) +$(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT) +$(OUT)/IARRAY1.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT) +$(OUT)/PROPERTY.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT) +$(OUT)/BINDING.$(FASLEXT): $(OUT)/PROPERTY.$(FASLEXT) +$(OUT)/OPERCAT.$(FASLEXT): $(OUT)/ARITY.$(FASLEXT) +$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT) +$(OUT)/DIFRING.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) +$(OUT)/PDMOD.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/PDSPC.$(FASLEXT) \ + $(OUT)/COMRING.$(FASLEXT) $(OUT)/MODULE.$(FASLEXT) +$(OUT)/DMEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) $(OUT)/DIFFMOD.$(FASLEXT) \ + $(OUT)/PDMOD.$(FASLEXT) +$(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT) + +$(OUT)/MONOP.$(FASLEXT): $(OUT)/MONOPC.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT) \ + $(OUT)/SETCAT.$(FASLEXT) + +oa_algebra_layer_1 = \ + ABELGRP ABELGRP- ABELMON ABELMON- ITUPLE \ + CABMON MONOID MONOID- RING RING- COMRING \ + DIFRING SRING ENTIRER INTDOM INTDOM- OINTDOM \ + GCDDOM GCDDOM- UFD UFD- ES ES- \ + PATAB PPCURVE PSCURVE CACHSET RESLATC \ + IDENT OUTFORM BINDING BOOLEAN \ + ORDRING FEVALAB FEVALAB- IARRAY1 \ + OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ + FIELD FIELD- VECTCAT VECTCAT- MONOP \ + PROPERTY ARITY OPERCAT OPERCAT- PAIR STREAM \ + RADCAT RADCAT- PDMOD DMEXT LZSTAGG LZSTAGG- + +oa_algebra_layer_1_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_1)) + +oa_algebra_layer_1_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_1))) +oa_algebra_layer_2 = \ + SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \ + COMMONOP FNCAT SCACHE BOP BOP1 \ + DOMTMPLT FCTRDATA + +$(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) +$(OUT)/COMMONOP.$(FASLEXT): $(OUT)/BOP.$(FASLEXT) +$(OUT)/DOMTMPLT.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) $(OUT)/OAMONS.$(FASLEXT) +$(OUT)/FCTRDATA.$(FASLEXT): $(OUT)/DOMTMPLT.$(FASLEXT) + +oa_algebra_layer_2_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_2)) + +oa_algebra_layer_2_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_2))) +oa_algebra_layer_3 = \ + GRDEF SCOPE MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1 \ + MAPPKG2 MAPPKG3 INTBIT MONAD MONAD- + + +$(OUT)/MONAD.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/SCOPE.$(FASLEXT): $(OUT)/BINDING.$(FASLEXT) + +oa_algebra_layer_3_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_3)) + +oa_algebra_layer_3_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_3))) + +$(OUT)/ENV.$(FASLEXT): $(OUT)/SCOPE.$(FASLEXT) +$(OUT)/COMM.$(FASLEXT): $(OUT)/OSI.$(FASLEXT) +$(OUT)/PALETTE.$(FASLEXT): $(OUT)/COLOR.$(FASLEXT) + + +oa_algebra_layer_4 = \ + ANON OSI COMM COMPPROP EXIT \ + FAMONC FORMULA1 IDPC NONE \ + COLOR ONECOMP2 \ + PALETTE PARPCURV PARPC2 PARSCURV PARSC2 PARSURF \ + PARSU2 PATRES2 PATTERN1 PDECAT \ + REPSQ REPDB RFDIST RIDIST SPACEC SPLNODE \ + SUCH TEX1 UDVO YSTREAM ENV \ + ATRIG ATRIG- GROUP GROUP- LALG LALG- + + +oa_algebra_layer_4_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_4)) + +oa_algebra_layer_4_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_4))) + +$(OUT)/KERNEL.$(FASLEXT): $(OUT)/KERNEL2.$(FASLEXT) +$(OUT)/DVARCAT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) +$(OUT)/PDRING.$(FASLEXT): $(OUT)/PDSPC.$(FASLEXT) + +oa_algebra_layer_5 = \ + CHARNZ DVARCAT DVARCAT- ELEMFUN \ + ELEMFUN- FCOMP FPATMAB IDPAM IDPO \ + INCRMAPS KERNEL2 MODMONOM MONADWU MONADWU- \ + MRF2 NARNG NARNG- NSUP2 ODVAR OPQUERY \ + ORDMON PATMATCH PERMCAT PDRING \ + SDVAR SUP2 TRIGCAT TRIGCAT- ULS2 UP2 \ + ELABEXPR KERNEL + +oa_algebra_layer_5_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_5)) + +oa_algebra_layer_5_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_5))) + +$(OUT)/CHARPOL.$(FASLEXT): $(OUT)/SETCAT-.$(FASLEXT) +$(OUT)/PROPFRML.$(FASLEXT): $(OUT)/KERNEL.$(FASLEXT) +$(OUT)/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) $(OUT)/BYTE.$(FASLEXT) +$(OUT)/PROPFUN1.$(FASLEXT): $(OUT)/PROPFRML.$(FASLEXT) +$(OUT)/PROPFUN2.$(FASLEXT): $(OUT)/PROPFRML.$(FASLEXT) +$(OUT)/DIFEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) +$(OUT)/BYTE.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) +$(OUT)/SYSNNI.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) $(OUT)/ORDFIN.$(FASLEXT) + +oa_algebra_layer_6 = \ + PROPFRML PROPFUN1 AUTOMOR CARTEN2 CHARPOL COMPLEX2 \ + DIFEXT ES1 ES2 GRMOD GRMOD- \ + HYPCAT HYPCAT- MODRING NASRING NASRING- \ + SORTPAK ZMOD PROPFUN2 \ + KTVLOGIC BYTE SYSINT SYSNNI + +oa_algebra_layer_6_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_6)) +oa_algebra_layer_6_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_6))) +$(OUT)/IFAMON.$(FASLEXT): $(OUT)/LMOPS.$(FASLEXT) +oa_algebra_layer_7 = \ + BTCAT BTCAT- LMOPS FMCAT IDPOAM \ + IFAMON GRALG GRALG- \ + INT8 INT16 INT32 INT64 UINT8 UINT16 \ + UINT32 UINT64 + +oa_algebra_layer_7_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_7)) + +oa_algebra_layer_7_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_7))) + +$(OUT)/BSTREE.$(FASLEXT): $(OUT)/BTREE.$(FASLEXT) +$(OUT)/ITAYLOR.$(FASLEXT): $(OUT)/STREAM.$(FASLEXT) +$(OUT)/BTREE.$(FASLEXT): $(OUT)/TREE.$(FASLEXT) + +oa_algebra_layer_8 = \ + BSTREE BTOURN CARD DRAWHACK FACTFUNC TREE \ + FR2 FRAC2 FRUTIL ITAYLOR MLO NAALG \ + NAALG- OP ORDCOMP2 RANDSRC UNISEG2 XALG \ + BTREE POLY SMP ARR2CAT ARR2CAT- + +oa_algebra_layer_8_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_8)) + +oa_algebra_layer_8_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_8))) +$(OUT)/FT.$(FASLEXT): $(OUT)/FST.$(FASLEXT) $(OUT)/POLY.$(FASLEXT) + +oa_algebra_layer_9 = \ + AMR AMR- DEGRED DLP EAB \ + FAGROUP FAMONOID FLINEXP FLINEXP- FRETRCT FRETRCT- \ + FSERIES FT IDPAG IDPOAMS INFINITY LA \ + OMLO ORTHPOL PRODUCT PADICCT PMPRED PMASS \ + PTFUNC2 RATRET RADUTIL UPXS2 \ + XFALG ZLINDEP BBTREE TABLE INTABL \ + SIG FMONCAT FST + + +oa_algebra_layer_9_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_9)) + +oa_algebra_layer_9_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_9))) +$(OUT)/ANY.$(FASLEXT): $(OUT)/SEX.$(FASLEXT) + +$(OUT)/SEX.$(FASLEXT): $(OUT)/SEXOF.$(FASLEXT) +$(OUT)/LEXP.$(FASLEXT): $(OUT)/XPBWPOLY.$(FASLEXT) +$(OUT)/XPBWPOLY.$(FASLEXT): $(OUT)/XPOLYC.$(FASLEXT) \ + $(OUT)/PBWLB.$(FASLEXT) +$(OUT)/PENDTREE.$(FASLEXT): $(OUT)/TREE.$(FASLEXT) +$(OUT)/QFORM.$(FASLEXT): $(OUT)/SQMATRIX.$(FASLEXT) +$(OUT)/SQMATRIX.$(FASLEXT): $(OUT)/SMATCAT.$(FASLEXT) \ + $(OUT)/MATRIX.$(FASLEXT) $(OUT)/IIARRAY2.$(FASLEXT) +$(OUT)/SMATCAT.$(FASLEXT): $(OUT)/RMATCAT.$(FASLEXT) +$(OUT)/RMATCAT.$(FASLEXT): $(OUT)/DIRPROD.$(FASLEXT) +$(OUT)/DIRPROD.$(FASLEXT): $(OUT)/DIRPCAT.$(FASLEXT) +$(OUT)/DIRPCAT.$(FASLEXT): $(OUT)/VSPACE.$(FASLEXT) $(OUT)/IVECTOR.$(FASLEXT) +$(OUT)/MATRIX.$(FASLEXT): $(OUT)/MATCAT.$(FASLEXT) +$(OUT)/BTAGG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) +$(OUT)/PATLRES.$(FASLEXT): $(OUT)/PATRES.$(FASLEXT) +$(OUT)/PBWLB.$(FASLEXT): $(OUT)/LWORD.$(FASLEXT) +$(OUT)/LWORD.$(FASLEXT): $(OUT)/MAGMA.$(FASLEXT) +$(OUT)/PFR.$(FASLEXT): $(OUT)/FR.$(FASLEXT) + +oa_algebra_layer_10 = \ + BPADIC ANY LWORD FR \ + SEXOF CRAPACK DEQUEUE DLIST \ + DRAWCX \ + DRAWPT FAMR FAMR- FLASORT \ + FLAGG2 FGROUP FM FM1 \ + FPC FPC- FMONOID INDE \ + IPADIC IROOT IR2 LEXP \ + LIECAT LIECAT- LIST2 LIST2MAP \ + SEX HASHTBL MAGMA \ + MESH MOEBIUS MODFIELD MODOP \ + MRING MTHING NCNTFRAC NCODIV \ + NUMTUBE ODR OFMONOID ONECOMP \ + ORDCOMP OREPCAT OREPCAT- OWP \ + PADIC PATTERN2 PATLRES PARTPERM \ + PBWLB PENDTREE PGE PGROEB \ + PINTERP PLOTTOOL PFR PMDOWN \ + PRTITION PMINS PMLSAGG PMTOOLS \ + PSCAT PSCAT- QFORM QUEUE \ + SQMATRIX SEG SEG2 MTSCAT \ + STACK STTAYLOR TABLBUMP TABLEAU \ + TOPSP TRANFUN TRANFUN- TUBE \ + UDPO UNISEG VIEW VSPACE \ + VSPACE- XPOLYC XPR BTAGG BTAGG- \ + FUNDESC XPBWPOLY SMATCAT SMATCAT- \ + RMATRIX RMATCAT RMATCAT- DIRPROD \ + DIRPCAT DIRPCAT- IVECTOR MATRIX \ + MATCAT MATCAT- IIARRAY2 FFIELDC FFIELDC- + + +oa_algebra_layer_10_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_10)) + +oa_algebra_layer_10_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_10))) +$(OUT)/ARRAY2.$(FASLEXT): $(OUT)/IFARRAY.$(FASLEXT) +$(OUT)/ORESUP.$(FASLEXT): $(OUT)/PR.$(FASLEXT) +$(OUT)/PLOT3D.$(FASLEXT): $(OUT)/POINT.$(FASLEXT) +$(OUT)/POINT.$(FASLEXT): $(OUT)/PTCAT.$(FASLEXT) + +oa_algebra_layer_11 = \ + APPLYORE ARRAY1 ARRAY12 ARRAY2 \ + ASTACK COMBINAT POINT PTCAT \ + CSTTOOLS FARRAY \ + FLALG GALUTIL HEAP \ + IARRAY2 IFARRAY INTCAT INTHEORY \ + IRREDFFX LFCAT LODOCAT LODOCAT- \ + MATSTOR \ + ORESUP OREPCTO OREUP PLOT3D \ + PR PREASSOC PRIMARR2 REDORDER \ + SYMPOLY \ + TS TUPLE UPSCAT UPSCAT- \ + XDPOLY XEXPPKG \ + XF XF- XPOLY \ + XRPOLY FFIELDC FFIELDC- MTSCAT + +oa_algebra_layer_11_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_11)) + +oa_algebra_layer_11_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_11))) +oa_algebra_layer_12 = \ + ULSCAT BITS DIRPROD2 IMATRIX \ + LPOLY LSMP LSMP1 MATCAT2 TRIMAT \ + SYSTEM HOSTNAME PORTNUM + +oa_algebra_layer_12_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_12)) + +oa_algebra_layer_12_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_12))) + +$(OUT)/UPOLYC.$(FASLEXT): $(OUT)/PFECAT.$(FASLEXT) +$(OUT)/SETMN.$(FASLEXT): $(OUT)/IBITS.$(FASLEXT) + +oa_algebra_layer_13 = \ + ASSOCEQ CARTEN CLIF CLIP \ + UPOLYC UPOLYC- \ + COORDSYS DBASE DHMATRIX DIOSP \ + FAXF FAXF- FFPOLY2 \ + FNLA GRAY HB IRSN \ + MHROWRED NUMODE NUMQUAD \ + ODESYS ODETOOLS ORDFUNS PERMAN \ + PFECAT PFECAT- PSEUDLIN \ + PTPACK REP2 SETMN \ + SYMFUNC VECTOR2 VECTOR CHAR \ + INBCON INBCON- OUTBCON OUTBCON- + +oa_algebra_layer_13_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_13)) + +oa_algebra_layer_13_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_13))) +$(OUT)/FS.$(FASLEXT): $(OUT)/UPOLYC.$(FASLEXT) +$(OUT)/FILE.$(FASLEXT): $(OUT)/FNAME.$(FASLEXT) + +oa_algebra_layer_14 = \ + FS FS- ACF ACF- \ + ACFS ACFS- BALFACT BEZOUT BINARY BINFILE BOUNDZRO \ + BPADICRT BRILL CDEN CHVAR \ + COMMUPC CONTFRAC CVMP CYCLOTOM \ + CYCLES DDFACT DECIMAL DISPLAY DMP \ + DPMO DPOLCAT DPOLCAT- EMR EQ ERROR \ + EVALCYC FACUTIL FF FFCG \ + FFCGX FFHOM FFNB FFNBX \ + FFPOLY FFX FFSLPE FGLMICPK \ + FILE FINAALG FINAALG- FINRALG \ + FINRALG- FLOATRP FNAME \ + FORMULA FRAC \ + GENEEZ GENMFACT GENPGCD \ + GALFACTU GALPOLYU GB GBEUCLID \ + GBF GBINTERN GHENSEL GMODPOL \ + GOSPER GRIMAGE GROEBSOL HDMP \ + HDP HEXADEC HEUGCD IBPTOOLS \ + IFF ICARD ICDEN \ + IDECOMP IMATLIN IMATQF \ + INMODGCD INNMFACT INPSIGN INTHERTR \ + INTRAT INTRF INTSLPE INTTR \ + ISUMP LAUPOL LEADCDET LGROBP \ + LIMITRF LINDEP LO LPEFRAC \ + LSPP MATLIN MCDEN MDDFACT \ + MFINFACT MLIFT \ + MMAP MODMON MONOTOOL MPCPF \ + MPC2 MPC3 MPOLY MPRFF \ + MRATFAC MULTSQFR NORMRETR NPCOEF \ + NSUP NTPOLFN ODP ODEPRIM \ + ODEPRRIC PADEPAC \ + PADICRAT PADICRC PCOMP PDECOMP \ + PF PFBR PFBRU PFOTOOLS \ + PFRPAC PGCD PINTERPA PLEQN \ + PMPLCAT PMQFCAT PNTHEORY POLUTIL \ + POLTOPOL POLYCATQ POLYLIFT POLYROOT \ + POLY2 POLY2UP PRS PSQFR \ + PUSHVAR QALGSET QFCAT2 RADIX \ + RATFACT RCFIELD RCFIELD- RDETR \ + RDETRS REAL0 REAL0Q REALSOLV \ + RESRING RETSOL RF RFFACTOR \ + RRCC RRCC- \ + SCPKG SHDP SHP SIGNRF \ + SMITH SMTS SOLVEFOR \ + SPLTREE STINPROD STTFNC SUBRESP \ + SUMRF SUP SUPFRACF TANEXP \ + TEX TEXTFILE \ + TWOFACT UNIFACT UP UPCDEN \ + UPDECOMP UPDIVP UPMP UPOLYC2 \ + UPXSCAT UPSQFREE VIEWDEF VIEW2D \ + WEIER WP \ + EQTBL GSTBL \ + STBL STRTBL\ + SYMS SYMTAB \ + IOBCON + + +oa_algebra_layer_14_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_14)) + +oa_algebra_layer_14_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_14))) +$(OUT)/EXPUPXS.$(FASLEXT): $(OUT)/UPXS.$(FASLEXT) +$(OUT)/UPXS.$(FASLEXT): $(OUT)/UPXSCAT.$(FASLEXT) $(OUT)/UPXSCONS.$(FASLEXT) \ + $(OUT)/ULS.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT) +$(OUT)/UPXSCONS.$(FASLEXT): $(OUT)/UPXSCCA.$(FASLEXT) +$(OUT)/ULS.$(FASLEXT): $(OUT)/ULSCONS.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT) +$(OUT)/ULSCONS.$(FASLEXT): $(OUT)/ULSCCAT.$(FASLEXT) +$(OUT)/ULSCCAT.$(FASLEXT): $(OUT)/UTS.$(FASLEXT) +$(OUT)/UTS.$(FASLEXT): $(OUT)/UTSCAT.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT) + +oa_algebra_layer_15 = \ + DSMP EXPUPXS UPXS UPXSCONS \ + FRAMALG FRAMALG- MDAGG ODPOL \ + PLOT RMCAT2 ROIRC SDPOL \ + ULS ULSCONS TUBETOOL UPXSCCA \ + UPXSCCA- JVMBCODE BYTEBUF OVERSET \ + ULSCCAT ULSCCAT- UTS UTSCAT UTSCAT- + +oa_algebra_layer_15_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_15)) + +oa_algebra_layer_15_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_15))) +$(OUT)/SPACE3.$(FASLEXT): $(OUT)/SUBSPACE.$(FASLEXT) + +oa_algebra_layer_16 = \ + DPMM EFUPXS FFINTBAS FRIDEAL \ + FRIDEAL2 FRMOD \ + IBATOOL INTFACT \ + MSETAGG MONOGEN MONOGEN- NFINTBAS \ + SPACE3 FFF SUBSPACE + +oa_algebra_layer_16_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_16)) + +oa_algebra_layer_16_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_16))) + +oa_algebra_layer_17 = \ + CCLASS FSAGG2 GALFACT IALGFACT CTORCAT CTORCAT- \ + IBACHIN MMLFORM NORMMA ODERED OMSAGG OPSIG \ + PERM PERMGRP PRIMES PWFFINTB DROPT \ + RDIST SAE SAEFACT SAERFFC \ + SGCF VIEW3D + +$(OUT)/VIEW3D.$(FASLEXT): $(OUT)/DROPT.$(FASLEXT) + +oa_algebra_layer_17_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_17)) + +oa_algebra_layer_17_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_17))) +$(OUT)/PSETCAT.$(FASLEXT): $(OUT)/RPOLCAT.$(FASLEXT) + +oa_algebra_layer_18 = \ + IPF CATCTOR DOMCTOR CTORCALL \ + KAFILE PATRES TBCMPPK PSETCAT PSETCAT- \ + RPOLCAT RPOLCAT- + +oa_algebra_layer_18_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_18)) + +oa_algebra_layer_18_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_18))) +$(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT) +$(OUT)/FPARFRAC.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) + +oa_algebra_layer_19 = \ + ACPLOT ANTISYM \ + COMPCAT \ + COMPCAT- DRAW DRAWCFUN \ + DROPT0 EP \ + FFCAT FFCAT- FFCGP FFNBP \ + FFP FLOAT FPARFRAC \ + FRNAALG FRNAALG- EXPR \ + FUNCTION GDMP HACKPI \ + IDEAL INFORM INFORM1 IPRNTPK \ + IR ISUPS LIB \ + LMDICT LODOOPS MKFLCFN \ + MSET \ + NREP NUMFMT OC OC- \ + ODERAT \ + PATTERN OVAR \ + PMKERNEL PMSYM PRIMELT \ + QALGSET2 QEQUAT RECLOS REP1 \ + QUATCAT QUATCAT- RFFACT \ + ROMAN RNGBIND \ + RULECOLD SAOS SEGBIND \ + SET SPECOUT \ + SYSSOLP \ + VARIABLE WFFINTBS SPADPRSR \ + PARSER TSETCAT TSETCAT- + +oa_algebra_layer_19_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_19)) + +oa_algebra_layer_19_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_19))) +$(OUT)/AN.$(FASLEXT): $(OUT)/IAN.$(FASLEXT) +$(OUT)/IAN.$(FASLEXT): $(OUT)/EXPR.$(FASLEXT) +$(OUT)/SUTS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) +$(OUT)/OCT.$(FASLEXT): $(OUT)/QUAT.$(FASLEXT) +$(OUT)/EXPEXPAN.$(FASLEXT): $(OUT)/UPXSSING.$(FASLEXT) + +oa_algebra_layer_20 = \ + AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \ + ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \ + COMPLPAT CMPLXRT CPMATCH CRFP \ + CTRIGMNP \ + DBLRESP DERHAM DFSFUN DRAWCURV \ + EF EFSTRUC \ + ELFUTS EXPEXPAN EXPRODE \ + EXPRTUBE EXPR2 FDIVCAT \ + FDIVCAT- FDIV2 FFCAT2 FLOATCP \ + FORDER FSRED FSUPFACT \ + FRNAAF2 FSPECF FS2 FS2UPS \ + GAUSSFAC GCNAALG GENUFACT GENUPS \ + GTSET GPOLSET IAN INEP \ + INFPROD0 INFSP INPRODFF INPRODPF \ + INTAF INTALG INTEF INTG0 \ + INTHERAL INTPAF INTPM INTTOOLS \ + ITRIGMNP JORDAN KOVACIC LF \ + LIE LODOF LSQM \ + MULTFACT NCEP \ + NLINSOL NSMP NUMERIC OCT \ + OCTCT2 ODEPAL ODERTRIC PADE \ + PAN2EXPR PFO PFOQ \ + PICOERCE PMASSFS PMFS PMPREDFS \ + PSETPK QUAT QUATCT2 RADFF \ + RDEEF RDEEFS RDIV RSETCAT \ + RSETCAT- RULE RULESET SIMPAN \ + SOLVESER SUMFS SUTS \ + TOOLSIGN TRIGMNIP TRMANIP ULSCCAT \ + ULSCCAT- UPXSSING UTSODE UTSODETL \ + UTS2 WUTSET + +oa_algebra_layer_20_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_20)) + +oa_algebra_layer_20_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_20))) +$(OUT)/FDIV.$(FASLEXT): $(OUT)/HELLFDIV.$(FASLEXT) +$(OUT)/GSERIES.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) +$(OUT)/SULS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) +$(OUT)/SUPXS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) + +oa_algebra_layer_21 = \ + DEFINTEF DFINTTLS DEFINTRF \ + EFULS EXPR2UPS \ + FDIV FSCINT FSINT FS2EXPXP \ + GSERIES HELLFDIV INVLAPLA IR2F \ + IRRF2F LAPLACE LIMITPS LODEEF \ + NODE1 ODECONST ODEINT REP \ + SOLVERAD SULS SUPXS \ + UPXSCONS + +oa_algebra_layer_21_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_21)) + +oa_algebra_layer_21_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_21))) +oa_algebra_layer_22 = \ + COMBF FSPRMELT \ + INBFF LODO LODO1 LODO2 \ + NTSCAT REGSET RGCHAIN RSETGCD \ + RSDCMPK SFRTCAT SIGNEF SNTSCAT \ + SOLVETRA SRDCMPK SREGSET STTF \ + ZDSOLVE + +oa_algebra_layer_22_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_22)) + +oa_algebra_layer_22_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_22))) +oa_algebra_layer_23 = \ + CPIMA IRURPK LAZM3PK LEXTRIPK \ + NORMPK QCMPACK RURPK SFRGCD \ + SFQCMPK INTRVL ODEEF DOMAIN CATEGORY + +oa_algebra_layer_23_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_23)) + +oa_algebra_layer_23_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_23))) +oa_algebra_layer_user = \ + RINTERP ASTCAT ASTCAT- SASTCAT SASTCAT- HEADAST \ + LITERAL TYPEAST IMPTAST MAPPAST ATTRAST \ + JOINAST IFAST RPTAST WHILEAST INAST CLLCTAST \ + LSTAST EXITAST RETAST SEGAST PRTDAST CRCEAST \ + LETAST SUCHAST RDUCEAST COLONAST ADDAST CAPSLAST \ + CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ + QQUTAST DEFAST MACROAST SPADXPT SPADAST PARAMAST \ + INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC STEPAST \ + CTOR IP4ADDR NETCLT INETCLTS \ + IRFORM COMPILER \ + ITFORM ELABOR TALGOP YDIAGRAM LINELT DBASIS \ + LINFORM LINBASIS JVMOP JVMCFACC JVMFDACC JVMMDACC \ + JVMCSTTG + +oa_algebra_layer_user_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_user)) + +oa_algebra_layer_user_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_user))) + +$(OUT)/SASTCAT.$(FASLEXT): $(OUT)/ASTCAT.$(FASLEXT) +$(OUT)/LITERAL.$(FASLEXT): $(OUT)/SASTCAT.$(FASLEXT) +$(OUT)/PARAMAST.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/STRING.$(FASLEXT) +$(OUT)/HEADAST.$(FASLEXT): $(OUT)/PARAMAST.$(FASLEXT) +$(OUT)/SPADXPT.$(FASLEXT): $(OUT)/ASTCAT.$(FASLEXT) +$(OUT)/ATTRAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/SPADAST.$(FASLEXT) +$(OUT)/TYPEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/IMPTAST.$(FASLEXT): $(OUT)/TYPEAST.$(FASLEXT) +$(OUT)/MAPPAST.$(FASLEXT): $(OUT)/TYPEAST.$(FASLEXT) +$(OUT)/SIGAST.$(FASLEXT): $(OUT)/SIG.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT) +$(OUT)/JOINAST.$(FASLEXT): $(OUT)/TYPEAST.$(FASLEXT) +$(OUT)/IFAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/RPTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/WHILEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/INAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/STEPAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) \ + $(OUT)/IDENT.$(FASLEXT) $(OUT)/MAYBE.$(FASLEXT) +$(OUT)/CLLCTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/SPADAST.$(FASLEXT) +$(OUT)/LSTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/EXITAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/RETAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/SEGAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/SEQAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/PRTDAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/CRCEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/SYNTAX.$(FASLEXT) +$(OUT)/RSTRCAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/LETAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/RDUCEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/SUCHTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/COLONAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/ADDAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/CAPSLAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/CASEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/HASAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/ISAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/CATAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/WHEREAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/COMMAAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/QQUTAST.$(FASLEXT): $(OUT)/SASTCAT.$(FASLEXT) +$(OUT)/DEFAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/SPADAST.$(FASLEXT) +$(OUT)/MACROAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/SPADAST.$(FASLEXT): $(OUT)/SIGAST.$(FASLEXT) \ + $(OUT)/RSTRCAST.$(FASLEXT) $(OUT)/SEQAST.$(FASLEXT) \ + $(OUT)/SUCHTAST.$(FASLEXT) + +$(OUT)/INBFILE.$(FASLEXT): $(OUT)/FNAME.$(FASLEXT) \ + $(OUT)/INBCON.$(FASLEXT) $(OUT)/STRING.$(FASLEXT) +$(OUT)/OUTBFILE.$(FASLEXT): $(OUT)/FNAME.$(FASLEXT) \ + $(OUT)/OUTBCON.$(FASLEXT) $(OUT)/STRING.$(FASLEXT) +$(OUT)/IOBFILE.$(FASLEXT): $(OUT)/INBFILE.$(FASLEXT) \ + $(OUT)/OUTBFILE.$(FASLEXT) + +$(OUT)/CTOR.$(FASLEXT): $(OUT)/CTORKIND.$(FASLEXT) \ + $(OUT)/IDENT.$(FASLEXT) + +$(OUT)/NETCLT.$(FASLEXT): $(OUT)/IOBCON.$(FASLEXT) +$(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT) + + +$(OUT)/IRFORM.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) +$(OUT)/COMPILER.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) $(OUT)/ENV.$(FASLEXT) \ + $(OUT)/ELABOR.$(FASLEXT) +$(OUT)/ITFORM.$(FASLEXT): $(OUT)/IRFORM.$(FASLEXT) +$(OUT)/ELABOR.$(FASLEXT): $(OUT)/ITFORM.$(FASLEXT) $(OUT)/ENV.$(FASLEXT) \ + $(OUT)/IRFORM.$(FASLEXT) + + +$(OUT)/LINBASIS.$(FASLEXT): $(OUT)/ORDFIN.$(FASLEXT) $(OUT)/OVAR.$(FASLEXT) +$(OUT)/LINELT.$(FASLEXT): $(OUT)/VSPACE.$(FASLEXT) $(OUT)/FM.$(FASLEXT) \ + $(OUT)/LINBASIS.$(FASLEXT) +$(OUT)/DBASIS.$(FASLEXT): $(OUT)/ORDFIN.$(FASLEXT) $(OUT)/KVTFROM.$(FASLEXT) +$(OUT)/LINFORM.$(FASLEXT): $(OUT)/DBASIS.$(FASLEXT) \ + $(OUT)/VSPACE.$(FASLEXT) $(OUT)/LINELT.$(FASLEXT) + +$(OUT)/JVMOP.$(FASLEXT): $(OUT)/JVMBCODE.$(FASLEXT) +$(OUT)/JVMCFACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) +$(OUT)/JVMFDACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) +$(OUT)/JVMMDACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) + + +.PHONY: all-algebra all-algstrap + +all-am: all-algebra +all-algebra: stamp + @ echo finished $(builddir) + +stamp: $(SPADFILES) user-stamp $(TESTS) + -rm -f stamp + $(STAMP) stamp + +all-algstrap: strap-stamp + +.PRECIOUS: $(OUT)/%.$(FASLEXT) +$(OUT)/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) + cp $< $@ + +.PRECIOUS: %.spad +.PRECIOUS: %.NRLIB/code.$(FASLEXT) +%.NRLIB/code.$(FASLEXT): %.spad + $(COMPILE_SPAD) + +$(SPADFILES): | $(OUTSRC) + +.PRECIOUS: $(OUTSRC)/%.spad +$(OUTSRC)/%.spad: $(srcdir)/%.spad.pamphlet + $(oa_hammer) --tangle --output=$@ $< + +.PRECIOUS: $(builddir)/%.tex +.PRECIOUS: $(builddir)/%.dvi + +$(DOC)/%.dvi: | $(DOC) + +$(DOC): + @ $(MKDIR_P) $(DOC) + +$(DOC)/%.dvi: $(builddir)/%.dvi + @cp -p $< $@ + +$(builddir)/%.dvi: $(oa_build_texdir)/diagrams.tex \ + $(oa_build_texdir)/axiom.sty + +$(builddir)/%.dvi: $(builddir)/%.tex + $(oa_hammer) --latex $< + +$(builddir)/%.tex: $(srcdir)/%.pamphlet + $(oa_hammer) --weave --output=$@ $< + +$(oa_build_texdir)/diagrams.tex: $(oa_src_docdir)/diagrams.tex + @cp -p $< $@ + +SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad + $(COMPILE_SPAD) + +PARSER.NRLIB/code.$(FASLEXT): script-parser.spad + $(COMPILE_SPAD) + + +$(INPUT)/TESTFR.input: $(srcdir)/fr.spad.pamphlet + $(oa_hammer) --tangle='TEST FR' --output=$@ $< + +$(INPUT)/INTHEORY.input: $(srcdir)/numtheor.spad.pamphlet + $(oa_hammer) --tangle='TEST INTHEORY' --output=$@ $< + +$(INPUT)/VIEW2D.input: $(srcdir)/view2D.spad.pamphlet + $(oa_hammer) --tangle='TEST VIEW2D' --output=$@ $< + + +$(DOC)/diagrams.tex: $(oa_src_docdir)/diagrams.tex + @cp -p $< $@ + +$(oa_algebra_layer_0_objects): strap-stamp +$(oa_algebra_layer_1_objects): 0-stamp +$(oa_algebra_layer_2_objects): 1-stamp +$(oa_algebra_layer_3_objects): 2-stamp +$(oa_algebra_layer_4_objects): 3-stamp +$(oa_algebra_layer_5_objects): 4-stamp +$(oa_algebra_layer_6_objects): 5-stamp +$(oa_algebra_layer_7_objects): 6-stamp +$(oa_algebra_layer_8_objects): 7-stamp +$(oa_algebra_layer_9_objects): 8-stamp +$(oa_algebra_layer_10_objects): 9-stamp +$(oa_algebra_layer_11_objects): 10-stamp +$(oa_algebra_layer_12_objects): 11-stamp +$(oa_algebra_layer_13_objects): 12-stamp +$(oa_algebra_layer_14_objects): 13-stamp +$(oa_algebra_layer_15_objects): 14-stamp +$(oa_algebra_layer_16_objects): 15-stamp +$(oa_algebra_layer_17_objects): 16-stamp +$(oa_algebra_layer_18_objects): 17-stamp +$(oa_algebra_layer_19_objects): 18-stamp +$(oa_algebra_layer_20_objects): 19-stamp +$(oa_algebra_layer_21_objects): 20-stamp +$(oa_algebra_layer_22_objects): 21-stamp +$(oa_algebra_layer_23_objects): 22-stamp +$(oa_algebra_layer_user_objects): bootstrap-stamp + +$(oa_algebra_layer_0_objects): | $(OUT) +$(OUT): + $(MKDIR_P) $@ + +0-stamp: $(oa_algebra_layer_0_objects) + @ rm -f 0-stamp + @ $(STAMP) 0-stamp + @ echo ================================== + @ echo === layer 0 of 23 complete ====== + @ echo ================================== + +1-stamp: 0-stamp $(oa_algebra_layer_1_objects) + @ rm -f 1-stamp + @ $(STAMP) 1-stamp + @ echo ================================== + @ echo === layer 1 of 23 complete ====== + @ echo ================================== + +2-stamp: 1-stamp $(oa_algebra_layer_2_objects) + @ rm -f 2-stamp + @ $(STAMP) 2-stamp + @ echo ================================== + @ echo === layer 2 of 23 complete ====== + @ echo ================================== + +3-stamp: 2-stamp $(oa_algebra_layer_3_objects) + @ rm -f 3-stamp + @ $(STAMP) 3-stamp + @ echo ================================== + @ echo === layer 3 of 23 complete ====== + @ echo ================================== + +4-stamp: 3-stamp $(oa_algebra_layer_4_objects) + @ rm -f 4-stamp + @ $(STAMP) 4-stamp + @ echo ================================== + @ echo === layer 4 of 23 complete ====== + @ echo ================================== + +5-stamp: 4-stamp $(oa_algebra_layer_5_objects) + @ rm -f 5-stamp + @ $(STAMP) 5-stamp + @ echo ================================== + @ echo === layer 5 of 23 complete ====== + @ echo ================================== + +6-stamp: 5-stamp $(oa_algebra_layer_6_objects) + @ rm -f 6-stamp + @ $(STAMP) 6-stamp + @ echo ================================== + @ echo === layer 6 of 23 complete ====== + @ echo ================================== + +7-stamp: 6-stamp $(oa_algebra_layer_7_objects) + @ rm -f 7-stamp + @ $(STAMP) 7-stamp + @ echo ================================== + @ echo === layer 7 of 23 complete ====== + @ echo ================================== + +8-stamp: 7-stamp $(oa_algebra_layer_8_objects) + @ rm -f 8-stamp + @ $(STAMP) 8-stamp + @ echo ================================== + @ echo === layer 8 of 23 complete ====== + @ echo ================================== + +9-stamp: 8-stamp $(oa_algebra_layer_9_objects) + @ rm -f 9-stamp + @ $(STAMP) 9-stamp + @ echo ================================== + @ echo === layer 9 of 23 complete ====== + @ echo ================================== + +10-stamp: 9-stamp $(oa_algebra_layer_10_objects) + @ rm -f 10-stamp + @ $(STAMP) 10-stamp + @ echo ================================== + @ echo === layer 10 of 23 complete ====== + @ echo ================================== + +11-stamp: 10-stamp $(oa_algebra_layer_11_objects) + @ rm -f 11-stamp + @ $(STAMP) 11-stamp + @ echo ================================== + @ echo === layer 11 of 23 complete ====== + @ echo ================================== + +12-stamp: 11-stamp $(oa_algebra_layer_12_objects) + @ rm -f 12-stamp + @ $(STAMP) 12-stamp + @ echo ================================== + @ echo === layer 12 of 23 complete ====== + @ echo ================================== + +13-stamp: 12-stamp $(oa_algebra_layer_13_objects) + @ rm -f 13-stamp + @ $(STAMP) 13-stamp + @ echo ================================== + @ echo === layer 13 of 23 complete ====== + @ echo ================================== + +14-stamp: 13-stamp $(oa_algebra_layer_14_objects) + @ rm -f 14-stamp + @ $(STAMP) 14-stamp + @ echo ================================== + @ echo === layer 14 of 23 complete ====== + @ echo ================================== + +15-stamp: 14-stamp $(oa_algebra_layer_15_objects) + @ rm -f 15-stamp + @ $(STAMP) 15-stamp + @ echo ================================== + @ echo === layer 15 of 23 complete ====== + @ echo ================================== + +16-stamp: 15-stamp $(oa_algebra_layer_16_objects) + @ rm -f 16-stamp + @ $(STAMP) 16-stamp + @ echo ================================== + @ echo === layer 16 of 23 complete ====== + @ echo ================================== + +17-stamp: 16-stamp $(oa_algebra_layer_17_objects) + @ rm -f 17-stamp + @ $(STAMP) 17-stamp + @ echo ================================== + @ echo === layer 17 of 23 complete ====== + @ echo ================================== + +18-stamp: 17-stamp $(oa_algebra_layer_18_objects) + @ rm -f 18-stamp + @ $(STAMP) 18-stamp + @ echo ================================== + @ echo === layer 18 of 23 complete ====== + @ echo ================================== + +19-stamp: 18-stamp $(oa_algebra_layer_19_objects) + @ rm -f 19-stamp + @ $(STAMP) 19-stamp + @ echo ================================== + @ echo === layer 19 of 23 complete ====== + @ echo ================================== + +20-stamp: 19-stamp $(oa_algebra_layer_20_objects) + @ rm -f 20-stamp + @ $(STAMP) 20-stamp + @ echo ================================== + @ echo === layer 20 of 23 complete ====== + @ echo ================================== + +21-stamp: 20-stamp $(oa_algebra_layer_21_objects) + @ rm -f 21-stamp + @ $(STAMP) 21-stamp + @ echo ================================== + @ echo === layer 21 of 23 complete ====== + @ echo ================================== + +22-stamp: 21-stamp $(oa_algebra_layer_22_objects) + @ rm -f 22-stamp + @ $(STAMP) 22-stamp + @ echo ================================== + @ echo === layer 22 of 23 complete ====== + @ echo ================================== + +23-stamp: 22-stamp $(oa_algebra_layer_23_objects) + @ rm -f 23-stamp + @ $(STAMP) 23-stamp + @ echo ================================== + @ echo === layer 23 of 23 complete ====== + @ echo ================================== + +bootstrap-stamp: 23-stamp + @ rm -f bootstrap-stamp + @ $(STAMP) bootstrap-stamp + @ echo ================================== + @ echo === algebra complete ====== + @ echo ================================== + +user-stamp: $(oa_algebra_layer_user_objects) + @ rm -f user-stamp + @ $(STAMP) user-stamp + + +.PHONY: all-initdb +all-initdb: initdb.$(FASLEXT) + +initdb.clisp: $(SPADFILES) + $(DRIVER) --execpath=$(INTERPSYS) --system="$(oa_targetdir)" \ + --spad-srcdir=$(OUTSRC) \ + --output=initdb.$$$$ --build-initdb && \ + $(top_confdir)/move-if-change initdb.$$$$ $@ + +initdb.$(FASLEXT): initdb.clisp + $(DRIVER) --execpath=$(BOOTSYS) --syslib=$(oa_target_libdir) \ + --compile --output=$@ --load-directory=../interp $< + +mostlyclean-local: + @rm -f $(OUT)/*.$(FASLEXT) $(OUT)/*.daase + @rm -rf *.NRLIB + @rm -rf *.DAASE *.daase libdb.text + @rm -rf strap* initdb.* + @rm -f *stamp + +clean-local: mostlyclean-local + +distclean-local: clean-local + +# We use `sinclude' instead of `include' so that Automake doesn't get +# the idea of wanting to interpret the content of a file that doesn't +# exist at the time it is run. +sinclude extract.mk diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index ff4a0598..0787ccf7 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1,36 +1,52 @@ -## Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. -## All rights reserved. -## Copyright (C) 2007-2012, Gabriel Dos Reis. -## All rights reserved. -## -## Redistribution and use in source and binary forms, with or without -## modification, are permitted provided that the following conditions are -## met: -## -## - Redistributions of source code must retain the above copyright -## notice, this list of conditions and the following disclaimer. -## -## - Redistributions in binary form must reproduce the above copyright -## notice, this list of conditions and the following disclaimer in -## the documentation and/or other materials provided with the -## distribution. -## -## - Neither the name of The Numerical ALgorithms Group Ltd. nor the -## names of its contributors may be used to endorse or promote products -## derived from this software without specific prior written permission. -## -## THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS -## IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED -## TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A -## PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER -## OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, -## EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, -## PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR -## PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF -## LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING -## NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -## SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -## +# Makefile.in generated by automake 1.12.1 from Makefile.am. +# @configure_input@ + +# Copyright (C) 1994-2012 Free Software Foundation, Inc. + +# This Makefile.in is free software; the Free Software Foundation +# gives unlimited permission to copy and/or distribute it, +# with or without modifications, as long as this notice is preserved. + +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY, to the extent permitted by law; without +# even the implied warranty of MERCHANTABILITY or FITNESS FOR A +# PARTICULAR PURPOSE. + +@SET_MAKE@ + +# Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. +# All rights reserved. +# Copyright (C) 2007-2013, Gabriel Dos Reis. +# All rights reserved. +# +# Redistribution and use in source and binary forms, with or without +# modification, are permitted provided that the following conditions are +# met: +# +# - Redistributions of source code must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# +# - Redistributions in binary form must reproduce the above copyright +# notice, this list of conditions and the following disclaimer in +# the documentation and/or other materials provided with the +# distribution. +# +# - Neither the name of The Numerical Algorithms Group Ltd. nor the +# names of its contributors may be used to endorse or promote products +# derived from this software without specific prior written permission. +# +# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS +# IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED +# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A +# PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER +# OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, +# EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR +# PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF +# LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING +# NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS +# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +# # * Adding new algebra # @@ -69,38 +85,1239 @@ # of spad file dependencies. However this is, in reality, a graph rather # than a lattice. # +VPATH = @srcdir@ +am__make_dryrun = \ + { \ + am__dry=no; \ + case $$MAKEFLAGS in \ + *\\[\ \ ]*) \ + echo 'am--echo: ; @echo "AM" OK' | $(MAKE) -f - 2>/dev/null \ + | grep '^AM OK$$' >/dev/null || am__dry=yes;; \ + *) \ + for am__flg in $$MAKEFLAGS; do \ + case $$am__flg in \ + *=*|--*) ;; \ + *n*) am__dry=yes; break;; \ + esac; \ + done;; \ + esac; \ + test $$am__dry = yes; \ + } +pkgdatadir = $(datadir)/@PACKAGE@ +pkgincludedir = $(includedir)/@PACKAGE@ +pkglibdir = $(libdir)/@PACKAGE@ +pkglibexecdir = $(libexecdir)/@PACKAGE@ +am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd +install_sh_DATA = $(install_sh) -c -m 644 +install_sh_PROGRAM = $(install_sh) -c +install_sh_SCRIPT = $(install_sh) -c +INSTALL_HEADER = $(INSTALL_DATA) +transform = $(program_transform_name) +NORMAL_INSTALL = : +PRE_INSTALL = : +POST_INSTALL = : +NORMAL_UNINSTALL = : +PRE_UNINSTALL = : +POST_UNINSTALL = : +build_triplet = @build@ +host_triplet = @host@ +target_triplet = @target@ +subdir = src/algebra +DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in \ + $(top_srcdir)/config/mkinstalldirs +ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 +am__aclocal_m4_deps = $(top_srcdir)/config/libtool.m4 \ + $(top_srcdir)/config/ltoptions.m4 \ + $(top_srcdir)/config/ltsugar.m4 \ + $(top_srcdir)/config/ltversion.m4 \ + $(top_srcdir)/config/lt~obsolete.m4 \ + $(top_srcdir)/config/open-axiom.m4 $(top_srcdir)/configure.ac +am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \ + $(ACLOCAL_M4) +mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs +CONFIG_HEADER = $(top_builddir)/config/openaxiom-c-macros.h +CONFIG_CLEAN_FILES = +CONFIG_CLEAN_VPATH_FILES = +SOURCES = +DIST_SOURCES = +am__can_run_installinfo = \ + case $$AM_UPDATE_INFO_DIR in \ + n|no|NO) false;; \ + *) (install-info --version) >/dev/null 2>&1;; \ + esac +am__tty_colors_dummy = \ + mgn= red= grn= lgn= blu= brg= std=; \ + am__color_tests=no +am__tty_colors = $(am__tty_colors_dummy) +DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) +ACLOCAL = @ACLOCAL@ +AMTAR = @AMTAR@ +AR = @AR@ +AS = @AS@ +AUTOCONF = @AUTOCONF@ +AUTOHEADER = @AUTOHEADER@ +AUTOMAKE = @AUTOMAKE@ +AWK = @AWK@ +AXIOM_LISP = @AXIOM_LISP@ +CC = @CC@ +CCDEPMODE = @CCDEPMODE@ +CFLAGS = @CFLAGS@ +CPP = @CPP@ +CPPFLAGS = @CPPFLAGS@ +CXX = @CXX@ +CXXCPP = @CXXCPP@ +CXXDEPMODE = @CXXDEPMODE@ +CXXFLAGS = @CXXFLAGS@ +CYGPATH_W = @CYGPATH_W@ +DEFS = @DEFS@ +DEPDIR = @DEPDIR@ +DLLTOOL = @DLLTOOL@ +DSYMUTIL = @DSYMUTIL@ +DUMPBIN = @DUMPBIN@ +ECHO_C = @ECHO_C@ +ECHO_N = @ECHO_N@ +ECHO_T = @ECHO_T@ +EGREP = @EGREP@ +EXEEXT = @EXEEXT@ +FGREP = @FGREP@ +GCLOPTS = @GCLOPTS@ +GREP = @GREP@ +INSTALL = @INSTALL@ +INSTALL_DATA = @INSTALL_DATA@ +INSTALL_PROGRAM = @INSTALL_PROGRAM@ +INSTALL_SCRIPT = @INSTALL_SCRIPT@ +INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@ +LATEX = @LATEX@ +LD = @LD@ +LDFLAGS = @LDFLAGS@ +LIBOBJS = @LIBOBJS@ +LIBS = @LIBS@ +LIBTOOL = @LIBTOOL@ +LIBTOOL_DEPS = @LIBTOOL_DEPS@ +LIPO = @LIPO@ +LN_S = @LN_S@ +LTLIBOBJS = @LTLIBOBJS@ +MAKE = @MAKE@ +MAKEINDEX = @MAKEINDEX@ +MAKEINFO = @MAKEINFO@ +MANIFEST_TOOL = @MANIFEST_TOOL@ +MKDIR_P = @MKDIR_P@ +MKTEMP = @MKTEMP@ +NM = @NM@ +NMEDIT = @NMEDIT@ +OA_QT_MOC = @OA_QT_MOC@ +OA_QT_QMAKE = @OA_QT_QMAKE@ +OBJDUMP = @OBJDUMP@ +OBJEXT = @OBJEXT@ +OTOOL = @OTOOL@ +OTOOL64 = @OTOOL64@ +PACKAGE = @PACKAGE@ +PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@ +PACKAGE_NAME = @PACKAGE_NAME@ +PACKAGE_STRING = @PACKAGE_STRING@ +PACKAGE_TARNAME = @PACKAGE_TARNAME@ +PACKAGE_URL = @PACKAGE_URL@ +PACKAGE_VERSION = @PACKAGE_VERSION@ +PATH_SEPARATOR = @PATH_SEPARATOR@ +PDFLATEX = @PDFLATEX@ +RANLIB = @RANLIB@ +SED = @SED@ +SET_MAKE = @SET_MAKE@ +SHELL = @SHELL@ +STRIP = @STRIP@ +TOUCH = @TOUCH@ +VERSION = @VERSION@ +XMKMF = @XMKMF@ +X_CFLAGS = @X_CFLAGS@ +X_CLFAGS = @X_CLFAGS@ +X_EXTRA_LIBS = @X_EXTRA_LIBS@ +X_LIBS = @X_LIBS@ +X_PRE_LIBS = @X_PRE_LIBS@ +abs_builddir = @abs_builddir@ +abs_srcdir = @abs_srcdir@ +abs_top_builddir = @abs_top_builddir@ +abs_top_srcdir = @abs_top_srcdir@ +ac_ct_AR = @ac_ct_AR@ +ac_ct_CC = @ac_ct_CC@ +ac_ct_CXX = @ac_ct_CXX@ +ac_ct_DUMPBIN = @ac_ct_DUMPBIN@ +am__include = @am__include@ +am__leading_dot = @am__leading_dot@ +am__quote = @am__quote@ +am__tar = @am__tar@ +am__untar = @am__untar@ +axiom_cflags = @axiom_cflags@ +axiom_eval_flags = @axiom_eval_flags@ +axiom_fasl_type = @axiom_fasl_type@ +axiom_lisp_flavor = @axiom_lisp_flavor@ +axiom_quiet_flags = @axiom_quiet_flags@ +axiom_use_x = @axiom_use_x@ +bindir = @bindir@ +build = @build@ +build_alias = @build_alias@ +build_cpu = @build_cpu@ +build_os = @build_os@ +build_vendor = @build_vendor@ +builddir = @builddir@ +char_type = @char_type@ +datadir = @datadir@ +datarootdir = @datarootdir@ +docdir = @docdir@ +double_type = @double_type@ +dvidir = @dvidir@ +exec_prefix = @exec_prefix@ +float_type = @float_type@ +host = @host@ +host_alias = @host_alias@ +host_cpu = @host_cpu@ +host_os = @host_os@ +host_vendor = @host_vendor@ +htmldir = @htmldir@ +includedir = @includedir@ +infodir = @infodir@ +install_sh = @install_sh@ +int_type = @int_type@ +libdir = @libdir@ +libexecdir = @libexecdir@ +libext = @libext@ +localedir = @localedir@ +localstatedir = @localstatedir@ +mandir = @mandir@ +mkdir_p = @mkdir_p@ +oa_c_runtime = @oa_c_runtime@ +oa_c_runtime_extra = @oa_c_runtime_extra@ +oa_delay_ffi = @oa_delay_ffi@ +oa_editor = @oa_editor@ +oa_enable_checking = @oa_enable_checking@ +oa_enable_profiling = @oa_enable_profiling@ +oa_enable_threads = @oa_enable_threads@ +oa_keep_files = @oa_keep_files@ +oa_optimize_options = @oa_optimize_options@ +oa_shrlib_flags = @oa_shrlib_flags@ +oa_shrobj_flags = @oa_shrobj_flags@ +oa_standard_linking = @oa_standard_linking@ +oa_use_dynamic_lib = @oa_use_dynamic_lib@ +oa_use_libtool_for_shared_lib = @oa_use_libtool_for_shared_lib@ +oldincludedir = @oldincludedir@ +open_axiom_installdir = @open_axiom_installdir@ +openaxiom_host_has_regex = @openaxiom_host_has_regex@ +pdfdir = @pdfdir@ +prefix = @prefix@ +program_transform_name = @program_transform_name@ +psdir = @psdir@ +sbindir = @sbindir@ +shared_ext = @shared_ext@ +sharedstatedir = @sharedstatedir@ +srcdir = @srcdir@ +string_type = @string_type@ +sysconfdir = @sysconfdir@ +target = @target@ +target_alias = @target_alias@ +target_cpu = @target_cpu@ +target_os = @target_os@ +target_vendor = @target_vendor@ +top_build_prefix = @top_build_prefix@ +top_builddir = @top_builddir@ +top_srcdir = @top_srcdir@ +void_type = @void_type@ +oa_targetdir = $(top_builddir)/$(target) +oa_target_bindir = $(oa_targetdir)/bin +oa_target_libdir = $(oa_targetdir)/lib +oa_target_docdir = $(oa_targetdir)/doc +oa_target_srcdir = $(oa_targetdir)/src +oa_target_datadir = $(oa_targetdir)/share +oa_src_srcdir = $(top_srcdir)/src +oa_src_docdir = $(top_srcdir)/doc +oa_src_datadir = $(oa_src_srcdir)/share +oa_builddir = $(top_builddir)/build-$(build) +oa_build_bindir = $(oa_builddir)/bin +oa_build_texdir = $(oa_builddir)/texmf/tex +oa_build_docdir = $(oa_builddir)/doc +top_confdir = $(top_srcdir)/config +OUT = $(oa_targetdir)/algebra +DOC = $(oa_target_docdir)/src/algebra +OUTSRC = $(oa_target_srcdir)/algebra +INPUT = ../input +STAMP = echo timestamp > + +# Extension of the output file name returned by compile-file +FASLEXT = @axiom_fasl_type@ +oa_hammer = $(top_builddir)/src/utils/hammer$(EXEEXT) + +# Name of the driver to launch the compiler +DRIVER = ../driver/open-axiom$(EXEEXT) +INTERPSYS = ../interp/interpsys$(EXEEXT) +BOOTSYS = $(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 +SPADFILES = \ + $(OUTSRC)/acplot.spad $(OUTSRC)/aggcat2.spad $(OUTSRC)/aggcat.spad \ + $(OUTSRC)/algcat.spad $(OUTSRC)/algext.spad $(OUTSRC)/algfact.spad \ + $(OUTSRC)/algfunc.spad $(OUTSRC)/allfact.spad $(OUTSRC)/alql.spad \ + $(OUTSRC)/annacat.spad $(OUTSRC)/any.spad $(OUTSRC)/array1.spad \ + $(OUTSRC)/array2.spad $(OUTSRC)/asp.spad $(OUTSRC)/attreg.spad \ + $(OUTSRC)/bags.spad $(OUTSRC)/bezout.spad $(OUTSRC)/boolean.spad \ + $(OUTSRC)/brill.spad $(OUTSRC)/domain.spad \ + $(OUTSRC)/c02.spad $(OUTSRC)/c05.spad $(OUTSRC)/c06.spad \ + $(OUTSRC)/card.spad $(OUTSRC)/carten.spad $(OUTSRC)/catdef.spad \ + $(OUTSRC)/cden.spad $(OUTSRC)/clifford.spad $(OUTSRC)/clip.spad \ + $(OUTSRC)/cmplxrt.spad $(OUTSRC)/coerce.spad $(OUTSRC)/color.spad \ + $(OUTSRC)/combfunc.spad $(OUTSRC)/combinat.spad $(OUTSRC)/complet.spad \ + $(OUTSRC)/constant.spad $(OUTSRC)/contfrac.spad $(OUTSRC)/cont.spad \ + $(OUTSRC)/coordsys.spad $(OUTSRC)/cra.spad $(OUTSRC)/crfp.spad \ + $(OUTSRC)/curve.spad $(OUTSRC)/cycles.spad $(OUTSRC)/cyclotom.spad \ + $(OUTSRC)/d01agents.spad $(OUTSRC)/d01Package.spad \ + $(OUTSRC)/d01routine.spad $(OUTSRC)/d01.spad $(OUTSRC)/d01transform.spad \ + $(OUTSRC)/d01weights.spad $(OUTSRC)/d02agents.spad \ + $(OUTSRC)/d02Package.spad $(OUTSRC)/d02routine.spad $(OUTSRC)/d02.spad \ + $(OUTSRC)/d03agents.spad $(OUTSRC)/d03Package.spad \ + $(OUTSRC)/d03routine.spad $(OUTSRC)/d03.spad $(OUTSRC)/ddfact.spad \ + $(OUTSRC)/defaults.spad $(OUTSRC)/defintef.spad $(OUTSRC)/defintrf.spad \ + $(OUTSRC)/degred.spad $(OUTSRC)/derham.spad $(OUTSRC)/dhmatrix.spad \ + $(OUTSRC)/divisor.spad $(OUTSRC)/dpolcat.spad $(OUTSRC)/drawopt.spad \ + $(OUTSRC)/drawpak.spad $(OUTSRC)/draw.spad \ + $(OUTSRC)/e01.spad $(OUTSRC)/e02.spad $(OUTSRC)/e04agents.spad \ + $(OUTSRC)/e04Package.spad $(OUTSRC)/e04routine.spad $(OUTSRC)/e04.spad \ + $(OUTSRC)/efstruc.spad $(OUTSRC)/efuls.spad $(OUTSRC)/efupxs.spad \ + $(OUTSRC)/eigen.spad $(OUTSRC)/elemntry.spad $(OUTSRC)/elfuts.spad \ + $(OUTSRC)/equation1.spad $(OUTSRC)/equation2.spad $(OUTSRC)/error.spad \ + $(OUTSRC)/expexpan.spad $(OUTSRC)/expr2ups.spad \ + $(OUTSRC)/exprode.spad $(OUTSRC)/expr.spad \ + $(OUTSRC)/f01.spad $(OUTSRC)/f02.spad $(OUTSRC)/f04.spad \ + $(OUTSRC)/f07.spad $(OUTSRC)/facutil.spad $(OUTSRC)/ffcat.spad \ + $(OUTSRC)/ffcg.spad $(OUTSRC)/fff.spad $(OUTSRC)/ffhom.spad \ + $(OUTSRC)/ffnb.spad $(OUTSRC)/ffpoly2.spad $(OUTSRC)/ffpoly.spad \ + $(OUTSRC)/ffp.spad $(OUTSRC)/ffx.spad \ + $(OUTSRC)/files.spad $(OUTSRC)/float.spad $(OUTSRC)/fmod.spad \ + $(OUTSRC)/fname.spad $(OUTSRC)/fnla.spad \ + $(OUTSRC)/fortcat.spad $(OUTSRC)/fortmac.spad $(OUTSRC)/fortpak.spad \ + $(OUTSRC)/fortran.spad $(OUTSRC)/forttyp.spad $(OUTSRC)/fourier.spad \ + $(OUTSRC)/fparfrac.spad $(OUTSRC)/fraction.spad $(OUTSRC)/free.spad \ + $(OUTSRC)/fr.spad $(OUTSRC)/fs2expxp.spad $(OUTSRC)/fs2ups.spad \ + $(OUTSRC)/fspace.spad $(OUTSRC)/funcpkgs.spad $(OUTSRC)/functions.spad \ + $(OUTSRC)/galfact.spad $(OUTSRC)/galfactu.spad $(OUTSRC)/galpolyu.spad \ + $(OUTSRC)/galutil.spad $(OUTSRC)/gaussfac.spad $(OUTSRC)/gaussian.spad \ + $(OUTSRC)/gbeuclid.spad $(OUTSRC)/gbintern.spad $(OUTSRC)/gb.spad \ + $(OUTSRC)/gdirprod.spad $(OUTSRC)/gdpoly.spad $(OUTSRC)/geneez.spad \ + $(OUTSRC)/generic.spad $(OUTSRC)/genufact.spad $(OUTSRC)/genups.spad \ + $(OUTSRC)/ghensel.spad $(OUTSRC)/gpgcd.spad $(OUTSRC)/gpol.spad \ + $(OUTSRC)/grdef.spad $(OUTSRC)/groebf.spad $(OUTSRC)/groebsol.spad \ + $(OUTSRC)/gseries.spad \ + $(OUTSRC)/ideal.spad $(OUTSRC)/idecomp.spad $(OUTSRC)/indexedp.spad \ + $(OUTSRC)/infprod.spad $(OUTSRC)/intaf.spad $(OUTSRC)/intalg.spad \ + $(OUTSRC)/intaux.spad $(OUTSRC)/intclos.spad $(OUTSRC)/intef.spad \ + $(OUTSRC)/integer.spad $(OUTSRC)/integrat.spad \ + $(OUTSRC)/interval.spad \ + $(OUTSRC)/intfact.spad $(OUTSRC)/intpm.spad \ + $(OUTSRC)/intrf.spad \ + $(OUTSRC)/irexpand.spad \ + $(OUTSRC)/irsn.spad $(OUTSRC)/ituple.spad \ + $(OUTSRC)/kl.spad $(OUTSRC)/kovacic.spad \ + $(OUTSRC)/laplace.spad $(OUTSRC)/laurent.spad $(OUTSRC)/leadcdet.spad \ + $(OUTSRC)/lie.spad $(OUTSRC)/limitps.spad $(OUTSRC)/lindep.spad \ + $(OUTSRC)/lingrob.spad $(OUTSRC)/liouv.spad $(OUTSRC)/listgcd.spad \ + $(OUTSRC)/list.spad $(OUTSRC)/lmdict.spad $(OUTSRC)/lodof.spad \ + $(OUTSRC)/lodop.spad $(OUTSRC)/lodo.spad \ + $(OUTSRC)/manip.spad $(OUTSRC)/mappkg.spad $(OUTSRC)/matcat.spad \ + $(OUTSRC)/matfuns.spad $(OUTSRC)/mathml.spad \ + $(OUTSRC)/matrix.spad $(OUTSRC)/matstor.spad \ + $(OUTSRC)/mesh.spad $(OUTSRC)/mfinfact.spad $(OUTSRC)/misc.spad \ + $(OUTSRC)/mkfunc.spad $(OUTSRC)/mkrecord.spad \ + $(OUTSRC)/mlift.spad $(OUTSRC)/moddfact.spad $(OUTSRC)/modgcd.spad \ + $(OUTSRC)/modmonom.spad $(OUTSRC)/modmon.spad $(OUTSRC)/modring.spad \ + $(OUTSRC)/moebius.spad $(OUTSRC)/mring.spad $(OUTSRC)/mset.spad \ + $(OUTSRC)/mts.spad $(OUTSRC)/multfact.spad $(OUTSRC)/multpoly.spad \ + $(OUTSRC)/multsqfr.spad \ + $(OUTSRC)/naalgc.spad $(OUTSRC)/naalg.spad \ + $(OUTSRC)/newdata.spad $(OUTSRC)/newpoint.spad \ + $(OUTSRC)/newpoly.spad $(OUTSRC)/nlinsol.spad $(OUTSRC)/nlode.spad \ + $(OUTSRC)/npcoef.spad \ + $(OUTSRC)/nregset.spad \ + $(OUTSRC)/nsregset.spad $(OUTSRC)/numeigen.spad $(OUTSRC)/numeric.spad \ + $(OUTSRC)/numode.spad $(OUTSRC)/numquad.spad $(OUTSRC)/numsolve.spad \ + $(OUTSRC)/numtheor.spad \ + $(OUTSRC)/oct.spad $(OUTSRC)/odealg.spad $(OUTSRC)/odeef.spad \ + $(OUTSRC)/oderf.spad $(OUTSRC)/opalg.spad \ + $(OUTSRC)/op.spad $(OUTSRC)/ore.spad \ + $(OUTSRC)/outform.spad $(OUTSRC)/out.spad \ + $(OUTSRC)/pade.spad $(OUTSRC)/padiclib.spad $(OUTSRC)/padic.spad \ + $(OUTSRC)/paramete.spad $(OUTSRC)/partperm.spad $(OUTSRC)/patmatch1.spad \ + $(OUTSRC)/patmatch2.spad $(OUTSRC)/pattern.spad $(OUTSRC)/pcurve.spad \ + $(OUTSRC)/pdecomp.spad $(OUTSRC)/perman.spad $(OUTSRC)/permgrps.spad \ + $(OUTSRC)/perm.spad $(OUTSRC)/pfbr.spad $(OUTSRC)/pfo.spad \ + $(OUTSRC)/pfr.spad $(OUTSRC)/pf.spad $(OUTSRC)/pgcd.spad \ + $(OUTSRC)/pgrobner.spad $(OUTSRC)/pinterp.spad $(OUTSRC)/pleqn.spad \ + $(OUTSRC)/plot3d.spad $(OUTSRC)/plot.spad $(OUTSRC)/plottool.spad \ + $(OUTSRC)/polset.spad $(OUTSRC)/poltopol.spad $(OUTSRC)/polycat.spad \ + $(OUTSRC)/poly.spad $(OUTSRC)/primelt.spad $(OUTSRC)/print.spad \ + $(OUTSRC)/product.spad $(OUTSRC)/prs.spad $(OUTSRC)/prtition.spad \ + $(OUTSRC)/pscat.spad $(OUTSRC)/pseudolin.spad $(OUTSRC)/ptranfn.spad \ + $(OUTSRC)/puiseux.spad \ + $(OUTSRC)/qalgset.spad $(OUTSRC)/quat.spad \ + $(OUTSRC)/radeigen.spad $(OUTSRC)/radix.spad $(OUTSRC)/random.spad \ + $(OUTSRC)/ratfact.spad $(OUTSRC)/rdeef.spad $(OUTSRC)/rderf.spad \ + $(OUTSRC)/rdesys.spad $(OUTSRC)/real0q.spad $(OUTSRC)/realzero.spad \ + $(OUTSRC)/reclos.spad $(OUTSRC)/regset.spad $(OUTSRC)/rep1.spad \ + $(OUTSRC)/rep2.spad $(OUTSRC)/resring.spad $(OUTSRC)/retract.spad \ + $(OUTSRC)/rf.spad $(OUTSRC)/riccati.spad $(OUTSRC)/rinterp.spad \ + $(OUTSRC)/routines.spad \ + $(OUTSRC)/rule.spad \ + $(OUTSRC)/seg.spad $(OUTSRC)/setorder.spad $(OUTSRC)/sets.spad \ + $(OUTSRC)/sex.spad $(OUTSRC)/sf.spad $(OUTSRC)/sgcf.spad \ + $(OUTSRC)/sign.spad $(OUTSRC)/si.spad $(OUTSRC)/smith.spad \ + $(OUTSRC)/solvedio.spad $(OUTSRC)/solvefor.spad $(OUTSRC)/solvelin.spad \ + $(OUTSRC)/solverad.spad $(OUTSRC)/sortpak.spad $(OUTSRC)/space.spad \ + $(srcdir)/spad-parser.spad \ + $(OUTSRC)/special.spad $(OUTSRC)/sregset.spad $(OUTSRC)/s.spad \ + $(OUTSRC)/stream.spad $(OUTSRC)/string.spad $(OUTSRC)/sttaylor.spad \ + $(OUTSRC)/sttf.spad $(OUTSRC)/sturm.spad $(OUTSRC)/suchthat.spad \ + $(OUTSRC)/suls.spad $(OUTSRC)/sum.spad $(OUTSRC)/sups.spad \ + $(OUTSRC)/supxs.spad $(OUTSRC)/suts.spad $(OUTSRC)/symbol.spad \ + $(OUTSRC)/syntax.spad \ + $(OUTSRC)/syssolp.spad $(OUTSRC)/system.spad \ + $(OUTSRC)/tableau.spad $(OUTSRC)/table.spad $(OUTSRC)/taylor.spad \ + $(OUTSRC)/tex.spad $(OUTSRC)/tools.spad $(OUTSRC)/transsolve.spad \ + $(OUTSRC)/tree.spad $(OUTSRC)/trigcat.spad $(OUTSRC)/triset.spad \ + $(OUTSRC)/tube.spad $(OUTSRC)/twofact.spad \ + $(OUTSRC)/unifact.spad $(OUTSRC)/updecomp.spad $(OUTSRC)/updivp.spad \ + $(OUTSRC)/utsode.spad \ + $(OUTSRC)/variable.spad $(OUTSRC)/vector.spad $(OUTSRC)/view2D.spad \ + $(OUTSRC)/view3D.spad $(OUTSRC)/viewDef.spad $(OUTSRC)/viewpack.spad \ + $(OUTSRC)/void.spad \ + $(OUTSRC)/weier.spad $(OUTSRC)/wtpol.spad \ + $(OUTSRC)/xlpoly.spad $(OUTSRC)/xpoly.spad \ + $(OUTSRC)/ystream.spad \ + $(OUTSRC)/zerodim.spad + +TESTS = $(INPUT)/INTHEORY.input $(INPUT)/VIEW2D.input $(INPUT)/TESTFR.input +oa_algebra_layer_0 = \ + AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \ + KRCFROM KVTFROM IEVALAB IEVALAB- EVALAB EVALAB- \ + RETRACT RETRACT- SETCAT SETCAT- VOID SEGCAT \ + MSYSCMD FINITE FINITE- IDEMOPC OUT \ + PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \ + BMODULE SGPOPC BASTYPE BASTYPE- STEP LMODULE \ + RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \ + ABELSG- ORDSET SGPOP OASGP FILECAT SEXCAT \ + MODULE MODULE- PID OAGROUP OAGROUP- OCAMON \ + OAMON OAMON- DIOID MONOPC \ + RNG ORDFIN LLINSET RLINSET LINSET OAMONS \ + MKBCFUNC MKRECORD MKUCFUNC DROPT1 PLOT1 ITFUN2 \ + ITFUN3 STREAM1 STREAM2 STREAM3 ANY1 SEGBIND2 \ + COMBOPC EQ2 NONE1 CONDUIT IOMODE CTORKIND \ + AGG AGG- ELTAGG ELTAGG- IXAGG IXAGG- \ + BGAGG BGAGG- BRAGG BRAGG- ELAGG ELAGG- \ + DLAGG DQAGG QUAGG SKAGG PRQAGG ALAGG \ + FLAGG FLAGG- URAGG URAGG- LNAGG LNAGG- \ + A1AGG A1AGG- LSAGG LSAGG- SRAGG SRAGG- \ + FSAGG FSAGG- STAGG STAGG- CLAGG CLAGG- \ + RCAGG RCAGG- SETAGG SETAGG- HOAGG HOAGG- \ + TBAGG TBAGG- KDAGG KDAGG- DIAGG DIAGG- \ + DIOPS DIOPS- STRING \ + LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \ + LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ + RTVALUE SYSPTR PDDOM PDDOM- PDSPC PDSPC- \ + DSEXT DSEXT- ORDTYPE ORDTYPE- ORDSTRCT \ + BOOLE BOOLE- REF ALIST PRIMARR SRING \ + INS INS- DIVRING DIVRING- EUCDOM EUCDOM- \ + BINOPC BINOP FPS FPS- RNS RNS- \ + POLYCAT POLYCAT- QFCAT QFCAT- \ + INT NNI PI SINT SYMBOL DFLOAT + +oa_algebra_layer_0_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_0)) + +oa_algebra_layer_0_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_0))) + +oa_algebra_layer_1 = \ + ABELGRP ABELGRP- ABELMON ABELMON- ITUPLE \ + CABMON MONOID MONOID- RING RING- COMRING \ + DIFRING SRING ENTIRER INTDOM INTDOM- OINTDOM \ + GCDDOM GCDDOM- UFD UFD- ES ES- \ + PATAB PPCURVE PSCURVE CACHSET RESLATC \ + IDENT OUTFORM BINDING BOOLEAN \ + ORDRING FEVALAB FEVALAB- IARRAY1 \ + OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ + FIELD FIELD- VECTCAT VECTCAT- MONOP \ + PROPERTY ARITY OPERCAT OPERCAT- PAIR STREAM \ + RADCAT RADCAT- PDMOD DMEXT LZSTAGG LZSTAGG- + +oa_algebra_layer_1_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_1)) + +oa_algebra_layer_1_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_1))) + +oa_algebra_layer_2 = \ + SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \ + COMMONOP FNCAT SCACHE BOP BOP1 \ + DOMTMPLT FCTRDATA + +oa_algebra_layer_2_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_2)) + +oa_algebra_layer_2_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_2))) + +oa_algebra_layer_3 = \ + GRDEF SCOPE MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1 \ + MAPPKG2 MAPPKG3 INTBIT MONAD MONAD- + +oa_algebra_layer_3_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_3)) + +oa_algebra_layer_3_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_3))) + +oa_algebra_layer_4 = \ + ANON OSI COMM COMPPROP EXIT \ + FAMONC FORMULA1 IDPC NONE \ + COLOR ONECOMP2 \ + PALETTE PARPCURV PARPC2 PARSCURV PARSC2 PARSURF \ + PARSU2 PATRES2 PATTERN1 PDECAT \ + REPSQ REPDB RFDIST RIDIST SPACEC SPLNODE \ + SUCH TEX1 UDVO YSTREAM ENV \ + ATRIG ATRIG- GROUP GROUP- LALG LALG- + +oa_algebra_layer_4_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_4)) + +oa_algebra_layer_4_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_4))) + +oa_algebra_layer_5 = \ + CHARNZ DVARCAT DVARCAT- ELEMFUN \ + ELEMFUN- FCOMP FPATMAB IDPAM IDPO \ + INCRMAPS KERNEL2 MODMONOM MONADWU MONADWU- \ + MRF2 NARNG NARNG- NSUP2 ODVAR OPQUERY \ + ORDMON PATMATCH PERMCAT PDRING \ + SDVAR SUP2 TRIGCAT TRIGCAT- ULS2 UP2 \ + ELABEXPR KERNEL + +oa_algebra_layer_5_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_5)) + +oa_algebra_layer_5_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_5))) + +oa_algebra_layer_6 = \ + PROPFRML PROPFUN1 AUTOMOR CARTEN2 CHARPOL COMPLEX2 \ + DIFEXT ES1 ES2 GRMOD GRMOD- \ + HYPCAT HYPCAT- MODRING NASRING NASRING- \ + SORTPAK ZMOD PROPFUN2 \ + KTVLOGIC BYTE SYSINT SYSNNI + +oa_algebra_layer_6_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_6)) + +oa_algebra_layer_6_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_6))) + +oa_algebra_layer_7 = \ + BTCAT BTCAT- LMOPS FMCAT IDPOAM \ + IFAMON GRALG GRALG- \ + INT8 INT16 INT32 INT64 UINT8 UINT16 \ + UINT32 UINT64 + +oa_algebra_layer_7_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_7)) + +oa_algebra_layer_7_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_7))) + +oa_algebra_layer_8 = \ + BSTREE BTOURN CARD DRAWHACK FACTFUNC TREE \ + FR2 FRAC2 FRUTIL ITAYLOR MLO NAALG \ + NAALG- OP ORDCOMP2 RANDSRC UNISEG2 XALG \ + BTREE POLY SMP ARR2CAT ARR2CAT- + +oa_algebra_layer_8_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_8)) + +oa_algebra_layer_8_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_8))) + +oa_algebra_layer_9 = \ + AMR AMR- DEGRED DLP EAB \ + FAGROUP FAMONOID FLINEXP FLINEXP- FRETRCT FRETRCT- \ + FSERIES FT IDPAG IDPOAMS INFINITY LA \ + OMLO ORTHPOL PRODUCT PADICCT PMPRED PMASS \ + PTFUNC2 RATRET RADUTIL UPXS2 \ + XFALG ZLINDEP BBTREE TABLE INTABL \ + SIG FMONCAT FST + +oa_algebra_layer_9_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_9)) + +oa_algebra_layer_9_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_9))) + +oa_algebra_layer_10 = \ + BPADIC ANY LWORD FR \ + SEXOF CRAPACK DEQUEUE DLIST \ + DRAWCX \ + DRAWPT FAMR FAMR- FLASORT \ + FLAGG2 FGROUP FM FM1 \ + FPC FPC- FMONOID INDE \ + IPADIC IROOT IR2 LEXP \ + LIECAT LIECAT- LIST2 LIST2MAP \ + SEX HASHTBL MAGMA \ + MESH MOEBIUS MODFIELD MODOP \ + MRING MTHING NCNTFRAC NCODIV \ + NUMTUBE ODR OFMONOID ONECOMP \ + ORDCOMP OREPCAT OREPCAT- OWP \ + PADIC PATTERN2 PATLRES PARTPERM \ + PBWLB PENDTREE PGE PGROEB \ + PINTERP PLOTTOOL PFR PMDOWN \ + PRTITION PMINS PMLSAGG PMTOOLS \ + PSCAT PSCAT- QFORM QUEUE \ + SQMATRIX SEG SEG2 MTSCAT \ + STACK STTAYLOR TABLBUMP TABLEAU \ + TOPSP TRANFUN TRANFUN- TUBE \ + UDPO UNISEG VIEW VSPACE \ + VSPACE- XPOLYC XPR BTAGG BTAGG- \ + FUNDESC XPBWPOLY SMATCAT SMATCAT- \ + RMATRIX RMATCAT RMATCAT- DIRPROD \ + DIRPCAT DIRPCAT- IVECTOR MATRIX \ + MATCAT MATCAT- IIARRAY2 FFIELDC FFIELDC- + +oa_algebra_layer_10_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_10)) + +oa_algebra_layer_10_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_10))) + +oa_algebra_layer_11 = \ + APPLYORE ARRAY1 ARRAY12 ARRAY2 \ + ASTACK COMBINAT POINT PTCAT \ + CSTTOOLS FARRAY \ + FLALG GALUTIL HEAP \ + IARRAY2 IFARRAY INTCAT INTHEORY \ + IRREDFFX LFCAT LODOCAT LODOCAT- \ + MATSTOR \ + ORESUP OREPCTO OREUP PLOT3D \ + PR PREASSOC PRIMARR2 REDORDER \ + SYMPOLY \ + TS TUPLE UPSCAT UPSCAT- \ + XDPOLY XEXPPKG \ + XF XF- XPOLY \ + XRPOLY FFIELDC FFIELDC- MTSCAT + +oa_algebra_layer_11_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_11)) + +oa_algebra_layer_11_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_11))) + +oa_algebra_layer_12 = \ + ULSCAT BITS DIRPROD2 IMATRIX \ + LPOLY LSMP LSMP1 MATCAT2 TRIMAT \ + SYSTEM HOSTNAME PORTNUM + +oa_algebra_layer_12_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_12)) + +oa_algebra_layer_12_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_12))) + +oa_algebra_layer_13 = \ + ASSOCEQ CARTEN CLIF CLIP \ + UPOLYC UPOLYC- \ + COORDSYS DBASE DHMATRIX DIOSP \ + FAXF FAXF- FFPOLY2 \ + FNLA GRAY HB IRSN \ + MHROWRED NUMODE NUMQUAD \ + ODESYS ODETOOLS ORDFUNS PERMAN \ + PFECAT PFECAT- PSEUDLIN \ + PTPACK REP2 SETMN \ + SYMFUNC VECTOR2 VECTOR CHAR \ + INBCON INBCON- OUTBCON OUTBCON- + +oa_algebra_layer_13_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_13)) + +oa_algebra_layer_13_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_13))) + +oa_algebra_layer_14 = \ + FS FS- ACF ACF- \ + ACFS ACFS- BALFACT BEZOUT BINARY BINFILE BOUNDZRO \ + BPADICRT BRILL CDEN CHVAR \ + COMMUPC CONTFRAC CVMP CYCLOTOM \ + CYCLES DDFACT DECIMAL DISPLAY DMP \ + DPMO DPOLCAT DPOLCAT- EMR EQ ERROR \ + EVALCYC FACUTIL FF FFCG \ + FFCGX FFHOM FFNB FFNBX \ + FFPOLY FFX FFSLPE FGLMICPK \ + FILE FINAALG FINAALG- FINRALG \ + FINRALG- FLOATRP FNAME \ + FORMULA FRAC \ + GENEEZ GENMFACT GENPGCD \ + GALFACTU GALPOLYU GB GBEUCLID \ + GBF GBINTERN GHENSEL GMODPOL \ + GOSPER GRIMAGE GROEBSOL HDMP \ + HDP HEXADEC HEUGCD IBPTOOLS \ + IFF ICARD ICDEN \ + IDECOMP IMATLIN IMATQF \ + INMODGCD INNMFACT INPSIGN INTHERTR \ + INTRAT INTRF INTSLPE INTTR \ + ISUMP LAUPOL LEADCDET LGROBP \ + LIMITRF LINDEP LO LPEFRAC \ + LSPP MATLIN MCDEN MDDFACT \ + MFINFACT MLIFT \ + MMAP MODMON MONOTOOL MPCPF \ + MPC2 MPC3 MPOLY MPRFF \ + MRATFAC MULTSQFR NORMRETR NPCOEF \ + NSUP NTPOLFN ODP ODEPRIM \ + ODEPRRIC PADEPAC \ + PADICRAT PADICRC PCOMP PDECOMP \ + PF PFBR PFBRU PFOTOOLS \ + PFRPAC PGCD PINTERPA PLEQN \ + PMPLCAT PMQFCAT PNTHEORY POLUTIL \ + POLTOPOL POLYCATQ POLYLIFT POLYROOT \ + POLY2 POLY2UP PRS PSQFR \ + PUSHVAR QALGSET QFCAT2 RADIX \ + RATFACT RCFIELD RCFIELD- RDETR \ + RDETRS REAL0 REAL0Q REALSOLV \ + RESRING RETSOL RF RFFACTOR \ + RRCC RRCC- \ + SCPKG SHDP SHP SIGNRF \ + SMITH SMTS SOLVEFOR \ + SPLTREE STINPROD STTFNC SUBRESP \ + SUMRF SUP SUPFRACF TANEXP \ + TEX TEXTFILE \ + TWOFACT UNIFACT UP UPCDEN \ + UPDECOMP UPDIVP UPMP UPOLYC2 \ + UPXSCAT UPSQFREE VIEWDEF VIEW2D \ + WEIER WP \ + EQTBL GSTBL \ + STBL STRTBL\ + SYMS SYMTAB \ + IOBCON + +oa_algebra_layer_14_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_14)) + +oa_algebra_layer_14_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_14))) + +oa_algebra_layer_15 = \ + DSMP EXPUPXS UPXS UPXSCONS \ + FRAMALG FRAMALG- MDAGG ODPOL \ + PLOT RMCAT2 ROIRC SDPOL \ + ULS ULSCONS TUBETOOL UPXSCCA \ + UPXSCCA- JVMBCODE BYTEBUF OVERSET \ + ULSCCAT ULSCCAT- UTS UTSCAT UTSCAT- + +oa_algebra_layer_15_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_15)) + +oa_algebra_layer_15_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_15))) + +oa_algebra_layer_16 = \ + DPMM EFUPXS FFINTBAS FRIDEAL \ + FRIDEAL2 FRMOD \ + IBATOOL INTFACT \ + MSETAGG MONOGEN MONOGEN- NFINTBAS \ + SPACE3 FFF SUBSPACE + +oa_algebra_layer_16_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_16)) + +oa_algebra_layer_16_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_16))) + +oa_algebra_layer_17 = \ + CCLASS FSAGG2 GALFACT IALGFACT CTORCAT CTORCAT- \ + IBACHIN MMLFORM NORMMA ODERED OMSAGG OPSIG \ + PERM PERMGRP PRIMES PWFFINTB DROPT \ + RDIST SAE SAEFACT SAERFFC \ + SGCF VIEW3D + +oa_algebra_layer_17_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_17)) + +oa_algebra_layer_17_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_17))) + +oa_algebra_layer_18 = \ + IPF CATCTOR DOMCTOR CTORCALL \ + KAFILE PATRES TBCMPPK PSETCAT PSETCAT- \ + RPOLCAT RPOLCAT- + +oa_algebra_layer_18_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_18)) + +oa_algebra_layer_18_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_18))) + +oa_algebra_layer_19 = \ + ACPLOT ANTISYM \ + COMPCAT \ + COMPCAT- DRAW DRAWCFUN \ + DROPT0 EP \ + FFCAT FFCAT- FFCGP FFNBP \ + FFP FLOAT FPARFRAC \ + FRNAALG FRNAALG- EXPR \ + FUNCTION GDMP HACKPI \ + IDEAL INFORM INFORM1 IPRNTPK \ + IR ISUPS LIB \ + LMDICT LODOOPS MKFLCFN \ + MSET \ + NREP NUMFMT OC OC- \ + ODERAT \ + PATTERN OVAR \ + PMKERNEL PMSYM PRIMELT \ + QALGSET2 QEQUAT RECLOS REP1 \ + QUATCAT QUATCAT- RFFACT \ + ROMAN RNGBIND \ + RULECOLD SAOS SEGBIND \ + SET SPECOUT \ + SYSSOLP \ + VARIABLE WFFINTBS SPADPRSR \ + PARSER TSETCAT TSETCAT- + +oa_algebra_layer_19_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_19)) + +oa_algebra_layer_19_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_19))) + +oa_algebra_layer_20 = \ + AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \ + ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \ + COMPLPAT CMPLXRT CPMATCH CRFP \ + CTRIGMNP \ + DBLRESP DERHAM DFSFUN DRAWCURV \ + EF EFSTRUC \ + ELFUTS EXPEXPAN EXPRODE \ + EXPRTUBE EXPR2 FDIVCAT \ + FDIVCAT- FDIV2 FFCAT2 FLOATCP \ + FORDER FSRED FSUPFACT \ + FRNAAF2 FSPECF FS2 FS2UPS \ + GAUSSFAC GCNAALG GENUFACT GENUPS \ + GTSET GPOLSET IAN INEP \ + INFPROD0 INFSP INPRODFF INPRODPF \ + INTAF INTALG INTEF INTG0 \ + INTHERAL INTPAF INTPM INTTOOLS \ + ITRIGMNP JORDAN KOVACIC LF \ + LIE LODOF LSQM \ + MULTFACT NCEP \ + NLINSOL NSMP NUMERIC OCT \ + OCTCT2 ODEPAL ODERTRIC PADE \ + PAN2EXPR PFO PFOQ \ + PICOERCE PMASSFS PMFS PMPREDFS \ + PSETPK QUAT QUATCT2 RADFF \ + RDEEF RDEEFS RDIV RSETCAT \ + RSETCAT- RULE RULESET SIMPAN \ + SOLVESER SUMFS SUTS \ + TOOLSIGN TRIGMNIP TRMANIP ULSCCAT \ + ULSCCAT- UPXSSING UTSODE UTSODETL \ + UTS2 WUTSET +oa_algebra_layer_20_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_20)) -IN=$(srcdir) -OUT=$(axiom_targetdir)/algebra -DOC=$(axiom_target_docdir)/src/algebra -OUTSRC=$(axiom_target_srcdir)/algebra -INPUT=../input +oa_algebra_layer_20_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_20))) -# Name of the driver to launch the compiler -DRIVER = ../driver/open-axiom$(EXEEXT) +oa_algebra_layer_21 = \ + DEFINTEF DFINTTLS DEFINTRF \ + EFULS EXPR2UPS \ + FDIV FSCINT FSINT FS2EXPXP \ + GSERIES HELLFDIV INVLAPLA IR2F \ + IRRF2F LAPLACE LIMITPS LODEEF \ + NODE1 ODECONST ODEINT REP \ + SOLVERAD SULS SUPXS \ + UPXSCONS -INTERPSYS = ../interp/interpsys$(EXEEXT) -BOOTSYS = $(axiom_target_bindir)/bootsys$(EXEEXT) +oa_algebra_layer_21_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_21)) -COMPILE_SPAD = $(DRIVER) --execpath=$(INTERPSYS) \ - --system="$(AXIOM)" --initial-db=initdb.$(FASLEXT) \ - --sysdb="$(axiom_src_datadir)/algebra/" \ - --strap=strap-2 --optimize=3 \ - --system-algebra --compile $< +oa_algebra_layer_21_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_21))) -BOOTSTRAP = $(DRIVER) --execpath=$(INTERPSYS) \ - --system="$(AXIOM)" --initial-db=initdb.$(FASLEXT) \ - --sysdb="$(axiom_src_datadir)/algebra/" \ - --system-algebra --compile +oa_algebra_layer_22 = \ + COMBF FSPRMELT \ + INBFF LODO LODO1 LODO2 \ + NTSCAT REGSET RGCHAIN RSETGCD \ + RSDCMPK SFRTCAT SIGNEF SNTSCAT \ + SOLVETRA SRDCMPK SREGSET STTF \ + ZDSOLVE + +oa_algebra_layer_22_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_22)) + +oa_algebra_layer_22_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_22))) + +oa_algebra_layer_23 = \ + CPIMA IRURPK LAZM3PK LEXTRIPK \ + NORMPK QCMPACK RURPK SFRGCD \ + SFQCMPK INTRVL ODEEF DOMAIN CATEGORY + +oa_algebra_layer_23_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_23)) + +oa_algebra_layer_23_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_23))) + +oa_algebra_layer_user = \ + RINTERP ASTCAT ASTCAT- SASTCAT SASTCAT- HEADAST \ + LITERAL TYPEAST IMPTAST MAPPAST ATTRAST \ + JOINAST IFAST RPTAST WHILEAST INAST CLLCTAST \ + LSTAST EXITAST RETAST SEGAST PRTDAST CRCEAST \ + LETAST SUCHAST RDUCEAST COLONAST ADDAST CAPSLAST \ + CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ + QQUTAST DEFAST MACROAST SPADXPT SPADAST PARAMAST \ + INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC STEPAST \ + CTOR IP4ADDR NETCLT INETCLTS \ + IRFORM COMPILER \ + ITFORM ELABOR TALGOP YDIAGRAM LINELT DBASIS \ + LINFORM LINBASIS JVMOP JVMCFACC JVMFDACC JVMMDACC \ + JVMCSTTG + +oa_algebra_layer_user_nrlibs = \ + $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_user)) + +oa_algebra_layer_user_objects = \ + $(addprefix $(OUT)/, \ + $(addsuffix .$(FASLEXT),$(oa_algebra_layer_user))) + +all: all-am + +.SUFFIXES: +.SUFFIXES: .spad .$(FASLEXT) @EXEEXT@ .input .pamphlet .tex .dvi +$(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps) + @for dep in $?; do \ + case '$(am__configure_deps)' in \ + *$$dep*) \ + ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \ + && { if test -f $@; then exit 0; else break; fi; }; \ + exit 1;; \ + esac; \ + done; \ + echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/algebra/Makefile'; \ + $(am__cd) $(top_srcdir) && \ + $(AUTOMAKE) --foreign src/algebra/Makefile +Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status + @case '$?' in \ + *config.status*) \ + cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \ + *) \ + echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \ + cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \ + esac; + +$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES) + cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh + +$(top_srcdir)/configure: $(am__configure_deps) + cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh +$(ACLOCAL_M4): $(am__aclocal_m4_deps) + cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh +$(am__aclocal_m4_deps): + +mostlyclean-libtool: + -rm -f *.lo + +clean-libtool: + -rm -rf .libs _libs +tags: TAGS +TAGS: + +ctags: CTAGS +CTAGS: + +cscope cscopelist: + + +check-TESTS: $(TESTS) + @failed=0; all=0; xfail=0; xpass=0; skip=0; \ + srcdir=$(srcdir); export srcdir; \ + list=' $(TESTS) '; \ + $(am__tty_colors); \ + if test -n "$$list"; then \ + for tst in $$list; do \ + if test -f ./$$tst; then dir=./; \ + elif test -f $$tst; then dir=; \ + else dir="$(srcdir)/"; fi; \ + if $(TESTS_ENVIRONMENT) $${dir}$$tst $(AM_TESTS_FD_REDIRECT); then \ + all=`expr $$all + 1`; \ + case " $(XFAIL_TESTS) " in \ + *[\ \ ]$$tst[\ \ ]*) \ + xpass=`expr $$xpass + 1`; \ + failed=`expr $$failed + 1`; \ + col=$$red; res=XPASS; \ + ;; \ + *) \ + col=$$grn; res=PASS; \ + ;; \ + esac; \ + elif test $$? -ne 77; then \ + all=`expr $$all + 1`; \ + case " $(XFAIL_TESTS) " in \ + *[\ \ ]$$tst[\ \ ]*) \ + xfail=`expr $$xfail + 1`; \ + col=$$lgn; res=XFAIL; \ + ;; \ + *) \ + failed=`expr $$failed + 1`; \ + col=$$red; res=FAIL; \ + ;; \ + esac; \ + else \ + skip=`expr $$skip + 1`; \ + col=$$blu; res=SKIP; \ + fi; \ + echo "$${col}$$res$${std}: $$tst"; \ + done; \ + if test "$$all" -eq 1; then \ + tests="test"; \ + All=""; \ + else \ + tests="tests"; \ + All="All "; \ + fi; \ + if test "$$failed" -eq 0; then \ + if test "$$xfail" -eq 0; then \ + banner="$$All$$all $$tests passed"; \ + else \ + if test "$$xfail" -eq 1; then failures=failure; else failures=failures; fi; \ + banner="$$All$$all $$tests behaved as expected ($$xfail expected $$failures)"; \ + fi; \ + else \ + if test "$$xpass" -eq 0; then \ + banner="$$failed of $$all $$tests failed"; \ + else \ + if test "$$xpass" -eq 1; then passes=pass; else passes=passes; fi; \ + banner="$$failed of $$all $$tests did not behave as expected ($$xpass unexpected $$passes)"; \ + fi; \ + fi; \ + dashes="$$banner"; \ + skipped=""; \ + if test "$$skip" -ne 0; then \ + if test "$$skip" -eq 1; then \ + skipped="($$skip test was not run)"; \ + else \ + skipped="($$skip tests were not run)"; \ + fi; \ + test `echo "$$skipped" | wc -c` -le `echo "$$banner" | wc -c` || \ + dashes="$$skipped"; \ + fi; \ + report=""; \ + if test "$$failed" -ne 0 && test -n "$(PACKAGE_BUGREPORT)"; then \ + report="Please report to $(PACKAGE_BUGREPORT)"; \ + test `echo "$$report" | wc -c` -le `echo "$$banner" | wc -c` || \ + dashes="$$report"; \ + fi; \ + dashes=`echo "$$dashes" | sed s/./=/g`; \ + if test "$$failed" -eq 0; then \ + col="$$grn"; \ + else \ + col="$$red"; \ + fi; \ + echo "$${col}$$dashes$${std}"; \ + echo "$${col}$$banner$${std}"; \ + test -z "$$skipped" || echo "$${col}$$skipped$${std}"; \ + test -z "$$report" || echo "$${col}$$report$${std}"; \ + echo "$${col}$$dashes$${std}"; \ + test "$$failed" -eq 0; \ + else :; fi + +distdir: $(DISTFILES) + @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ + topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ + list='$(DISTFILES)'; \ + dist_files=`for file in $$list; do echo $$file; done | \ + sed -e "s|^$$srcdirstrip/||;t" \ + -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \ + case $$dist_files in \ + */*) $(MKDIR_P) `echo "$$dist_files" | \ + sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \ + sort -u` ;; \ + esac; \ + for file in $$dist_files; do \ + if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \ + if test -d $$d/$$file; then \ + dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \ + if test -d "$(distdir)/$$file"; then \ + find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ + fi; \ + if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \ + cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \ + find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ + fi; \ + cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \ + else \ + test -f "$(distdir)/$$file" \ + || cp -p $$d/$$file "$(distdir)/$$file" \ + || exit 1; \ + fi; \ + done +check-am: all-am + $(MAKE) $(AM_MAKEFLAGS) check-TESTS +check: check-am +all-am: Makefile +installdirs: +install: install-am +install-exec: install-exec-am +install-data: install-data-am +uninstall: uninstall-am + +install-am: all-am + @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am + +installcheck: installcheck-am +install-strip: + if test -z '$(STRIP)'; then \ + $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ + install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ + install; \ + else \ + $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ + install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ + "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \ + fi +mostlyclean-generic: + +clean-generic: + +distclean-generic: + -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES) + -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES) + +maintainer-clean-generic: + @echo "This command is intended for maintainers to use" + @echo "it deletes files that may require special tools to rebuild." +clean: clean-am + +clean-am: clean-generic clean-libtool clean-local mostlyclean-am + +distclean: distclean-am + -rm -f Makefile +distclean-am: clean-am distclean-generic distclean-local + +dvi: dvi-am + +dvi-am: + +html: html-am + +html-am: + +info: info-am + +info-am: + +install-data-am: + +install-dvi: install-dvi-am + +install-dvi-am: + +install-exec-am: + +install-html: install-html-am + +install-html-am: + +install-info: install-info-am + +install-info-am: + +install-man: + +install-pdf: install-pdf-am + +install-pdf-am: + +install-ps: install-ps-am + +install-ps-am: + +installcheck-am: + +maintainer-clean: maintainer-clean-am + -rm -f Makefile +maintainer-clean-am: distclean-am maintainer-clean-generic + +mostlyclean: mostlyclean-am -## 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. +mostlyclean-am: mostlyclean-generic mostlyclean-libtool \ + mostlyclean-local + +pdf: pdf-am + +pdf-am: + +ps: ps-am + +ps-am: + +uninstall-am: + +.MAKE: check-am install-am install-strip + +.PHONY: all all-am check check-TESTS check-am clean clean-generic \ + clean-libtool clean-local distclean distclean-generic \ + distclean-libtool distclean-local distdir dvi dvi-am html \ + html-am info info-am install install-am install-data \ + install-data-am install-dvi install-dvi-am install-exec \ + install-exec-am install-html install-html-am install-info \ + install-info-am install-man install-pdf install-pdf-am \ + install-ps install-ps-am install-strip installcheck \ + installcheck-am installdirs maintainer-clean \ + maintainer-clean-generic mostlyclean mostlyclean-generic \ + mostlyclean-libtool mostlyclean-local pdf pdf-am ps ps-am \ + uninstall uninstall-am + + +# Bootstrap layer 0 dependencies. +# This layer comprises mostly categories, and a limited number of domains. +# Categories are compiled for their exports. Default definitions +# are skipped. Similarly, domains are compiled, mostly as incomplete types. +# They are needed only for their being known as constructors. +# Consequently, the dependencies listed here are at the categories +# inheritance level; not necessarily at the use level. strap-0/UTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/BASTYPE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/KOERCE.$(FASLEXT): strap-0/TYPE.$(FASLEXT) @@ -370,10 +1587,10 @@ strap-0/FR.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) \ strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \ strap-0/RETRACT.$(FASLEXT) -## Bootstrap stage 1 dependencies. -## At this stage, we attempt to compile domains essential for completing -## the bootstrap process (stage 2). Those that were compiled at stage 0 -## were (necessarily) incomplete. +# Bootstrap stage 1 dependencies. +# At this stage, we attempt to compile domains essential for completing +# the bootstrap process (stage 2). Those that were compiled at stage 0 +# were (necessarily) incomplete. strap-1/BASTYPE.$(FASLEXT): strap-1/TYPE.$(FASLEXT) \ strap-0/BOOLEAN.$(FASLEXT) @@ -751,9 +1968,9 @@ strap-1/CATCTOR.$(FASLEXT): strap-1/CTORCAT.$(FASLEXT) \ strap-1/SAOS.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ strap-1/KONVERT.$(FASLEXT) strap-0/SYMBOL.$(FASLEXT) -## Bootstrap stage 2 dependencies. -## At this stage we recompile everything from stage 1, including -## a few more domains. +# Bootstrap stage 2 dependencies. +# At this stage we recompile everything from stage 1, including +# a few more domains. strap-2/KOERCE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/KONVERT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) @@ -850,7 +2067,6 @@ strap-2/ALGEBRA.$(FASLEXT): strap-2/RING.$(FASLEXT) \ strap-2/EUCDOM.$(FASLEXT): strap-2/PID.$(FASLEXT) \ strap-2/BOOLEAN.$(FASLEXT) - strap-2/PID.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) \ strap-2/MAYBE.$(FASLEXT) @@ -936,7 +2152,6 @@ strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) - strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \ @@ -959,7 +2174,6 @@ strap-2/UPOLYC.$(FASLEXT): strap-2/POLYCAT.$(FASLEXT) \ strap-2/COMRING.$(FASLEXT) strap-2/INTDOM.$(FASLEXT) \ strap-2/FIELD.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT) - strap-2/ARR2CAT.$(FASLEXT): strap-2/HOAGG.$(FASLEXT) strap-2/FSAGG.$(FASLEXT): strap-2/KDAGG.$(FASLEXT) \ strap-2/SETAGG.$(FASLEXT) @@ -1108,13 +2322,12 @@ strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \ strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \ strap-1/PI.$(FASLEXT) - -## -## +# +# .PRECIOUS: strap-0 strap-1 strap-2 strap-0 strap-1 strap-2: - $(mkdir_p) $@ + $(MKDIR_P) $@ .PRECIOUS: strap-0/%.$(FASLEXT) strap-0/%.$(FASLEXT): %.spad | strap-0 @@ -1144,158 +2357,12 @@ strap-2/%.$(FASLEXT): %.spad initdb.$(FASLEXT) | strap-2 cp $*.NRLIB/code.lsp strap-2/$*.lsp; fi && \ rm -rf $*.NRLIB $*-.NRLIB - -SPADFILES= \ - ${OUTSRC}/acplot.spad ${OUTSRC}/aggcat2.spad ${OUTSRC}/aggcat.spad \ - ${OUTSRC}/algcat.spad ${OUTSRC}/algext.spad ${OUTSRC}/algfact.spad \ - ${OUTSRC}/algfunc.spad ${OUTSRC}/allfact.spad ${OUTSRC}/alql.spad \ - ${OUTSRC}/annacat.spad ${OUTSRC}/any.spad ${OUTSRC}/array1.spad \ - ${OUTSRC}/array2.spad ${OUTSRC}/asp.spad ${OUTSRC}/attreg.spad \ - ${OUTSRC}/bags.spad ${OUTSRC}/bezout.spad ${OUTSRC}/boolean.spad \ - ${OUTSRC}/brill.spad ${OUTSRC}/domain.spad \ - ${OUTSRC}/c02.spad ${OUTSRC}/c05.spad ${OUTSRC}/c06.spad \ - ${OUTSRC}/card.spad ${OUTSRC}/carten.spad ${OUTSRC}/catdef.spad \ - ${OUTSRC}/cden.spad ${OUTSRC}/clifford.spad ${OUTSRC}/clip.spad \ - ${OUTSRC}/cmplxrt.spad ${OUTSRC}/coerce.spad ${OUTSRC}/color.spad \ - ${OUTSRC}/combfunc.spad ${OUTSRC}/combinat.spad ${OUTSRC}/complet.spad \ - ${OUTSRC}/constant.spad ${OUTSRC}/contfrac.spad ${OUTSRC}/cont.spad \ - ${OUTSRC}/coordsys.spad ${OUTSRC}/cra.spad ${OUTSRC}/crfp.spad \ - ${OUTSRC}/curve.spad ${OUTSRC}/cycles.spad ${OUTSRC}/cyclotom.spad \ - ${OUTSRC}/d01agents.spad ${OUTSRC}/d01Package.spad \ - ${OUTSRC}/d01routine.spad ${OUTSRC}/d01.spad ${OUTSRC}/d01transform.spad \ - ${OUTSRC}/d01weights.spad ${OUTSRC}/d02agents.spad \ - ${OUTSRC}/d02Package.spad ${OUTSRC}/d02routine.spad ${OUTSRC}/d02.spad \ - ${OUTSRC}/d03agents.spad ${OUTSRC}/d03Package.spad \ - ${OUTSRC}/d03routine.spad ${OUTSRC}/d03.spad ${OUTSRC}/ddfact.spad \ - ${OUTSRC}/defaults.spad ${OUTSRC}/defintef.spad ${OUTSRC}/defintrf.spad \ - ${OUTSRC}/degred.spad ${OUTSRC}/derham.spad ${OUTSRC}/dhmatrix.spad \ - ${OUTSRC}/divisor.spad ${OUTSRC}/dpolcat.spad ${OUTSRC}/drawopt.spad \ - ${OUTSRC}/drawpak.spad ${OUTSRC}/draw.spad \ - ${OUTSRC}/e01.spad ${OUTSRC}/e02.spad ${OUTSRC}/e04agents.spad \ - ${OUTSRC}/e04Package.spad ${OUTSRC}/e04routine.spad ${OUTSRC}/e04.spad \ - ${OUTSRC}/efstruc.spad ${OUTSRC}/efuls.spad ${OUTSRC}/efupxs.spad \ - ${OUTSRC}/eigen.spad ${OUTSRC}/elemntry.spad ${OUTSRC}/elfuts.spad \ - ${OUTSRC}/equation1.spad ${OUTSRC}/equation2.spad ${OUTSRC}/error.spad \ - ${OUTSRC}/expexpan.spad ${OUTSRC}/expr2ups.spad \ - ${OUTSRC}/exprode.spad ${OUTSRC}/expr.spad \ - ${OUTSRC}/f01.spad ${OUTSRC}/f02.spad ${OUTSRC}/f04.spad \ - ${OUTSRC}/f07.spad ${OUTSRC}/facutil.spad ${OUTSRC}/ffcat.spad \ - ${OUTSRC}/ffcg.spad ${OUTSRC}/fff.spad ${OUTSRC}/ffhom.spad \ - ${OUTSRC}/ffnb.spad ${OUTSRC}/ffpoly2.spad ${OUTSRC}/ffpoly.spad \ - ${OUTSRC}/ffp.spad ${OUTSRC}/ffx.spad \ - ${OUTSRC}/files.spad ${OUTSRC}/float.spad ${OUTSRC}/fmod.spad \ - ${OUTSRC}/fname.spad ${OUTSRC}/fnla.spad \ - ${OUTSRC}/fortcat.spad ${OUTSRC}/fortmac.spad ${OUTSRC}/fortpak.spad \ - ${OUTSRC}/fortran.spad ${OUTSRC}/forttyp.spad ${OUTSRC}/fourier.spad \ - ${OUTSRC}/fparfrac.spad ${OUTSRC}/fraction.spad ${OUTSRC}/free.spad \ - ${OUTSRC}/fr.spad ${OUTSRC}/fs2expxp.spad ${OUTSRC}/fs2ups.spad \ - ${OUTSRC}/fspace.spad ${OUTSRC}/funcpkgs.spad ${OUTSRC}/functions.spad \ - ${OUTSRC}/galfact.spad ${OUTSRC}/galfactu.spad ${OUTSRC}/galpolyu.spad \ - ${OUTSRC}/galutil.spad ${OUTSRC}/gaussfac.spad ${OUTSRC}/gaussian.spad \ - ${OUTSRC}/gbeuclid.spad ${OUTSRC}/gbintern.spad ${OUTSRC}/gb.spad \ - ${OUTSRC}/gdirprod.spad ${OUTSRC}/gdpoly.spad ${OUTSRC}/geneez.spad \ - ${OUTSRC}/generic.spad ${OUTSRC}/genufact.spad ${OUTSRC}/genups.spad \ - ${OUTSRC}/ghensel.spad ${OUTSRC}/gpgcd.spad ${OUTSRC}/gpol.spad \ - ${OUTSRC}/grdef.spad ${OUTSRC}/groebf.spad ${OUTSRC}/groebsol.spad \ - ${OUTSRC}/gseries.spad \ - ${OUTSRC}/ideal.spad ${OUTSRC}/idecomp.spad ${OUTSRC}/indexedp.spad \ - ${OUTSRC}/infprod.spad ${OUTSRC}/intaf.spad ${OUTSRC}/intalg.spad \ - ${OUTSRC}/intaux.spad ${OUTSRC}/intclos.spad ${OUTSRC}/intef.spad \ - ${OUTSRC}/integer.spad ${OUTSRC}/integrat.spad \ - ${OUTSRC}/interval.spad \ - ${OUTSRC}/intfact.spad ${OUTSRC}/intpm.spad \ - ${OUTSRC}/intrf.spad \ - ${OUTSRC}/irexpand.spad \ - ${OUTSRC}/irsn.spad ${OUTSRC}/ituple.spad \ - ${OUTSRC}/kl.spad ${OUTSRC}/kovacic.spad \ - ${OUTSRC}/laplace.spad ${OUTSRC}/laurent.spad ${OUTSRC}/leadcdet.spad \ - ${OUTSRC}/lie.spad ${OUTSRC}/limitps.spad ${OUTSRC}/lindep.spad \ - ${OUTSRC}/lingrob.spad ${OUTSRC}/liouv.spad ${OUTSRC}/listgcd.spad \ - ${OUTSRC}/list.spad ${OUTSRC}/lmdict.spad ${OUTSRC}/lodof.spad \ - ${OUTSRC}/lodop.spad ${OUTSRC}/lodo.spad \ - ${OUTSRC}/manip.spad ${OUTSRC}/mappkg.spad ${OUTSRC}/matcat.spad \ - ${OUTSRC}/matfuns.spad ${OUTSRC}/mathml.spad \ - ${OUTSRC}/matrix.spad ${OUTSRC}/matstor.spad \ - ${OUTSRC}/mesh.spad ${OUTSRC}/mfinfact.spad ${OUTSRC}/misc.spad \ - ${OUTSRC}/mkfunc.spad ${OUTSRC}/mkrecord.spad \ - ${OUTSRC}/mlift.spad ${OUTSRC}/moddfact.spad ${OUTSRC}/modgcd.spad \ - ${OUTSRC}/modmonom.spad ${OUTSRC}/modmon.spad ${OUTSRC}/modring.spad \ - ${OUTSRC}/moebius.spad ${OUTSRC}/mring.spad ${OUTSRC}/mset.spad \ - ${OUTSRC}/mts.spad ${OUTSRC}/multfact.spad ${OUTSRC}/multpoly.spad \ - ${OUTSRC}/multsqfr.spad \ - ${OUTSRC}/naalgc.spad ${OUTSRC}/naalg.spad \ - ${OUTSRC}/newdata.spad ${OUTSRC}/newpoint.spad \ - ${OUTSRC}/newpoly.spad ${OUTSRC}/nlinsol.spad ${OUTSRC}/nlode.spad \ - ${OUTSRC}/npcoef.spad \ - ${OUTSRC}/nregset.spad \ - ${OUTSRC}/nsregset.spad ${OUTSRC}/numeigen.spad ${OUTSRC}/numeric.spad \ - ${OUTSRC}/numode.spad ${OUTSRC}/numquad.spad ${OUTSRC}/numsolve.spad \ - ${OUTSRC}/numtheor.spad \ - ${OUTSRC}/oct.spad ${OUTSRC}/odealg.spad ${OUTSRC}/odeef.spad \ - ${OUTSRC}/oderf.spad ${OUTSRC}/opalg.spad \ - ${OUTSRC}/op.spad ${OUTSRC}/ore.spad \ - ${OUTSRC}/outform.spad ${OUTSRC}/out.spad \ - ${OUTSRC}/pade.spad ${OUTSRC}/padiclib.spad ${OUTSRC}/padic.spad \ - ${OUTSRC}/paramete.spad ${OUTSRC}/partperm.spad ${OUTSRC}/patmatch1.spad \ - ${OUTSRC}/patmatch2.spad ${OUTSRC}/pattern.spad ${OUTSRC}/pcurve.spad \ - ${OUTSRC}/pdecomp.spad ${OUTSRC}/perman.spad ${OUTSRC}/permgrps.spad \ - ${OUTSRC}/perm.spad ${OUTSRC}/pfbr.spad ${OUTSRC}/pfo.spad \ - ${OUTSRC}/pfr.spad ${OUTSRC}/pf.spad ${OUTSRC}/pgcd.spad \ - ${OUTSRC}/pgrobner.spad ${OUTSRC}/pinterp.spad ${OUTSRC}/pleqn.spad \ - ${OUTSRC}/plot3d.spad ${OUTSRC}/plot.spad ${OUTSRC}/plottool.spad \ - ${OUTSRC}/polset.spad ${OUTSRC}/poltopol.spad ${OUTSRC}/polycat.spad \ - ${OUTSRC}/poly.spad ${OUTSRC}/primelt.spad ${OUTSRC}/print.spad \ - ${OUTSRC}/product.spad ${OUTSRC}/prs.spad ${OUTSRC}/prtition.spad \ - ${OUTSRC}/pscat.spad ${OUTSRC}/pseudolin.spad ${OUTSRC}/ptranfn.spad \ - ${OUTSRC}/puiseux.spad \ - ${OUTSRC}/qalgset.spad ${OUTSRC}/quat.spad \ - ${OUTSRC}/radeigen.spad ${OUTSRC}/radix.spad ${OUTSRC}/random.spad \ - ${OUTSRC}/ratfact.spad ${OUTSRC}/rdeef.spad ${OUTSRC}/rderf.spad \ - ${OUTSRC}/rdesys.spad ${OUTSRC}/real0q.spad ${OUTSRC}/realzero.spad \ - ${OUTSRC}/reclos.spad ${OUTSRC}/regset.spad ${OUTSRC}/rep1.spad \ - ${OUTSRC}/rep2.spad ${OUTSRC}/resring.spad ${OUTSRC}/retract.spad \ - ${OUTSRC}/rf.spad ${OUTSRC}/riccati.spad ${OUTSRC}/rinterp.spad \ - ${OUTSRC}/routines.spad \ - ${OUTSRC}/rule.spad \ - ${OUTSRC}/seg.spad ${OUTSRC}/setorder.spad ${OUTSRC}/sets.spad \ - ${OUTSRC}/sex.spad ${OUTSRC}/sf.spad ${OUTSRC}/sgcf.spad \ - ${OUTSRC}/sign.spad ${OUTSRC}/si.spad ${OUTSRC}/smith.spad \ - ${OUTSRC}/solvedio.spad ${OUTSRC}/solvefor.spad ${OUTSRC}/solvelin.spad \ - ${OUTSRC}/solverad.spad ${OUTSRC}/sortpak.spad ${OUTSRC}/space.spad \ - $(srcdir)/spad-parser.spad \ - ${OUTSRC}/special.spad ${OUTSRC}/sregset.spad ${OUTSRC}/s.spad \ - ${OUTSRC}/stream.spad ${OUTSRC}/string.spad ${OUTSRC}/sttaylor.spad \ - ${OUTSRC}/sttf.spad ${OUTSRC}/sturm.spad ${OUTSRC}/suchthat.spad \ - ${OUTSRC}/suls.spad ${OUTSRC}/sum.spad ${OUTSRC}/sups.spad \ - ${OUTSRC}/supxs.spad ${OUTSRC}/suts.spad ${OUTSRC}/symbol.spad \ - $(OUTSRC)/syntax.spad \ - ${OUTSRC}/syssolp.spad ${OUTSRC}/system.spad \ - ${OUTSRC}/tableau.spad ${OUTSRC}/table.spad ${OUTSRC}/taylor.spad \ - ${OUTSRC}/tex.spad ${OUTSRC}/tools.spad ${OUTSRC}/transsolve.spad \ - ${OUTSRC}/tree.spad ${OUTSRC}/trigcat.spad ${OUTSRC}/triset.spad \ - ${OUTSRC}/tube.spad ${OUTSRC}/twofact.spad \ - ${OUTSRC}/unifact.spad ${OUTSRC}/updecomp.spad ${OUTSRC}/updivp.spad \ - ${OUTSRC}/utsode.spad \ - ${OUTSRC}/variable.spad ${OUTSRC}/vector.spad ${OUTSRC}/view2D.spad \ - ${OUTSRC}/view3D.spad ${OUTSRC}/viewDef.spad ${OUTSRC}/viewpack.spad \ - ${OUTSRC}/void.spad \ - ${OUTSRC}/weier.spad ${OUTSRC}/wtpol.spad \ - ${OUTSRC}/xlpoly.spad ${OUTSRC}/xpoly.spad \ - ${OUTSRC}/ystream.spad \ - ${OUTSRC}/zerodim.spad - - -TESTS=${INPUT}/INTHEORY.input ${INPUT}/VIEW2D.input ${INPUT}/TESTFR.input - - -subdir = src/algebra/ - -## The root of the category hierarchy is the Type category. -## We require the basic integer domains are available at stage 2 of -## bootstrap. This has the property of setting in motion -## the built of several other domains and categories as needed -## to ignite the algebra build. We require Category only because -## we would like not to have too many special cases for it. +# The root of the category hierarchy is the Type category. +# We require the basic integer domains are available at stage 2 of +# bootstrap. This has the property of setting in motion +# the built of several other domains and categories as needed +# to ignite the algebra build. We require Category only because +# we would like not to have too many special cases for it. strap-stamp: strap-2/CATEGORY.$(FASLEXT) \ strap-2/SINT.$(FASLEXT) strap-2/NNI.$(FASLEXT) \ strap-2/PI.$(FASLEXT) @@ -1310,7 +2377,6 @@ $(OUT)/PI.$(FASLEXT): $(OUT)/NNI.$(FASLEXT) #$(OUT)/TYPE.$(FASLEXT): $(OUT)/SINT.$(FASLEXT) - $(OUT)/IEVALAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/EVALAB.$(FASLEXT): $(OUT)/IEVALAB.$(FASLEXT) $(OUT)/ELTAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) @@ -1322,8 +2388,6 @@ $(OUT)/ATTREG.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/CONDUIT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/CFCAT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) - - $(OUT)/AGG.$(FASLEXT) $(OUT)/AGG-.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) $(OUT)/ELTAGG.$(FASLEXT): $(OUT)/AGG.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IXAGG.$(FASLEXT): $(OUT)/ELTAGG.$(FASLEXT) $(OUT)/EVALAB.$(FASLEXT) @@ -1437,47 +2501,6 @@ $(OUT)/SGPOP.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) \ $(OUT)/BINOP.$(FASLEXT) $(OUT)/MONOPC.$(FASLEXT): $(OUT)/SGPOPC.$(FASLEXT) -oa_algebra_layer_0 = \ - AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \ - KRCFROM KVTFROM IEVALAB IEVALAB- EVALAB EVALAB- \ - RETRACT RETRACT- SETCAT SETCAT- VOID SEGCAT \ - MSYSCMD FINITE FINITE- IDEMOPC OUT \ - PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \ - BMODULE SGPOPC BASTYPE BASTYPE- STEP LMODULE \ - RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \ - ABELSG- ORDSET SGPOP OASGP FILECAT SEXCAT \ - MODULE MODULE- PID OAGROUP OAGROUP- OCAMON \ - OAMON OAMON- DIOID MONOPC \ - RNG ORDFIN LLINSET RLINSET LINSET OAMONS \ - MKBCFUNC MKRECORD MKUCFUNC DROPT1 PLOT1 ITFUN2 \ - ITFUN3 STREAM1 STREAM2 STREAM3 ANY1 SEGBIND2 \ - COMBOPC EQ2 NONE1 CONDUIT IOMODE CTORKIND \ - AGG AGG- ELTAGG ELTAGG- IXAGG IXAGG- \ - BGAGG BGAGG- BRAGG BRAGG- ELAGG ELAGG- \ - DLAGG DQAGG QUAGG SKAGG PRQAGG ALAGG \ - FLAGG FLAGG- URAGG URAGG- LNAGG LNAGG- \ - A1AGG A1AGG- LSAGG LSAGG- SRAGG SRAGG- \ - FSAGG FSAGG- STAGG STAGG- CLAGG CLAGG- \ - RCAGG RCAGG- SETAGG SETAGG- HOAGG HOAGG- \ - TBAGG TBAGG- KDAGG KDAGG- DIAGG DIAGG- \ - DIOPS DIOPS- STRING \ - LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \ - LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ - RTVALUE SYSPTR PDDOM PDDOM- PDSPC PDSPC- \ - DSEXT DSEXT- ORDTYPE ORDTYPE- ORDSTRCT \ - BOOLE BOOLE- REF ALIST PRIMARR SRING \ - INS INS- DIVRING DIVRING- EUCDOM EUCDOM- \ - BINOPC BINOP FPS FPS- RNS RNS- \ - POLYCAT POLYCAT- QFCAT QFCAT- \ - INT NNI PI SINT SYMBOL DFLOAT - -oa_algebra_layer_0_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(oa_algebra_layer_0)) - -oa_algebra_layer_0_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(oa_algebra_layer_0))) - $(OUT)/HOMOTOP.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/KRCFROM.$(FASLEXT) $(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/STREAM.$(FASLEXT) $(OUT)/PATAB.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) @@ -1535,100 +2558,23 @@ $(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT) $(OUT)/MONOP.$(FASLEXT): $(OUT)/MONOPC.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT) \ $(OUT)/SETCAT.$(FASLEXT) -axiom_algebra_layer_1 = \ - ABELGRP ABELGRP- ABELMON ABELMON- ITUPLE \ - CABMON MONOID MONOID- RING RING- COMRING \ - DIFRING SRING ENTIRER INTDOM INTDOM- OINTDOM \ - GCDDOM GCDDOM- UFD UFD- ES ES- \ - PATAB PPCURVE PSCURVE CACHSET RESLATC \ - IDENT OUTFORM BINDING BOOLEAN \ - ORDRING FEVALAB FEVALAB- IARRAY1 \ - OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ - FIELD FIELD- VECTCAT VECTCAT- MONOP \ - PROPERTY ARITY OPERCAT OPERCAT- PAIR STREAM \ - RADCAT RADCAT- PDMOD DMEXT LZSTAGG LZSTAGG- - -axiom_algebra_layer_1_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) - -axiom_algebra_layer_1_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_1))) -axiom_algebra_layer_2 = \ - SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \ - COMMONOP FNCAT SCACHE BOP BOP1 \ - DOMTMPLT FCTRDATA - $(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/COMMONOP.$(FASLEXT): $(OUT)/BOP.$(FASLEXT) $(OUT)/DOMTMPLT.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) $(OUT)/OAMONS.$(FASLEXT) $(OUT)/FCTRDATA.$(FASLEXT): $(OUT)/DOMTMPLT.$(FASLEXT) -axiom_algebra_layer_2_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) - -axiom_algebra_layer_2_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_2))) -axiom_algebra_layer_3 = \ - GRDEF SCOPE MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1 \ - MAPPKG2 MAPPKG3 INTBIT MONAD MONAD- - - $(OUT)/MONAD.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SCOPE.$(FASLEXT): $(OUT)/BINDING.$(FASLEXT) -axiom_algebra_layer_3_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_3)) - -axiom_algebra_layer_3_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_3))) - $(OUT)/ENV.$(FASLEXT): $(OUT)/SCOPE.$(FASLEXT) $(OUT)/COMM.$(FASLEXT): $(OUT)/OSI.$(FASLEXT) $(OUT)/PALETTE.$(FASLEXT): $(OUT)/COLOR.$(FASLEXT) - -axiom_algebra_layer_4 = \ - ANON OSI COMM COMPPROP EXIT \ - FAMONC FORMULA1 IDPC NONE \ - COLOR ONECOMP2 \ - PALETTE PARPCURV PARPC2 PARSCURV PARSC2 PARSURF \ - PARSU2 PATRES2 PATTERN1 PDECAT \ - REPSQ REPDB RFDIST RIDIST SPACEC SPLNODE \ - SUCH TEX1 UDVO YSTREAM ENV \ - ATRIG ATRIG- GROUP GROUP- LALG LALG- - - -axiom_algebra_layer_4_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_4)) - -axiom_algebra_layer_4_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_4))) - $(OUT)/KERNEL.$(FASLEXT): $(OUT)/KERNEL2.$(FASLEXT) $(OUT)/DVARCAT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) $(OUT)/PDRING.$(FASLEXT): $(OUT)/PDSPC.$(FASLEXT) -axiom_algebra_layer_5 = \ - CHARNZ DVARCAT DVARCAT- ELEMFUN \ - ELEMFUN- FCOMP FPATMAB IDPAM IDPO \ - INCRMAPS KERNEL2 MODMONOM MONADWU MONADWU- \ - MRF2 NARNG NARNG- NSUP2 ODVAR OPQUERY \ - ORDMON PATMATCH PERMCAT PDRING \ - SDVAR SUP2 TRIGCAT TRIGCAT- ULS2 UP2 \ - ELABEXPR KERNEL - -axiom_algebra_layer_5_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_5)) - -axiom_algebra_layer_5_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_5))) - $(OUT)/CHARPOL.$(FASLEXT): $(OUT)/SETCAT-.$(FASLEXT) $(OUT)/PROPFRML.$(FASLEXT): $(OUT)/KERNEL.$(FASLEXT) $(OUT)/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) $(OUT)/BYTE.$(FASLEXT) @@ -1637,67 +2583,12 @@ $(OUT)/PROPFUN2.$(FASLEXT): $(OUT)/PROPFRML.$(FASLEXT) $(OUT)/DIFEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) $(OUT)/BYTE.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) $(OUT)/SYSNNI.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) $(OUT)/ORDFIN.$(FASLEXT) - -axiom_algebra_layer_6 = \ - PROPFRML PROPFUN1 AUTOMOR CARTEN2 CHARPOL COMPLEX2 \ - DIFEXT ES1 ES2 GRMOD GRMOD- \ - HYPCAT HYPCAT- MODRING NASRING NASRING- \ - SORTPAK ZMOD PROPFUN2 \ - KTVLOGIC BYTE SYSINT SYSNNI - -axiom_algebra_layer_6_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_6)) -axiom_algebra_layer_6_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_6))) $(OUT)/IFAMON.$(FASLEXT): $(OUT)/LMOPS.$(FASLEXT) -axiom_algebra_layer_7 = \ - BTCAT BTCAT- LMOPS FMCAT IDPOAM \ - IFAMON GRALG GRALG- \ - INT8 INT16 INT32 INT64 UINT8 UINT16 \ - UINT32 UINT64 - -axiom_algebra_layer_7_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_7)) - -axiom_algebra_layer_7_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_7))) $(OUT)/BSTREE.$(FASLEXT): $(OUT)/BTREE.$(FASLEXT) $(OUT)/ITAYLOR.$(FASLEXT): $(OUT)/STREAM.$(FASLEXT) $(OUT)/BTREE.$(FASLEXT): $(OUT)/TREE.$(FASLEXT) - -axiom_algebra_layer_8 = \ - BSTREE BTOURN CARD DRAWHACK FACTFUNC TREE \ - FR2 FRAC2 FRUTIL ITAYLOR MLO NAALG \ - NAALG- OP ORDCOMP2 RANDSRC UNISEG2 XALG \ - BTREE POLY SMP ARR2CAT ARR2CAT- - -axiom_algebra_layer_8_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_8)) - -axiom_algebra_layer_8_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_8))) $(OUT)/FT.$(FASLEXT): $(OUT)/FST.$(FASLEXT) $(OUT)/POLY.$(FASLEXT) - -axiom_algebra_layer_9 = \ - AMR AMR- DEGRED DLP EAB \ - FAGROUP FAMONOID FLINEXP FLINEXP- FRETRCT FRETRCT- \ - FSERIES FT IDPAG IDPOAMS INFINITY LA \ - OMLO ORTHPOL PRODUCT PADICCT PMPRED PMASS \ - PTFUNC2 RATRET RADUTIL UPXS2 \ - XFALG ZLINDEP BBTREE TABLE INTABL \ - SIG FMONCAT FST - - -axiom_algebra_layer_9_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_9)) - -axiom_algebra_layer_9_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_9))) $(OUT)/ANY.$(FASLEXT): $(OUT)/SEX.$(FASLEXT) $(OUT)/SEX.$(FASLEXT): $(OUT)/SEXOF.$(FASLEXT) @@ -1707,181 +2598,26 @@ $(OUT)/XPBWPOLY.$(FASLEXT): $(OUT)/XPOLYC.$(FASLEXT) \ $(OUT)/PENDTREE.$(FASLEXT): $(OUT)/TREE.$(FASLEXT) $(OUT)/QFORM.$(FASLEXT): $(OUT)/SQMATRIX.$(FASLEXT) $(OUT)/SQMATRIX.$(FASLEXT): $(OUT)/SMATCAT.$(FASLEXT) \ - $(OUT)/MATRIX.$(FASLEXT) $(OUT)/IIARRAY2.$(FASLEXT) -$(OUT)/SMATCAT.$(FASLEXT): $(OUT)/RMATCAT.$(FASLEXT) -$(OUT)/RMATCAT.$(FASLEXT): $(OUT)/DIRPROD.$(FASLEXT) -$(OUT)/DIRPROD.$(FASLEXT): $(OUT)/DIRPCAT.$(FASLEXT) -$(OUT)/DIRPCAT.$(FASLEXT): $(OUT)/VSPACE.$(FASLEXT) $(OUT)/IVECTOR.$(FASLEXT) -$(OUT)/MATRIX.$(FASLEXT): $(OUT)/MATCAT.$(FASLEXT) -$(OUT)/BTAGG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) -$(OUT)/PATLRES.$(FASLEXT): $(OUT)/PATRES.$(FASLEXT) -$(OUT)/PBWLB.$(FASLEXT): $(OUT)/LWORD.$(FASLEXT) -$(OUT)/LWORD.$(FASLEXT): $(OUT)/MAGMA.$(FASLEXT) -$(OUT)/PFR.$(FASLEXT): $(OUT)/FR.$(FASLEXT) - -axiom_algebra_layer_10 = \ - BPADIC ANY LWORD FR \ - SEXOF CRAPACK DEQUEUE DLIST \ - DRAWCX \ - DRAWPT FAMR FAMR- FLASORT \ - FLAGG2 FGROUP FM FM1 \ - FPC FPC- FMONOID INDE \ - IPADIC IROOT IR2 LEXP \ - LIECAT LIECAT- LIST2 LIST2MAP \ - SEX HASHTBL MAGMA \ - MESH MOEBIUS MODFIELD MODOP \ - MRING MTHING NCNTFRAC NCODIV \ - NUMTUBE ODR OFMONOID ONECOMP \ - ORDCOMP OREPCAT OREPCAT- OWP \ - PADIC PATTERN2 PATLRES PARTPERM \ - PBWLB PENDTREE PGE PGROEB \ - PINTERP PLOTTOOL PFR PMDOWN \ - PRTITION PMINS PMLSAGG PMTOOLS \ - PSCAT PSCAT- QFORM QUEUE \ - SQMATRIX SEG SEG2 MTSCAT \ - STACK STTAYLOR TABLBUMP TABLEAU \ - TOPSP TRANFUN TRANFUN- TUBE \ - UDPO UNISEG VIEW VSPACE \ - VSPACE- XPOLYC XPR BTAGG BTAGG- \ - FUNDESC XPBWPOLY SMATCAT SMATCAT- \ - RMATRIX RMATCAT RMATCAT- DIRPROD \ - DIRPCAT DIRPCAT- IVECTOR MATRIX \ - MATCAT MATCAT- IIARRAY2 FFIELDC FFIELDC- - - -axiom_algebra_layer_10_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_10)) - -axiom_algebra_layer_10_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_10))) + $(OUT)/MATRIX.$(FASLEXT) $(OUT)/IIARRAY2.$(FASLEXT) +$(OUT)/SMATCAT.$(FASLEXT): $(OUT)/RMATCAT.$(FASLEXT) +$(OUT)/RMATCAT.$(FASLEXT): $(OUT)/DIRPROD.$(FASLEXT) +$(OUT)/DIRPROD.$(FASLEXT): $(OUT)/DIRPCAT.$(FASLEXT) +$(OUT)/DIRPCAT.$(FASLEXT): $(OUT)/VSPACE.$(FASLEXT) $(OUT)/IVECTOR.$(FASLEXT) +$(OUT)/MATRIX.$(FASLEXT): $(OUT)/MATCAT.$(FASLEXT) +$(OUT)/BTAGG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) +$(OUT)/PATLRES.$(FASLEXT): $(OUT)/PATRES.$(FASLEXT) +$(OUT)/PBWLB.$(FASLEXT): $(OUT)/LWORD.$(FASLEXT) +$(OUT)/LWORD.$(FASLEXT): $(OUT)/MAGMA.$(FASLEXT) +$(OUT)/PFR.$(FASLEXT): $(OUT)/FR.$(FASLEXT) $(OUT)/ARRAY2.$(FASLEXT): $(OUT)/IFARRAY.$(FASLEXT) $(OUT)/ORESUP.$(FASLEXT): $(OUT)/PR.$(FASLEXT) $(OUT)/PLOT3D.$(FASLEXT): $(OUT)/POINT.$(FASLEXT) $(OUT)/POINT.$(FASLEXT): $(OUT)/PTCAT.$(FASLEXT) -axiom_algebra_layer_11 = \ - APPLYORE ARRAY1 ARRAY12 ARRAY2 \ - ASTACK COMBINAT POINT PTCAT \ - CSTTOOLS FARRAY \ - FLALG GALUTIL HEAP \ - IARRAY2 IFARRAY INTCAT INTHEORY \ - IRREDFFX LFCAT LODOCAT LODOCAT- \ - MATSTOR \ - ORESUP OREPCTO OREUP PLOT3D \ - PR PREASSOC PRIMARR2 REDORDER \ - SYMPOLY \ - TS TUPLE UPSCAT UPSCAT- \ - XDPOLY XEXPPKG \ - XF XF- XPOLY \ - XRPOLY FFIELDC FFIELDC- MTSCAT - -axiom_algebra_layer_11_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_11)) - -axiom_algebra_layer_11_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_11))) -axiom_algebra_layer_12 = \ - ULSCAT BITS DIRPROD2 IMATRIX \ - LPOLY LSMP LSMP1 MATCAT2 TRIMAT \ - SYSTEM HOSTNAME PORTNUM - -axiom_algebra_layer_12_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_12)) - -axiom_algebra_layer_12_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_12))) - $(OUT)/UPOLYC.$(FASLEXT): $(OUT)/PFECAT.$(FASLEXT) $(OUT)/SETMN.$(FASLEXT): $(OUT)/IBITS.$(FASLEXT) - -axiom_algebra_layer_13 = \ - ASSOCEQ CARTEN CLIF CLIP \ - UPOLYC UPOLYC- \ - COORDSYS DBASE DHMATRIX DIOSP \ - FAXF FAXF- FFPOLY2 \ - FNLA GRAY HB IRSN \ - MHROWRED NUMODE NUMQUAD \ - ODESYS ODETOOLS ORDFUNS PERMAN \ - PFECAT PFECAT- PSEUDLIN \ - PTPACK REP2 SETMN \ - SYMFUNC VECTOR2 VECTOR CHAR \ - INBCON INBCON- OUTBCON OUTBCON- - -axiom_algebra_layer_13_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_13)) - -axiom_algebra_layer_13_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_13))) $(OUT)/FS.$(FASLEXT): $(OUT)/UPOLYC.$(FASLEXT) $(OUT)/FILE.$(FASLEXT): $(OUT)/FNAME.$(FASLEXT) - -axiom_algebra_layer_14 = \ - FS FS- ACF ACF- \ - ACFS ACFS- BALFACT BEZOUT BINARY BINFILE BOUNDZRO \ - BPADICRT BRILL CDEN CHVAR \ - COMMUPC CONTFRAC CVMP CYCLOTOM \ - CYCLES DDFACT DECIMAL DISPLAY DMP \ - DPMO DPOLCAT DPOLCAT- EMR EQ ERROR \ - EVALCYC FACUTIL FF FFCG \ - FFCGX FFHOM FFNB FFNBX \ - FFPOLY FFX FFSLPE FGLMICPK \ - FILE FINAALG FINAALG- FINRALG \ - FINRALG- FLOATRP FNAME \ - FORMULA FRAC \ - GENEEZ GENMFACT GENPGCD \ - GALFACTU GALPOLYU GB GBEUCLID \ - GBF GBINTERN GHENSEL GMODPOL \ - GOSPER GRIMAGE GROEBSOL HDMP \ - HDP HEXADEC HEUGCD IBPTOOLS \ - IFF ICARD ICDEN \ - IDECOMP IMATLIN IMATQF \ - INMODGCD INNMFACT INPSIGN INTHERTR \ - INTRAT INTRF INTSLPE INTTR \ - ISUMP LAUPOL LEADCDET LGROBP \ - LIMITRF LINDEP LO LPEFRAC \ - LSPP MATLIN MCDEN MDDFACT \ - MFINFACT MLIFT \ - MMAP MODMON MONOTOOL MPCPF \ - MPC2 MPC3 MPOLY MPRFF \ - MRATFAC MULTSQFR NORMRETR NPCOEF \ - NSUP NTPOLFN ODP ODEPRIM \ - ODEPRRIC PADEPAC \ - PADICRAT PADICRC PCOMP PDECOMP \ - PF PFBR PFBRU PFOTOOLS \ - PFRPAC PGCD PINTERPA PLEQN \ - PMPLCAT PMQFCAT PNTHEORY POLUTIL \ - POLTOPOL POLYCATQ POLYLIFT POLYROOT \ - POLY2 POLY2UP PRS PSQFR \ - PUSHVAR QALGSET QFCAT2 RADIX \ - RATFACT RCFIELD RCFIELD- RDETR \ - RDETRS REAL0 REAL0Q REALSOLV \ - RESRING RETSOL RF RFFACTOR \ - RRCC RRCC- \ - SCPKG SHDP SHP SIGNRF \ - SMITH SMTS SOLVEFOR \ - SPLTREE STINPROD STTFNC SUBRESP \ - SUMRF SUP SUPFRACF TANEXP \ - TEX TEXTFILE \ - TWOFACT UNIFACT UP UPCDEN \ - UPDECOMP UPDIVP UPMP UPOLYC2 \ - UPXSCAT UPSQFREE VIEWDEF VIEW2D \ - WEIER WP \ - EQTBL GSTBL \ - STBL STRTBL\ - SYMS SYMTAB \ - IOBCON - - -axiom_algebra_layer_14_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_14)) - -axiom_algebra_layer_14_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_14))) $(OUT)/EXPUPXS.$(FASLEXT): $(OUT)/UPXS.$(FASLEXT) $(OUT)/UPXS.$(FASLEXT): $(OUT)/UPXSCAT.$(FASLEXT) $(OUT)/UPXSCONS.$(FASLEXT) \ $(OUT)/ULS.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT) @@ -1890,212 +2626,22 @@ $(OUT)/ULS.$(FASLEXT): $(OUT)/ULSCONS.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT) $(OUT)/ULSCONS.$(FASLEXT): $(OUT)/ULSCCAT.$(FASLEXT) $(OUT)/ULSCCAT.$(FASLEXT): $(OUT)/UTS.$(FASLEXT) $(OUT)/UTS.$(FASLEXT): $(OUT)/UTSCAT.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT) - -axiom_algebra_layer_15 = \ - DSMP EXPUPXS UPXS UPXSCONS \ - FRAMALG FRAMALG- MDAGG ODPOL \ - PLOT RMCAT2 ROIRC SDPOL \ - ULS ULSCONS TUBETOOL UPXSCCA \ - UPXSCCA- JVMBCODE BYTEBUF OVERSET \ - ULSCCAT ULSCCAT- UTS UTSCAT UTSCAT- - -axiom_algebra_layer_15_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_15)) - -axiom_algebra_layer_15_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_15))) $(OUT)/SPACE3.$(FASLEXT): $(OUT)/SUBSPACE.$(FASLEXT) -axiom_algebra_layer_16 = \ - DPMM EFUPXS FFINTBAS FRIDEAL \ - FRIDEAL2 FRMOD \ - IBATOOL INTFACT \ - MSETAGG MONOGEN MONOGEN- NFINTBAS \ - SPACE3 FFF SUBSPACE - -axiom_algebra_layer_16_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_16)) - -axiom_algebra_layer_16_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_16))) - -axiom_algebra_layer_17 = \ - CCLASS FSAGG2 GALFACT IALGFACT CTORCAT CTORCAT- \ - IBACHIN MMLFORM NORMMA ODERED OMSAGG OPSIG \ - PERM PERMGRP PRIMES PWFFINTB DROPT \ - RDIST SAE SAEFACT SAERFFC \ - SGCF VIEW3D - $(OUT)/VIEW3D.$(FASLEXT): $(OUT)/DROPT.$(FASLEXT) - -axiom_algebra_layer_17_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_17)) - -axiom_algebra_layer_17_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_17))) $(OUT)/PSETCAT.$(FASLEXT): $(OUT)/RPOLCAT.$(FASLEXT) - -axiom_algebra_layer_18 = \ - IPF CATCTOR DOMCTOR CTORCALL \ - KAFILE PATRES TBCMPPK PSETCAT PSETCAT- \ - RPOLCAT RPOLCAT- - -axiom_algebra_layer_18_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_18)) - -axiom_algebra_layer_18_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_18))) $(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT) $(OUT)/FPARFRAC.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) - -axiom_algebra_layer_19 = \ - ACPLOT ANTISYM \ - COMPCAT \ - COMPCAT- DRAW DRAWCFUN \ - DROPT0 EP \ - FFCAT FFCAT- FFCGP FFNBP \ - FFP FLOAT FPARFRAC \ - FRNAALG FRNAALG- EXPR \ - FUNCTION GDMP HACKPI \ - IDEAL INFORM INFORM1 IPRNTPK \ - IR ISUPS LIB \ - LMDICT LODOOPS MKFLCFN \ - MSET \ - NREP NUMFMT OC OC- \ - ODERAT \ - PATTERN OVAR \ - PMKERNEL PMSYM PRIMELT \ - QALGSET2 QEQUAT RECLOS REP1 \ - QUATCAT QUATCAT- RFFACT \ - ROMAN RNGBIND \ - RULECOLD SAOS SEGBIND \ - SET SPECOUT \ - SYSSOLP \ - VARIABLE WFFINTBS SPADPRSR \ - PARSER TSETCAT TSETCAT- - -axiom_algebra_layer_19_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_19)) - -axiom_algebra_layer_19_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_19))) $(OUT)/AN.$(FASLEXT): $(OUT)/IAN.$(FASLEXT) $(OUT)/IAN.$(FASLEXT): $(OUT)/EXPR.$(FASLEXT) $(OUT)/SUTS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) $(OUT)/OCT.$(FASLEXT): $(OUT)/QUAT.$(FASLEXT) $(OUT)/EXPEXPAN.$(FASLEXT): $(OUT)/UPXSSING.$(FASLEXT) - -axiom_algebra_layer_20 = \ - AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \ - ALGSC AN APPRULE CINTSLPE COMPFACT COMPLEX \ - COMPLPAT CMPLXRT CPMATCH CRFP \ - CTRIGMNP \ - DBLRESP DERHAM DFSFUN DRAWCURV \ - EF EFSTRUC \ - ELFUTS EXPEXPAN EXPRODE \ - EXPRTUBE EXPR2 FDIVCAT \ - FDIVCAT- FDIV2 FFCAT2 FLOATCP \ - FORDER FSRED FSUPFACT \ - FRNAAF2 FSPECF FS2 FS2UPS \ - GAUSSFAC GCNAALG GENUFACT GENUPS \ - GTSET GPOLSET IAN INEP \ - INFPROD0 INFSP INPRODFF INPRODPF \ - INTAF INTALG INTEF INTG0 \ - INTHERAL INTPAF INTPM INTTOOLS \ - ITRIGMNP JORDAN KOVACIC LF \ - LIE LODOF LSQM \ - MULTFACT NCEP \ - NLINSOL NSMP NUMERIC OCT \ - OCTCT2 ODEPAL ODERTRIC PADE \ - PAN2EXPR PFO PFOQ \ - PICOERCE PMASSFS PMFS PMPREDFS \ - PSETPK QUAT QUATCT2 RADFF \ - RDEEF RDEEFS RDIV RSETCAT \ - RSETCAT- RULE RULESET SIMPAN \ - SOLVESER SUMFS SUTS \ - TOOLSIGN TRIGMNIP TRMANIP ULSCCAT \ - ULSCCAT- UPXSSING UTSODE UTSODETL \ - UTS2 WUTSET - -axiom_algebra_layer_20_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_20)) - -axiom_algebra_layer_20_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_20))) $(OUT)/FDIV.$(FASLEXT): $(OUT)/HELLFDIV.$(FASLEXT) $(OUT)/GSERIES.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) $(OUT)/SULS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) $(OUT)/SUPXS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT) -axiom_algebra_layer_21 = \ - DEFINTEF DFINTTLS DEFINTRF \ - EFULS EXPR2UPS \ - FDIV FSCINT FSINT FS2EXPXP \ - GSERIES HELLFDIV INVLAPLA IR2F \ - IRRF2F LAPLACE LIMITPS LODEEF \ - NODE1 ODECONST ODEINT REP \ - SOLVERAD SULS SUPXS \ - UPXSCONS - -axiom_algebra_layer_21_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_21)) - -axiom_algebra_layer_21_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_21))) -axiom_algebra_layer_22 = \ - COMBF FSPRMELT \ - INBFF LODO LODO1 LODO2 \ - NTSCAT REGSET RGCHAIN RSETGCD \ - RSDCMPK SFRTCAT SIGNEF SNTSCAT \ - SOLVETRA SRDCMPK SREGSET STTF \ - ZDSOLVE - -axiom_algebra_layer_22_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_22)) - -axiom_algebra_layer_22_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_22))) -axiom_algebra_layer_23 = \ - CPIMA IRURPK LAZM3PK LEXTRIPK \ - NORMPK QCMPACK RURPK SFRGCD \ - SFQCMPK INTRVL ODEEF DOMAIN CATEGORY - -axiom_algebra_layer_23_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_23)) - -axiom_algebra_layer_23_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_23))) -axiom_algebra_layer_user = \ - RINTERP ASTCAT ASTCAT- SASTCAT SASTCAT- HEADAST \ - LITERAL TYPEAST IMPTAST MAPPAST ATTRAST \ - JOINAST IFAST RPTAST WHILEAST INAST CLLCTAST \ - LSTAST EXITAST RETAST SEGAST PRTDAST CRCEAST \ - LETAST SUCHAST RDUCEAST COLONAST ADDAST CAPSLAST \ - CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ - QQUTAST DEFAST MACROAST SPADXPT SPADAST PARAMAST \ - INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC STEPAST \ - CTOR IP4ADDR NETCLT INETCLTS \ - IRFORM COMPILER \ - ITFORM ELABOR TALGOP YDIAGRAM LINELT DBASIS \ - LINFORM LINBASIS JVMOP JVMCFACC JVMFDACC JVMMDACC \ - JVMCSTTG - -axiom_algebra_layer_user_nrlibs = \ - $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user)) - -axiom_algebra_layer_user_objects = \ - $(addprefix $(OUT)/, \ - $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_user))) - $(OUT)/SASTCAT.$(FASLEXT): $(OUT)/ASTCAT.$(FASLEXT) $(OUT)/LITERAL.$(FASLEXT): $(OUT)/SASTCAT.$(FASLEXT) $(OUT)/PARAMAST.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/STRING.$(FASLEXT) @@ -2154,7 +2700,6 @@ $(OUT)/CTOR.$(FASLEXT): $(OUT)/CTORKIND.$(FASLEXT) \ $(OUT)/NETCLT.$(FASLEXT): $(OUT)/IOBCON.$(FASLEXT) $(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT) - $(OUT)/IRFORM.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) $(OUT)/COMPILER.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) $(OUT)/ENV.$(FASLEXT) \ $(OUT)/ELABOR.$(FASLEXT) @@ -2162,7 +2707,6 @@ $(OUT)/ITFORM.$(FASLEXT): $(OUT)/IRFORM.$(FASLEXT) $(OUT)/ELABOR.$(FASLEXT): $(OUT)/ITFORM.$(FASLEXT) $(OUT)/ENV.$(FASLEXT) \ $(OUT)/IRFORM.$(FASLEXT) - $(OUT)/LINBASIS.$(FASLEXT): $(OUT)/ORDFIN.$(FASLEXT) $(OUT)/OVAR.$(FASLEXT) $(OUT)/LINELT.$(FASLEXT): $(OUT)/VSPACE.$(FASLEXT) $(OUT)/FM.$(FASLEXT) \ $(OUT)/LINBASIS.$(FASLEXT) @@ -2175,21 +2719,20 @@ $(OUT)/JVMCFACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) $(OUT)/JVMFDACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) $(OUT)/JVMMDACC.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) +.PHONY: all-algebra all-algstrap -.PHONY: all all-algebra all-algstrap -all: all-ax - -all-ax all-algebra: stamp +all-am: all-algebra +all-algebra: stamp @ echo finished $(builddir) -stamp: ${SPADFILES} user-stamp ${TESTS} +stamp: $(SPADFILES) user-stamp $(TESTS) -rm -f stamp $(STAMP) stamp all-algstrap: strap-stamp .PRECIOUS: $(OUT)/%.$(FASLEXT) -${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) +$(OUT)/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) cp $< $@ .PRECIOUS: %.spad @@ -2209,13 +2752,13 @@ $(OUTSRC)/%.spad: $(srcdir)/%.spad.pamphlet $(DOC)/%.dvi: | $(DOC) $(DOC): - @ $(mkdir_p) $(DOC) + @ $(MKDIR_P) $(DOC) $(DOC)/%.dvi: $(builddir)/%.dvi @cp -p $< $@ -$(builddir)/%.dvi: $(axiom_build_texdir)/diagrams.tex \ - $(axiom_build_texdir)/axiom.sty +$(builddir)/%.dvi: $(oa_build_texdir)/diagrams.tex \ + $(oa_build_texdir)/axiom.sty $(builddir)/%.dvi: $(builddir)/%.tex $(oa_hammer) --latex $< @@ -2223,7 +2766,7 @@ $(builddir)/%.dvi: $(builddir)/%.tex $(builddir)/%.tex: $(srcdir)/%.pamphlet $(oa_hammer) --weave --output=$@ $< -$(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex +$(oa_build_texdir)/diagrams.tex: $(oa_src_docdir)/diagrams.tex @cp -p $< $@ SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad @@ -2232,49 +2775,47 @@ SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad PARSER.NRLIB/code.$(FASLEXT): script-parser.spad $(COMPILE_SPAD) - -${INPUT}/TESTFR.input: $(srcdir)/fr.spad.pamphlet +$(INPUT)/TESTFR.input: $(srcdir)/fr.spad.pamphlet $(oa_hammer) --tangle='TEST FR' --output=$@ $< -${INPUT}/INTHEORY.input: $(srcdir)/numtheor.spad.pamphlet +$(INPUT)/INTHEORY.input: $(srcdir)/numtheor.spad.pamphlet $(oa_hammer) --tangle='TEST INTHEORY' --output=$@ $< -${INPUT}/VIEW2D.input: $(srcdir)/view2D.spad.pamphlet +$(INPUT)/VIEW2D.input: $(srcdir)/view2D.spad.pamphlet $(oa_hammer) --tangle='TEST VIEW2D' --output=$@ $< - -${DOC}/diagrams.tex: $(axiom_src_docdir)/diagrams.tex +$(DOC)/diagrams.tex: $(oa_src_docdir)/diagrams.tex @cp -p $< $@ - + $(oa_algebra_layer_0_objects): strap-stamp -$(axiom_algebra_layer_1_objects): 0-stamp -$(axiom_algebra_layer_2_objects): 1-stamp -$(axiom_algebra_layer_3_objects): 2-stamp -$(axiom_algebra_layer_4_objects): 3-stamp -$(axiom_algebra_layer_5_objects): 4-stamp -$(axiom_algebra_layer_6_objects): 5-stamp -$(axiom_algebra_layer_7_objects): 6-stamp -$(axiom_algebra_layer_8_objects): 7-stamp -$(axiom_algebra_layer_9_objects): 8-stamp -$(axiom_algebra_layer_10_objects): 9-stamp -$(axiom_algebra_layer_11_objects): 10-stamp -$(axiom_algebra_layer_12_objects): 11-stamp -$(axiom_algebra_layer_13_objects): 12-stamp -$(axiom_algebra_layer_14_objects): 13-stamp -$(axiom_algebra_layer_15_objects): 14-stamp -$(axiom_algebra_layer_16_objects): 15-stamp -$(axiom_algebra_layer_17_objects): 16-stamp -$(axiom_algebra_layer_18_objects): 17-stamp -$(axiom_algebra_layer_19_objects): 18-stamp -$(axiom_algebra_layer_20_objects): 19-stamp -$(axiom_algebra_layer_21_objects): 20-stamp -$(axiom_algebra_layer_22_objects): 21-stamp -$(axiom_algebra_layer_23_objects): 22-stamp -$(axiom_algebra_layer_user_objects): bootstrap-stamp +$(oa_algebra_layer_1_objects): 0-stamp +$(oa_algebra_layer_2_objects): 1-stamp +$(oa_algebra_layer_3_objects): 2-stamp +$(oa_algebra_layer_4_objects): 3-stamp +$(oa_algebra_layer_5_objects): 4-stamp +$(oa_algebra_layer_6_objects): 5-stamp +$(oa_algebra_layer_7_objects): 6-stamp +$(oa_algebra_layer_8_objects): 7-stamp +$(oa_algebra_layer_9_objects): 8-stamp +$(oa_algebra_layer_10_objects): 9-stamp +$(oa_algebra_layer_11_objects): 10-stamp +$(oa_algebra_layer_12_objects): 11-stamp +$(oa_algebra_layer_13_objects): 12-stamp +$(oa_algebra_layer_14_objects): 13-stamp +$(oa_algebra_layer_15_objects): 14-stamp +$(oa_algebra_layer_16_objects): 15-stamp +$(oa_algebra_layer_17_objects): 16-stamp +$(oa_algebra_layer_18_objects): 17-stamp +$(oa_algebra_layer_19_objects): 18-stamp +$(oa_algebra_layer_20_objects): 19-stamp +$(oa_algebra_layer_21_objects): 20-stamp +$(oa_algebra_layer_22_objects): 21-stamp +$(oa_algebra_layer_23_objects): 22-stamp +$(oa_algebra_layer_user_objects): bootstrap-stamp $(oa_algebra_layer_0_objects): | $(OUT) $(OUT): - $(mkdir_p) $@ + $(MKDIR_P) $@ 0-stamp: $(oa_algebra_layer_0_objects) @ rm -f 0-stamp @@ -2283,161 +2824,161 @@ $(OUT): @ echo === layer 0 of 23 complete ====== @ echo ================================== -1-stamp: 0-stamp $(axiom_algebra_layer_1_objects) +1-stamp: 0-stamp $(oa_algebra_layer_1_objects) @ rm -f 1-stamp @ $(STAMP) 1-stamp @ echo ================================== @ echo === layer 1 of 23 complete ====== @ echo ================================== -2-stamp: 1-stamp $(axiom_algebra_layer_2_objects) +2-stamp: 1-stamp $(oa_algebra_layer_2_objects) @ rm -f 2-stamp @ $(STAMP) 2-stamp @ echo ================================== @ echo === layer 2 of 23 complete ====== @ echo ================================== -3-stamp: 2-stamp $(axiom_algebra_layer_3_objects) +3-stamp: 2-stamp $(oa_algebra_layer_3_objects) @ rm -f 3-stamp @ $(STAMP) 3-stamp @ echo ================================== @ echo === layer 3 of 23 complete ====== @ echo ================================== -4-stamp: 3-stamp $(axiom_algebra_layer_4_objects) +4-stamp: 3-stamp $(oa_algebra_layer_4_objects) @ rm -f 4-stamp @ $(STAMP) 4-stamp @ echo ================================== @ echo === layer 4 of 23 complete ====== @ echo ================================== -5-stamp: 4-stamp $(axiom_algebra_layer_5_objects) +5-stamp: 4-stamp $(oa_algebra_layer_5_objects) @ rm -f 5-stamp @ $(STAMP) 5-stamp @ echo ================================== @ echo === layer 5 of 23 complete ====== @ echo ================================== -6-stamp: 5-stamp $(axiom_algebra_layer_6_objects) +6-stamp: 5-stamp $(oa_algebra_layer_6_objects) @ rm -f 6-stamp @ $(STAMP) 6-stamp @ echo ================================== @ echo === layer 6 of 23 complete ====== @ echo ================================== -7-stamp: 6-stamp $(axiom_algebra_layer_7_objects) +7-stamp: 6-stamp $(oa_algebra_layer_7_objects) @ rm -f 7-stamp @ $(STAMP) 7-stamp @ echo ================================== @ echo === layer 7 of 23 complete ====== @ echo ================================== -8-stamp: 7-stamp $(axiom_algebra_layer_8_objects) +8-stamp: 7-stamp $(oa_algebra_layer_8_objects) @ rm -f 8-stamp @ $(STAMP) 8-stamp @ echo ================================== @ echo === layer 8 of 23 complete ====== @ echo ================================== -9-stamp: 8-stamp $(axiom_algebra_layer_9_objects) +9-stamp: 8-stamp $(oa_algebra_layer_9_objects) @ rm -f 9-stamp @ $(STAMP) 9-stamp @ echo ================================== @ echo === layer 9 of 23 complete ====== @ echo ================================== -10-stamp: 9-stamp $(axiom_algebra_layer_10_objects) +10-stamp: 9-stamp $(oa_algebra_layer_10_objects) @ rm -f 10-stamp @ $(STAMP) 10-stamp @ echo ================================== @ echo === layer 10 of 23 complete ====== @ echo ================================== -11-stamp: 10-stamp $(axiom_algebra_layer_11_objects) +11-stamp: 10-stamp $(oa_algebra_layer_11_objects) @ rm -f 11-stamp @ $(STAMP) 11-stamp @ echo ================================== @ echo === layer 11 of 23 complete ====== @ echo ================================== -12-stamp: 11-stamp $(axiom_algebra_layer_12_objects) +12-stamp: 11-stamp $(oa_algebra_layer_12_objects) @ rm -f 12-stamp @ $(STAMP) 12-stamp @ echo ================================== @ echo === layer 12 of 23 complete ====== @ echo ================================== -13-stamp: 12-stamp $(axiom_algebra_layer_13_objects) +13-stamp: 12-stamp $(oa_algebra_layer_13_objects) @ rm -f 13-stamp @ $(STAMP) 13-stamp @ echo ================================== @ echo === layer 13 of 23 complete ====== @ echo ================================== -14-stamp: 13-stamp $(axiom_algebra_layer_14_objects) +14-stamp: 13-stamp $(oa_algebra_layer_14_objects) @ rm -f 14-stamp @ $(STAMP) 14-stamp @ echo ================================== @ echo === layer 14 of 23 complete ====== @ echo ================================== -15-stamp: 14-stamp $(axiom_algebra_layer_15_objects) +15-stamp: 14-stamp $(oa_algebra_layer_15_objects) @ rm -f 15-stamp @ $(STAMP) 15-stamp @ echo ================================== @ echo === layer 15 of 23 complete ====== @ echo ================================== -16-stamp: 15-stamp $(axiom_algebra_layer_16_objects) +16-stamp: 15-stamp $(oa_algebra_layer_16_objects) @ rm -f 16-stamp @ $(STAMP) 16-stamp @ echo ================================== @ echo === layer 16 of 23 complete ====== @ echo ================================== -17-stamp: 16-stamp $(axiom_algebra_layer_17_objects) +17-stamp: 16-stamp $(oa_algebra_layer_17_objects) @ rm -f 17-stamp @ $(STAMP) 17-stamp @ echo ================================== @ echo === layer 17 of 23 complete ====== @ echo ================================== -18-stamp: 17-stamp $(axiom_algebra_layer_18_objects) +18-stamp: 17-stamp $(oa_algebra_layer_18_objects) @ rm -f 18-stamp @ $(STAMP) 18-stamp @ echo ================================== @ echo === layer 18 of 23 complete ====== @ echo ================================== -19-stamp: 18-stamp $(axiom_algebra_layer_19_objects) +19-stamp: 18-stamp $(oa_algebra_layer_19_objects) @ rm -f 19-stamp @ $(STAMP) 19-stamp @ echo ================================== @ echo === layer 19 of 23 complete ====== @ echo ================================== -20-stamp: 19-stamp $(axiom_algebra_layer_20_objects) +20-stamp: 19-stamp $(oa_algebra_layer_20_objects) @ rm -f 20-stamp @ $(STAMP) 20-stamp @ echo ================================== @ echo === layer 20 of 23 complete ====== @ echo ================================== -21-stamp: 20-stamp $(axiom_algebra_layer_21_objects) +21-stamp: 20-stamp $(oa_algebra_layer_21_objects) @ rm -f 21-stamp @ $(STAMP) 21-stamp @ echo ================================== @ echo === layer 21 of 23 complete ====== @ echo ================================== -22-stamp: 21-stamp $(axiom_algebra_layer_22_objects) +22-stamp: 21-stamp $(oa_algebra_layer_22_objects) @ rm -f 22-stamp @ $(STAMP) 22-stamp @ echo ================================== @ echo === layer 22 of 23 complete ====== @ echo ================================== -23-stamp: 22-stamp $(axiom_algebra_layer_23_objects) +23-stamp: 22-stamp $(oa_algebra_layer_23_objects) @ rm -f 23-stamp @ $(STAMP) 23-stamp @ echo ================================== @@ -2451,22 +2992,21 @@ bootstrap-stamp: 23-stamp @ echo === algebra complete ====== @ echo ================================== -user-stamp: $(axiom_algebra_layer_user_objects) +user-stamp: $(oa_algebra_layer_user_objects) @ rm -f user-stamp @ $(STAMP) user-stamp - .PHONY: all-initdb all-initdb: initdb.$(FASLEXT) initdb.clisp: $(SPADFILES) - $(DRIVER) --execpath=$(INTERPSYS) --system="$(AXIOM)" \ + $(DRIVER) --execpath=$(INTERPSYS) --system="$(oa_targetdir)" \ --spad-srcdir=$(OUTSRC) \ --output=initdb.$$$$ --build-initdb && \ $(top_confdir)/move-if-change initdb.$$$$ $@ initdb.$(FASLEXT): initdb.clisp - $(DRIVER) --execpath=$(BOOTSYS) --syslib=$(axiom_target_libdir) \ + $(DRIVER) --execpath=$(BOOTSYS) --syslib=$(oa_target_libdir) \ --compile --output=$@ --load-directory=../interp $< mostlyclean-local: @@ -2480,5 +3020,11 @@ clean-local: mostlyclean-local distclean-local: clean-local -include extract-spad.mk +# We use `sinclude' instead of `include' so that Automake doesn't get +# the idea of wanting to interpret the content of a file that doesn't +# exist at the time it is run. +sinclude extract.mk +# Tell versions [3.59,3.63) of GNU make to not export all variables. +# Otherwise a system limit (for SysV at least) may be exceeded. +.NOEXPORT: -- cgit v1.2.3