diff options
Diffstat (limited to 'src/interp/Makefile.pamphlet')
| -rw-r--r-- | src/interp/Makefile.pamphlet | 2835 |
1 files changed, 2835 insertions, 0 deletions
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet new file mode 100644 index 00000000..a5024ddb --- /dev/null +++ b/src/interp/Makefile.pamphlet @@ -0,0 +1,2835 @@ +%% Oh Emacs, this is a -*- Makefile -*-, so give me tabs. +\documentclass{article} +\usepackage{axiom} + +\title{\File{src/interp/Makefile} Pamphlet} +\author{Timothy Daly \and Gabriel Dos~Reis} + +\begin{document} +\maketitle + +\begin{abstract} +\end{abstract} + +\tableofcontents +\eject + +\begin{verbatim} +notes for understanding this makefile: +re: postpar.clisp and parse.clisp stanzas: +NOTE: the .clisp file is copies back into the src directory so that +it is possible to create a new obootsys system from scratch for a +new platform. parse.clisp needs to be compiled in a depsys. +one thing need to be done to create an obootsys by hand: + parse and postpar must be loaded along with the depsys files + into a bare lisp system. +if these two things are done then a obootsys image can be bootstrapped +to a new platform. + +IMPORTANT: all source file names in this Makefile must be lowercase + This is for cross-platform compatibility and also makes getting + them into Lisp much easier at the Makefile level. + +\end{verbatim} + + +\section{The Environment} + +We define 3 directories for this build. The first two are +the traditional {\bf IN}, which is where the source pamphlets are, +and {\bf OUT} which is where we will put the binaries. + +In this case the {\bf IN} files are usually written in Boot \cite{2}. +These will be compiled in a \Tool{bootsys} image to translate from +Boot to Common Lisp. + +\subsection{Documentation} + +The dvi files will be generated from the pamphlet files in the +final ship \File{doc/src/} directory. Since they are system independent +but machine generated and part of the final ship they will exist +in the [[\$(axiom_target_docdir)/src/interp/]] directory. + +<<environment>>= +IN=$(srcdir) +DOC=$(axiom_target_docdir)/src/interp +BOOK=$(axiom_target_docdir) + +# Command to translate Boot to Common Lisp +BOOT_TO_LISP = $(BOOTSYS) -- --translate $< + +# Command to translate Common Lisp to native object code +COMPILE_LISP = $(DEPSYS) -- --compile --output=$@ $< +@ + + +\subsection{Autloload} + +In order to minimize the size of the Axiom image at load time +we put some of the compiled files into a separate directory +that will be autoloaded on demand. This directory of code +will be shipped with the final system and so it belongs in +the [[$(axiom_targetdir)]] subtree. +<<environment>>= +AUTO=$(axiom_targetdir)/autoload + +autoload_objects = + +@ + + +\subsection{Initial Lisp image} + +We need a raw Lisp image --- running on the build platform --- +that we can use as a base to construct +the other images. This is called {\bf LISPSYS} and is located in the +build platform sub-directory. +<<environment>>= +# Build platform-dependent Lisp image, at the base of other +# derived Lisp images (depsys, interpsys, AXIOMsys) +LISPSYS= $(axiom_build_bindir)/lisp + +@ + +\subsection{Boot translator} + +Most of the interpreter is written in the Boot programming language. +Thus we need a program to translate Boot to Common +Lisp. That program is called the {\bf BOOTSYS} image (because the +translator is written in {\bf boot} and needs to translate +itself to bootstrap the system). This image is assumed to +have been built (on the build platform) by a previous step in the +make process. +<<environment>>= +BOOTSYS= $(axiom_build_bindir)/bootsys + +@ + +Note also that another translator (built into [[depsys]]) translates +a variant og Boot (called ``old Boot'') to Common Lisp. + + +\subsection{The old Boot translator} + +<<environment>>= +DEPSYS = ./depsys +@ + +Some of the Common Lisp code we compile uses macros which +are assumed to be available at compile time. The [[DEPSYS]] +image is created to contain the compile time environment +and saved. Furthermore, it is also used to translate codes written +in ``old Boot'' to Common Lisp. That translator is in the process of +being phased out in favor of the ``new Boot'' translator found in +\File{src/boot/}. + +\subsubsection{Structure of [[depsys]]} + +The [[depsys]] image is made of the following Lisp source files + +\begin{description} +\item[Interpreted Lisp source files] + The following files are currently part of [[depsys]] in interpreted + form. The exact reasons for that are not well articulated. + + \begin{description} + \item[\File{nocompil.lisp}] This file defines obscure functions + that seem to be there only for obscure reasons. Most of them are not + really needed for translating Boot codes. + + \item[\File{bookvol5.lisp}] This file defines functions for + the Spad interpreter. None of which seems relevant for translating + Boot codes to Common Lisp. + + \item[\File{util.lisp}] This file defines various ``system-level'' + helper functions, for building [[depsys]], [[interpsys]], etc. + + \item[\File{vmlisp.lisp}] This is a collection of various utility + functions, encapsulations of variabilities of Lisp implementations. + All those symbols are defined in the package [[VMLISP]]. + It needs some strip down, and possibly have its contents moved + to the package [[BOOT]]. + + \item[\File{ggreater.lisp}] This file defines various orderings + on collections and other aggregates. Its content is defined in the + package [[VMLISP]]. + + \item[\File{hash.lisp}] This file defines a ``hash table'' module. + Its content is defined in package [[VMLISP]]. + + \item[\File{bootfuns.lisp}] This file collects forward references + of functions that are needed in the [[BOOT]] package, to be defined + latter. It is not at all clear that this file is needed to + build the Boot to Common Lisp translator. Its content is + defined in package [[BOOT]]. + + \item[\File{union.lisp}] This file defines functions that + compute set-theoretic operations (union, difference, intersection, etc.). + Its content is in package [[VMLISP]]. + + \item[\File{nlib.lisp}] This file defines to work around problems + with GCL when compiling Spad files. It is not necessary for + translating Boot codes to Common Lisp. Its content is in package + [[VMLISP]]. + + \item[\File{macros.lisp}] This file collects various helper macros + and functions for Boot and Spad codes. + + \item[\File{comp.lisp}] This file defines several functions that + desugar Boot and Spad codes; in particular, they infer local + variables from their position in assignment expressions. Its + content is defined in package [[BOOT]]. + + \item[\File{spaderror.lisp}] This file defines error handling functions + that are useful only for Spad codes -- not for translating Boot codes. + Its content is defined in package [[BOOT]]. + + \item[\File{debug.lisp}] This file defines debug utilities for + essentially Spad codes. Its content is defined in package [[BOOT]]. + + \item[\File{spad.lisp}] This files defines the entry points for + processing Spad and Boot codes. Its content is defined in package + [[BOOT]]. + + \item[\File{bits.lisp}] This file implements a ``bit vector'' + data type. Its content is in package [[BOOT]]. + + \item[\File{setq.lisp}] This file defines several global + variables. Its content is defined in package [[BOOT]]. + + \item[\File{property.lisp}] This file defines properties of + Spad and Boot tokens, as well as several constructors. Its + content is defined in package [[BOOT]]. + + \item[\File{unlisp.lisp}] This file attempts to define interfaces + to the Operating System, that are not found in strict ANSI + Common Lisp (though they may be present as extensions with + varying spellings.). Its content is defined in package [[BOOT]]. + + \item[\File{foam\_l.lisp}] This file defines the FOAM functions. + The packages [[FOAM]] and [[FOAM-USER]] are defined here. + It is not needed for translating Boot codes to Common Lisp. + + \item[\File{axext\_l.lisp}] This file defines various macros and + functions for interoperability between Aldor and Axiom. Not needed + for translating Boot codes to Common Lisp. + \end{description} + +\item[Compiled Lisp source files] + \begin{description} + \item[\File{parsing.lisp}] + + \item[\File{metalex.lisp}] + + \item[\File{bootlex.lisp}] + + \item[\File{newaux.lisp}] + + \item[\File{preparse.lisp}] + + \item[\File{postprop.lisp}] + + \item[\File{def.lisp}] + + \item[\File{metameta.lisp}] + + \item[\File{fnewmeta.lisp}] + \end{description} + +\item[Compiled Boot source files] + \begin{description} + \item[\File{postpar.boot}] + + \item[\File{parse.boot}] + + \item[\File{clam.boot}] + + \item[\File{slam.boot}] + + \item[\File{g-boot.boot}] + + \item[\File{c-util.boot}] + + \item[\File{g-util.boot}] + \end{description} + +\end{description} + +% +<<environment>>= +depsys_lisp_compiled_sources += parsing.lisp metalex.lisp bootlex.lisp \ + newaux.lisp preparse.lisp postprop.lisp def.lisp metameta.lisp \ + fnewmeta.lisp + +depsys_lisp_sources = $(depsys_lisp_noncompiled_sources) \ + $(depsys_lisp_compiled_sources) + +depsys_boot_sources = postpar.boot parse.boot clam.boot slam.boot \ + g-boot.boot g-error.boot c-util.boot g-util.boot +@ + +The {\bf DEP} variable contains the list of files that +will be loaded into {\bf DEPSYS}. Notice that these files +are loaded in interpreted form. We are not concerned about +the compile time performance so we can use interpreted code. +We do, however, care about the macros as these will be +expanded in later compiles. All macros are assumed to be +in this list of files. +<<environment>>= +DEP= nlib.lisp \ + macros.lisp comp.lisp \ + spaderror.lisp debug.lisp \ + spad.lisp bits.lisp \ + setq.lisp property.lisp \ + unlisp.lisp foam_l.lisp \ + axext_l.lisp + +depsys_lisp_macro_sources = vmlisp.lisp ggreater.lisp hash.lisp \ + bootfuns.lisp union.lisp nlib.lisp macros.lisp \ + comp.lisp spaderror.lisp debug.lisp \ + spad.lisp bits.lisp setq.lisp property.lisp \ + unlisp.lisp foam_l.lisp axext_l.lisp + +depsys_lisp_noncompiled_sources += $(depsys_lisp_macro_sources) +depsys_lisp_SOURCES = $(addsuffix .pamphlet, $(depsys_lisp_sources)) +@ + +Once we've compile all of the Common Lisp files we fire up +a clean lisp image called {\bf LOADSYS} (from the build platform), load all +of the +final executable code and save it out as {\bf SAVESYS}. This image +is used to bootstrap the Algebra files and generate the +databases. +The {\bf SAVESYS} image is copied to the [[$(axiom_target_bindir)]] +subdirectory and becomes the axiom executable image. Technically, that is +not right because the host plaform may not be the same as the build +platform. However, we don't yet support cross compilation, so that +is alright for the time being. +<<environment>>= +LOADSYS= $(axiom_build_bindir)/lisp$(EXEEXT) +SAVESYS= interpsys$(EXEEXT) +AXIOMSYS= $(axiom_target_bindir)/AXIOMsys$(EXEEXT) + +@ + +\subsection{Debugging [[depsys]]} + +Occasionally we need to really get into the system internals. +The best way to do this is to run almost all of the lisp code +interpreted rather than compiled (note that cfuns.lisp and sockio.lisp +still need to be loaded in compiled form as they depend on the +loader to link with lisp internals). This image is nothing more +than a load of the file \File{src/interp/debugsys.lisp.pamphlet}. If +you need to make test modifications you can add code to that +file and it will show up here. +<<environment>>= +DEBUGSYS=$(axiom_build_bindir)/debugsys$(EXEEXT) + +@ + +These are the files that need to be compiled (in {\bf BOOTSYS}), +loaded into a clean lisp image ({\bf LOADSYS}) and saved as +a runnable \Tool{Axiom} interpreter ({\bf SAVESYS}) usually named +\Tool{interpsys}. Most of these files +are translated from Boot to Common Lisp and then +compiled. There are two exceptions, \File{bootfuns.lisp} +and \File{setq.lisp}. The \File{bootfuns.lisp} \cite{3} file +contains forward references for Boot code. The \File{setq.lisp} +file contains constant initialization code which gains nothing +by being compiled. + +\subsection{The Spad interpreter and compiler} + +The value of the variable [[AXIOMsys_boot_sources]] is the (currently +partial) list of Boot source files that make up the interpreter. +Similarly, the value of the variable [[AXIOMsys_compiled_lisp_sources]] +is the list of Common Lisp source files that are compiled into +the interpreter. Notice that some of these files are loaded (\eg{}, +interpreted) in [[depsys]]. + +<<environment>>= +OBJS= vmlisp.$(FASLEXT) hash.$(FASLEXT) \ + bootfuns.$(FASLEXT) macros.$(FASLEXT) \ + unlisp.$(FASLEXT) setq.$(FASLEXT) \ + astr.$(FASLEXT) bits.$(FASLEXT) \ + alql.$(FASLEXT) buildom.$(FASLEXT) \ + cattable.$(FASLEXT) \ + cformat.$(FASLEXT) cfuns.$(FASLEXT) \ + clam.$(FASLEXT) clammed.$(FASLEXT) \ + comp.$(FASLEXT) foam_l.$(FASLEXT) \ + compat.$(FASLEXT) compress.$(FASLEXT) \ + cparse.$(FASLEXT) cstream.$(FASLEXT) \ + database.$(FASLEXT) \ + debug.$(FASLEXT) dq.$(FASLEXT) \ + fname.$(FASLEXT) format.$(FASLEXT) \ + g-boot.$(FASLEXT) g-cndata.$(FASLEXT) \ + g-error.$(FASLEXT) g-opt.$(FASLEXT) \ + g-timer.$(FASLEXT) g-util.$(FASLEXT) \ + ggreater.$(FASLEXT) \ + hypertex.$(FASLEXT) i-analy.$(FASLEXT) \ + i-code.$(FASLEXT) i-coerce.$(FASLEXT) \ + i-coerfn.$(FASLEXT) i-eval.$(FASLEXT) \ + i-funsel.$(FASLEXT) bookvol5.$(FASLEXT) \ + i-intern.$(FASLEXT) i-map.$(FASLEXT) \ + i-output.$(FASLEXT) i-resolv.$(FASLEXT) \ + i-spec1.$(FASLEXT) \ + i-spec2.$(FASLEXT) i-syscmd.$(FASLEXT) \ + i-toplev.$(FASLEXT) i-util.$(FASLEXT) \ + incl.$(FASLEXT) int-top.$(FASLEXT) \ + intfile.$(FASLEXT) \ + lisplib.$(FASLEXT) macex.$(FASLEXT) \ + match.$(FASLEXT) \ + monitor.$(FASLEXT) msg.$(FASLEXT) \ + msgdb.$(FASLEXT) nci.$(FASLEXT) \ + newaux.$(FASLEXT) newfort.$(FASLEXT) \ + nlib.$(FASLEXT) nrunfast.$(FASLEXT) \ + nrungo.$(FASLEXT) nrunopt.$(FASLEXT) \ + nruntime.$(FASLEXT) osyscmd.$(FASLEXT) \ + packtran.$(FASLEXT) pathname.$(FASLEXT) \ + pf2sex.$(FASLEXT) pile.$(FASLEXT) \ + posit.$(FASLEXT) property.$(FASLEXT) \ + ptrees.$(FASLEXT) ptrop.$(FASLEXT) \ + record.$(FASLEXT) \ + rulesets.$(FASLEXT) \ + scan.$(FASLEXT) serror.$(FASLEXT) \ + server.$(FASLEXT) \ + setvars.$(FASLEXT) \ + sfsfun-l.$(FASLEXT) sfsfun.$(FASLEXT) \ + simpbool.$(FASLEXT) slam.$(FASLEXT) \ + sockio.$(FASLEXT) spad.$(FASLEXT) \ + spaderror.$(FASLEXT) \ + template.$(FASLEXT) termrw.$(FASLEXT) \ + trace.$(FASLEXT) \ + union.$(FASLEXT) daase.$(FASLEXT) \ + fortcall.$(FASLEXT) + +interpsys_modules = $(patsubst %.$(FASLEXT), "%", $(OBJS)) + +AXIOMsys_noncompiled_lisp_sources = bootfuns.lisp nocompil.lisp \ + postprop.lisp property.lisp setq.lisp + +AXIOMsys_compiled_lisp_sources = bits.lisp \ + bootlex.lisp cfuns.lisp comp.lisp construc.lisp daase.lisp \ + debug.lisp def.lisp fname.lisp fnewmeta.lisp ggreater.lisp \ + hash.lisp macros.lisp metalex.lisp monitor.lisp newaux.lisp \ + nlib.lisp nspadaux.lisp parsing.lisp \ + patches.lisp preparse.lisp \ + sockio.lisp spad.lisp spaderror.lisp \ + union.lisp util.lisp vmlisp.lisp obey.lisp \ + unlisp.lisp intint.lisp nci.lisp sfsfun-l.lisp \ + axext_l.lisp foam_l.lisp + +AXIOMsys_boot_sources = astr.boot alql.boot buildom.boot cattable.boot \ + cformat.boot clam.boot clammed.boot compat.boot compress.boot \ + cparse.boot cstream.boot database.boot dq.boot format.boot \ + g-boot.boot g-cndata.boot g-error.boot g-opt.boot g-timer.boot \ + g-util.boot hypertex.boot i-analy.boot i-code.boot i-coerce.boot \ + i-coerfn.boot i-eval.boot i-funsel.boot i-intern.boot i-map.boot \ + i-output.boot i-resolv.boot i-spec1.boot i-spec2.boot \ + i-syscmd.boot i-toplev.boot i-util.boot incl.boot int-top.boot \ + intfile.boot lisplib.boot macex.boot match.boot msg.boot \ + msgdb.boot newfort.boot nrunfast.boot nrungo.boot nrunopt.boot \ + nruntime.boot osyscmd.boot packtran.boot pathname.boot \ + pf2sex.boot pile.boot posit.boot ptrees.boot ptrop.boot \ + record.boot rulesets.boot scan.boot serror.boot server.boot \ + setvars.boot sfsfun.boot simpbool.boot slam.boot template.boot \ + termrw.boot trace.boot fortcall.boot +@ + +Before we save the {\bf SAVESYS} image we need to run some +initialization code. These files perform initialization +for various parts of the system. The {\bf patches.lisp} \cite{5} +file contains last-minute changes to various functions and +constants. +<<environment>>= +INOBJS= varini.$(FASLEXT) parini.$(FASLEXT) \ + setvart.$(FASLEXT) intint.$(FASLEXT) \ + xrun.$(FASLEXT) interop.$(FASLEXT) \ + patches.$(FASLEXT) + +IN_modules = $(patsubst %.$(FASLEXT), "%", $(INOBJS)) + +@ + +Certain functions do not need to be in the running system. +If the running image never calls the compiler or does not +use the hypertex browser we will never call the functions +in these files. The code that calls these functions in the +running system will autoload the appropriate files the +first time they are called. Loading the files overwrites +the autoload function call and re-calls the function. +Any subsequent calls will run the compiled code. + +The {\bf OPOBJS} list contains files from the old parser. The use of +``old'' is something of a subtle concept as there were several +generations of ``old'' and all meaning of the term is lost. + +Notice that the object file [[def.$(FASLEXT)]] appears on both the +[[OPBJS]] and [[TRANOBJS]] lists. In normal situation, parsing +precedes translation; consequently the file [[def]] is loaded by the +parser, so that it does not need to be reloaded by the translator. +However, it may theoretically be that a translation could happen without +prior parsing (in case someone types in a parse tree for SPAD code). +Consequently, it must be ensured that [[def.]] is still loaded in that +configuration. In the long term, the autoload machinery need +rethinking. + +<<environment>>= +# These are autloaded old parser files +OPOBJS= ${AUTO}/parsing.$(FASLEXT) ${AUTO}/bootlex.$(FASLEXT) \ + ${AUTO}/def.$(FASLEXT) \ + ${AUTO}/fnewmeta.$(FASLEXT) ${AUTO}/metalex.$(FASLEXT) \ + ${AUTO}/metameta.$(FASLEXT) \ + ${AUTO}/parse.$(FASLEXT) ${AUTO}/postpar.$(FASLEXT) \ + ${AUTO}/postprop.$(FASLEXT) ${AUTO}/preparse.$(FASLEXT) + +autoload_objects += $(OPBJS) +@ + +The {\bf OCOBJS} list contains files from the old compiler. Again, +``old'' is meaningless. These files should probably be autoloaded. +<<environment>>= +OCOBJS= ${AUTO}/apply.$(FASLEXT) ${AUTO}/c-doc.$(FASLEXT) \ + ${AUTO}/c-util.$(FASLEXT) ${AUTO}/profile.$(FASLEXT) \ + ${AUTO}/category.$(FASLEXT) ${AUTO}/compiler.$(FASLEXT) \ + ${AUTO}/define.$(FASLEXT) ${AUTO}/functor.$(FASLEXT) \ + ${AUTO}/info.$(FASLEXT) ${AUTO}/iterator.$(FASLEXT) \ + ${AUTO}/modemap.$(FASLEXT) ${AUTO}/nruncomp.$(FASLEXT) \ + ${AUTO}/package.$(FASLEXT) ${AUTO}/htcheck.$(FASLEXT) \ + ${AUTO}/xruncomp.$(FASLEXT) + +autoload_objects += $(OCOBJS) + +@ + +The {\bf BROBJS} list contains files only used by the hypertex +browser. These files should probably be autoloaded. +<<environment>>= +BROBJS= ${AUTO}/bc-matrix.$(FASLEXT) \ + ${AUTO}/bc-misc.$(FASLEXT) ${AUTO}/bc-solve.$(FASLEXT) \ + ${AUTO}/bc-util.$(FASLEXT) \ + ${AUTO}/ht-util.$(FASLEXT) ${AUTO}/htsetvar.$(FASLEXT) \ + ${AUTO}/ht-root.$(FASLEXT) \ + ${AUTO}/br-con.$(FASLEXT) \ + ${AUTO}/br-data.$(FASLEXT) ${AUTO}/showimp.$(FASLEXT) \ + ${AUTO}/br-op1.$(FASLEXT) ${AUTO}/br-op2.$(FASLEXT) \ + ${AUTO}/br-search.$(FASLEXT) ${AUTO}/br-util.$(FASLEXT) \ + ${AUTO}/topics.$(FASLEXT) ${AUTO}/br-prof.$(FASLEXT) \ + ${AUTO}/br-saturn.$(FASLEXT) + +autoload_objects += $(BFOBJS) + +@ + +The {\bf TRANOBJS} list contains files used by Spad to Aldor convertor. +The files probably are also used by the {\bf boot} +to Common Lisp translator and are probably never used by anyone +but the developers. + +When a user requests converting a file from Spad to Aldor the +function +[[spad2AsTranslatorAutoloadOnceTrigger]] is called triggering +load of this group of files. Loading [[$TRANOBJS]] in turn replaces +many compiler functions by versions contain in this files. + These files should probably be autoloaded +(at least [[${AUTO}/wi1.$(FASLEXT)]] and [[${AUTO}/wi2.$(FASLEXT)]] +(which replace compiler functions) {\em must} be autoloaded). +<<environment>>= +TRANOBJS= ${AUTO}/wi1.$(FASLEXT) ${AUTO}/wi2.$(FASLEXT) ${AUTO}/pspad1.$(FASLEXT) \ + ${AUTO}/pspad2.$(FASLEXT) ${AUTO}/mark.$(FASLEXT) ${AUTO}/nspadaux.$(FASLEXT) \ + ${AUTO}/def.$(FASLEXT) + +autoload_objects += $(TRANOBJS) + +@ + +The {\bf NAGBROBJS} list contains files used to access the +Numerical Algorithms Group (NAG) fortran libraries. +These files should probably be autoloaded. +Note that [[${AUTO}/nag-e02a.$(FASLEXT)]] is not included in this +list as it is a subset of [[${AUTO}/nag-e02.$(FASLEXT)]]. +<<environment>>= +NAGBROBJS= ${AUTO}/nag-c02.$(FASLEXT) ${AUTO}/nag-c05.$(FASLEXT) \ + ${AUTO}/nag-c06.$(FASLEXT) ${AUTO}/nag-d01.$(FASLEXT) \ + ${AUTO}/nag-d02.$(FASLEXT) ${AUTO}/nag-d03.$(FASLEXT) \ + ${AUTO}/nag-e01.$(FASLEXT) ${AUTO}/nag-e02.$(FASLEXT) \ + ${AUTO}/nag-e04.$(FASLEXT) ${AUTO}/nag-f01.$(FASLEXT) \ + ${AUTO}/nag-f02.$(FASLEXT) ${AUTO}/nag-f04.$(FASLEXT) \ + ${AUTO}/nag-f07.$(FASLEXT) ${AUTO}/nag-s.$(FASLEXT) + +autoload_objects += $(NAGBROBJS) + +@ + +The {\bf ASCOMP} list contains files used by the {\bf Aldor} +\cite{5} compiler. These files should probably be autoloaded. +<<environment>>= +ASCOMP= hashcode.$(FASLEXT) as.$(FASLEXT) \ + foam_l.$(FASLEXT) axext_l.$(FASLEXT) + +AS_modules = $(patsubst %.$(FASLEXT), "%", $(ASCOMP)) + +@ + +The {\bf ASAUTO} list contains files used by the {\bf Aldor} +\cite{5} compiler. These files are autoloaded as needed. +<<environment>>= +ASAUTO= ${AUTO}/ax.$(FASLEXT) + +autoload_objects += $(ASAUTO) +@ + +Axiom versions are given as a string of the form: +"Sunday September 21, 2003 at 20:38:05 " +which describe the day, date, and time of the build. +This is used for reporting bugs. It is only partially useful +in identifying which source code was used. Ideally we could create +a tar file of all of the date/time stamps of all of the source files +and use the MD5 hash of that file as the version stamp. Ultimately +though, this would be chasing the elusive "perfect information" idea. + +A new variable [[boot::*build-version*]] is set here and used by the +[[yearweek]] function to display the version number of the Axiom build. +This information is set by hand in the top level Makefile. +<<environment>>= +TIMESTAMP=$(axiom_targetdir)/timestamp +YEARWEEK=(progn (setq boot::timestamp "${TIMESTAMP}") \ + (setq boot::*build-version* "$(PACKAGE_STRING)") \ + (boot::yearweek)) + +@ + +The {\bf .PRECIOUS} setting will keep make from deleting these +images if the build is stopped. Since once they are built they +are likely to be useable we don't need to redo the work if they +exist. +<<environment>>= + +.PRECIOUS: ${DEPSYS} +.PRECIOUS: ${SAVESYS} +.PRECIOUS: ${AXIOMSYS} + +@ + +\section{Codes from Pamphlets} + +As noted earlier, the Boot codes are first extrated from the pamphlet +files: +<<extract source codes>>= +.PRECIOUS: %.boot +%.boot: $(srcdir)/%.boot.pamphlet + $(axiom_build_document) --tangle --output=$@ $< +@ + +The extracted Boot codes are then fed into \Tool{bootsys} which translates +them into Common Lisp codes: +<<extract source codes>>= +.PRECIOUS: %.clisp +%.clisp: %.boot + $(BOOT_TO_LISP) +@ + +The resulting Common Lips codes are, in turn, compiled to object codes +using the \Tool{depsys} image. +<<extract source codes>>= +.PRECIOUS: %.$(FASLEXT) +%.$(FASLEXT): %.clisp + $(COMPILE_LISP) +@ + +Part of the interpreter is written directly in Common Lisp (instead of the +sugared dialect Boot). That part is extracted from the pamphlet files +and compiled to native object code, as usual. +<<extract source codes>>= +# Extract and compile the part of the interpreter written +# in Common Lisp +.PRECIOUS: %.lisp +%.$(FASLEXT): %.lisp + $(COMPILE_LISP) + +%.lisp: $(srcdir)/%.lisp.pamphlet + $(axiom_build_document) --tangle --output=$@ $< +@ + +\section{Proclaim optimization} + +\Tool{GCL}, and possibly other common lisps, can generate much better +code if the function argument types and return values are proclaimed. + +In theory what we should do is scan all of the functions in the system +and create a file of proclaim definitions. These proclaim definitions +should be loaded into the image before we do any compiles so they can +allow the compiler to optimize function calling. + +\Tool{GCL} has an approximation to this scanning which we use here. + +The first step is to build a version of GCL that includes [[gcl_collectfn]]. +This file contains code that enhances the lisp compiler and creates a +hash table of structs. Each struct in the hash table describes information +that about the types of the function being compiled and the types of its +arguments. At the end of the compile-file this hash table is written out +to a ".fn" file. + +The second step is to build axiom images (depsys, interpsys, AXIOMsys) +which contain the [[gcl_collectfn]] code. + +The third step is to build the system. This generates a .fn file for +each lisp file that gets compiled. + +The fourth step is to build the proclaims.lisp files. There is one +proclaims.lisp file for +boot (boot-proclaims.lisp), +interp (interp-proclaims.lisp), and +algebra (algebra-proclaims.lisp). + +To build the proclaims file (e.g. for interp) we: +\begin{verbatim} +(a) cd to obj/linux/interp +(b) (yourpath)/axiom/obj/linux/bin/lisp +(c) (load "sys-pkg.lsp") +(d) (mapcar #'load (directory "*.fn")) +(e) (with-open-file (out "interp-proclaims.lisp" :direction :output) + (compiler::make-proclaims out)) +\end{verbatim} +Note that step (c) is only used for interp, not for boot. + +The fifth step is to copy the newly constructed proclaims file back +into the src/interp diretory (or boot, algebra). + +\section{The warm.data file} + +This is a file of commands that will be loaded into interpsys +at the last minute. It execute functions that will likely be +used in a running system so all of the required routines will +be in the lisp image thus minimizing their startup time. +<<warm.data.stanza>>= +../algebra/warm.data: $(srcdir)/Makefile.pamphlet + @ echo 2 building warm.data + $(axiom_build_document) --tangle=warm.data --output=$@ $< + +@ + +<<warm.data>>= +(in-package 'boot) +(setq |$topicHash| (make-hash-table)) +(setf (gethash '|basic| |$topicHash|) 2) +(setf (gethash '|algebraic| |$topicHash|) 4) +(setf (gethash '|miscellaneous| |$topicHash|) 13) +(setf (gethash '|extraction| |$topicHash|) 6) +(setf (gethash '|conversion| |$topicHash|) 7) +(setf (gethash '|hidden| |$topicHash|) 3) +(setf (gethash '|extended| |$topicHash|) 1) +(setf (gethash '|destructive| |$topicHash|) 5) +(setf (gethash '|transformation| |$topicHash|) 10) +(setf (gethash '|hyperbolic| |$topicHash|) 12) +(setf (gethash '|construct| |$topicHash|) 9) +(setf (gethash '|predicate| |$topicHash|) 8) +(setf (gethash '|trignometric| |$topicHash|) 11) + +@ + +\section{UNUSED} + +These files were in the interp distribution from NAG but have +no purpose at the moment. This belief is no doubt due to my +lack of understanding. Rather than erase them they are documented +here for future reference. [[${DOC}/nag-e02a.boot.dvi]] and +[[${DOC}/nag-e02b.boot.dvi]] appear to be two halfs of the file +[[${DOC}/nag-e02.boot.dvi]] and have been removed. +<<environment>>= +UNUSED= ${DOC}/anna.boot.dvi ${DOC}/construc.lisp.dvi \ + ${DOC}/domain.lisp.dvi ${DOC}/guess.boot.dvi \ + ${DOC}/interp-fix.boot.dvi \ + ${DOC}/nhyper.boot.dvi ${DOC}/pf2atree.boot.dvi \ + ${DOC}/redefs.boot.dvi ${DOC}/word.boot.dvi + +@ + +\section{Building DEPSYS} + +\begin{verbatim} +NOTES: depsys proceeds all else. it is the compile-time environment +for all interpreter code. +[[OLD-BOOT::BOOT]] emulates the new boot parser command [[BOOTTOCL]]. since +we eventually plan to move to the new boot parser this function +should disappear. +the load of postpar and parse (without extensions) allows the .${LISP} form +to be loaded in a virgin system. however, if depsys is recreated then +the compiled form will get loaded. +\end{verbatim} + +\subsection{save depsys image} + +Once the appropriate commands are in the [[makedep.lisp]] file +we can load the file into an initial Lisp image and save it. +In freebsd we cannot do this so we have to use +a much more complicated procedure. +This code used to read: +\begin{verbatim} +<<save depsys image>>= + ../lisp/base-lisp$(EXEEXT) -- --make --output=$@ \ + --load-directory=. makedep.lisp +@ +\end{verbatim} + +Now game is much more difficult. +\begin{verbatim} + + '(progn \ + +\end{verbatim} + +[[si::*collect-binary-modules*]] instructs GCL to build a list of +binary object modules loaded into the current session with (load ...) +The list will be stored in [[si::*binary-modules*]]. +\begin{verbatim} + + (setq si::*collect-binary-modules* t) \ + (load "makedep.lisp") \ + +\end{verbatim} + +[[compiler::link]] is a lisp interface to the ``ld'' C-based system linker. +The first argumet is a list of [[.o]] binary object modules to link into a +fresh gcl image. The second argument is the name of the new output +image. The third argument is a string containing an initialization +command to run in the new image to reinitialize the heap. The fourth +argument is a list of external C libraries, either static or dynamic, +that one wishes to link into the fresh image. The last argument is a +flag which indicates whether GCL should initialize all of the freshly +linked in new lisp modules, or whether it should transparently +redirect load calls in the new image to initialization calls for the +already linked in module. + +Some lisp systems, such as acl2, have a complex heap initialization, +in which load calls must be interspersed with other form evaluation +comprising the logic of the heap construction. Others, such as +maxima, have no such complex initialization sequence. +\begin{verbatim} + + (compiler::link \ + +\end{verbatim} +[[si::*binary-modules*]] here has the list of compiled lisp binary module +.o files loaded by makedep.lsp above. +\begin{verbatim} + + (remove-duplicates si::*binary-modules* :test (quote equal)) \ + +\end{verbatim} + +The name of the output image. +\begin{verbatim} + + "$(DEPSYS)" \ + +\end{verbatim} + +This will be run in the newly linked sub-image. +\begin{verbatim} + + (format nil "\ + +\end{verbatim} + +Collect loaded binary modules again to make sure that there are none, +as all should be already linked in via ld. For error checking +purposes. +\begin{verbatim} + +(setq si::*collect-binary-modules* t) \ + +\end{verbatim} + +We need to find [[gcl_collectfn.lsp]], so set the [[*load-path*]], and make +sure the source, not the binary, form is loaded here, as we're only +using this entire sequence on machines which cannot load binary object +modules and preserve them in saved images. +\begin{verbatim} + +(let ((si::*load-path* (cons ~S si::*load-path*))\ + (si::*load-types* ~S))\ + +\end{verbatim} + +Turn on function analyzation and autoload thereby [[gcl_collectfn.lsp]]. +\begin{verbatim} + +(compiler::emit-fn t))\ + +\end{verbatim} + +Load the heap creation sequence again in the fresh new image, this +time transparently redirecting all calls to load of binary modules +invoked thereby into initialization calls for the already linkned in +module. + +Load has code in it to recognize when a module is already linked in, +and to forgo in this case the actual load and replace with a mere +initialization call instead. +\begin{verbatim} + +(load \"makedep.lisp\")\ + +(gbc t)\ + +\end{verbatim} + +It is an error to load a binary module. Calling load will not +reload them but only run initialization. +Throw an error if we've actually loaded any binary modules. +\begin{verbatim} + +(when si::*binary-modules* \ +(error si::*binary-modules*))\ + +\end{verbatim} + +Unset the binary module collection flags. +\begin{verbatim} + +(setq si::collect-binary-modules* nil si::*binary-modules* nil)\ +(gbc t)\ + +\end{verbatim} + +Turn on SGC (Stratified Garbage Collection) in the final image. This +is a optional gbc algorithm which is suitable for images which will +not grow much further. It marks a large fraction of the heap +read-only, eliminating such pages from the time-consuming gbc +processing. When writes are actually made to such pages, a segfault +is triggered which is handled by a function which remarks the pages +read-write and continues. +\begin{verbatim} + +(when (fboundp (quote si::sgc-on)) (si::sgc-on t))\ + +\end{verbatim} + +This is a flag which instructs the GCL compiler to make unique +initialzation function C names. This is necessary when using ld, as +all function names must be unique. +\begin{verbatim} + +(setq compiler::*default-system-p* t)\ + +si::*system-directory* goes into the *load-path*, and .lsp in the *load-types*. + +" si::*system-directory* (quote (list ".lsp")))\ + +\end{verbatim} +No C libraries to link in here. +\begin{verbatim} + +"" \ + +\end{verbatim} + +Do not run the initialization code for the newly linked in lisp +modules ``by hand'', but rather rely on the transparent load redirection +described above to initialize at the proper moment in the heap +initialization sequence. +\begin{verbatim} + +nil))' | $(LISPSYS)) + +\end{verbatim} +The [[save depsys image]] was supposed to read: +\begin{verbatim} + @ (cd ${OBJ}/${SYS}/bin ; \ + echo '(progn \ + (setq si::*collect-binary-modules* t) \ + (load "makedep.lisp") \ + (compiler::link \ + (remove-duplicates si::*binary-modules* :test (quote equal)) \ + "$(DEPSYS)" \ + (format nil "\ + (setq si::*collect-binary-modules* t) \ + (let ((si::*load-path* (cons ~S si::*load-path*))\ + (si::*load-types* ~S))\ + (compiler::emit-fn t))\ + (load \"makedep.lisp\")\ + (gbc t)\ + (when si::*binary-modules* \ + (error si::*binary-modules*))\ + (setq si::collect-binary-modules* nil si::*binary-modules* nil)\ + (gbc t)\ + (when (fboundp (quote si::sgc-on)) (si::sgc-on t))\ + (setq compiler::*default-system-p* t)\ + " si::*system-directory* (quote (list ".lsp")))\ + "" \ + nil))' | $(LISPSYS)) +\end{verbatim} + +This scheme does not work. It fails during loading with multiple messages +of the form: +\begin{verbatim} +/home/axiom--main--1--patch-33/obj/linux/interp/parse.o(.text+0x5660): In function `init_code': +: multiple definition of `init_code' +/home/axiom--main--1--patch-33/obj/linux/interp/postpar.o(.text+0x4e78): first defined here +\end{verbatim} + +<<depsys>>= +depsys_lisp_sources += parsing.lisp metalex.lisp bootlex.lisp \ + newaux.lisp preparse.lisp postprop.lisp \ + metameta.lisp fnewmeta.lisp + +depsys_boot_sources = postpar.boot parse.boot clam.boot slam.boot \ + g-boot.boot g-error.boot c-util.boot g-util.boot + +depsys_SOURCES = $(depsys_lisp_SOURCES) $(depsys_boot_SOURCES) + +depsys_objects = nocompil.$(FASLEXT) bookvol5.$(FASLEXT) g-error.$(FASLEXT) \ + util.$(FASLEXT) postpar.$(FASLEXT) parse.$(FASLEXT) \ + parsing.$(FASLEXT) metalex.$(FASLEXT) bootlex.$(FASLEXT) \ + newaux.$(FASLEXT) preparse.$(FASLEXT) postprop.$(FASLEXT) \ + metameta.$(FASLEXT) fnewmeta.$(FASLEXT) clam.$(FASLEXT) \ + slam.$(FASLEXT) g-boot.$(FASLEXT) c-util.$(FASLEXT) \ + g-util.$(FASLEXT) + +${DEPSYS}: vmlisp.$(FASLEXT) \ + hash.$(FASLEXT) \ + ggreater.$(FASLEXT) \ + union.$(FASLEXT) \ + bootfuns.$(FASLEXT) \ + ${DEP} \ + nocompil.$(FASLEXT) \ + bookvol5.$(FASLEXT)\ + util.$(FASLEXT) \ + postpar.clisp parse.clisp \ + parsing.lisp metalex.lisp \ + bootlex.lisp newaux.lisp \ + preparse.lisp \ + postprop.lisp def.lisp \ + metameta.lisp fnewmeta.lisp \ + g-error.clisp \ + g-boot.clisp c-util.${LISP} \ + g-util.clisp \ + clam.clisp \ + slam.clisp + @ echo 3 making ${DEPSYS} + @ rm -f makedep.lisp + @ $(mkinstalldirs) $(axiom_build_bindir) + @ echo '(|importModule| "vmlisp")' >> makedep.lisp + @ echo '(|importModule| "hash")' >> makedep.lisp + @ echo '(|importModule| "ggreater")' >> makedep.lisp + @ echo '(|importModule| "union")' >> makedep.lisp + @ echo '(|importModule| "bootfuns")' >> makedep.lisp + @ echo '(|importModule| "nocompil")' >> makedep.lisp + @ echo '(|importModule| "bookvol5")' >> makedep.lisp + @ echo '(|importModule| "util")' >> makedep.lisp + @ echo '(in-package "BOOT")' >> makedep.lisp + @ echo '(build-depsys (quote ($(patsubst %, "%", ${DEP}))) "${AXIOM}")' >> makedep.lisp + @ echo '(unless (probe-file "postpar.$(FASLEXT)") (compile-file "postpar.clisp" :output-file "postpar.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "postpar")' >> makedep.lisp + @ echo '(unless (probe-file "parse.$(FASLEXT)") (compile-file "parse.clisp" :output-file "parse.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "parse")' >> makedep.lisp + @ echo '(unless (probe-file "parsing.$(FASLEXT)") (compile-file "parsing.lisp" :output-file "parsing.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "parsing")' >> makedep.lisp + @ echo '(unless (probe-file "metalex.$(FASLEXT)") (compile-file "metalex.lisp" :output-file "metalex.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "metalex")' >> makedep.lisp + @ echo '(unless (probe-file "bootlex.$(FASLEXT)") (compile-file "bootlex.lisp" :output-file "bootlex.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "bootlex")' >> makedep.lisp + @ echo '(unless (probe-file "newaux.$(FASLEXT)") (compile-file "newaux.lisp" :output-file "newaux.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "newaux")' >> makedep.lisp + @ echo '(unless (probe-file "preparse.$(FASLEXT)") (compile-file "preparse.lisp" :output-file "preparse.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "preparse")' >> makedep.lisp + @ echo '(unless (probe-file "postprop.$(FASLEXT)") (compile-file "postprop.lisp" :output-file "postprop.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "postprop")' >> makedep.lisp + @ echo '(unless (probe-file "def.$(FASLEXT)") (compile-file "def.lisp" :output-file "def.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "def")' >> makedep.lisp + @ echo '(unless (probe-file "metameta.$(FASLEXT)") (compile-file "metameta.lisp" :output-file "metameta.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "metameta")' >> makedep.lisp + @ echo '(unless (probe-file "fnewmeta.$(FASLEXT)") (compile-file "fnewmeta.lisp" :output-file "fnewmeta.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "fnewmeta")' >> makedep.lisp + @ echo '(unless (probe-file "clam.$(FASLEXT)") (compile-file "clam.clisp" :output-file "clam.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "clam")' >> makedep.lisp + @ echo '(unless (probe-file "slam.$(FASLEXT)") (compile-file "slam.clisp" :output-file "slam.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "slam")' >> makedep.lisp + @ echo '(unless (probe-file "g-error.$(FASLEXT)") (compile-file "g-error.clisp" :output-file "g-error.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "g-error")' >> makedep.lisp + @ echo '(unless (probe-file "g-boot.$(FASLEXT)") (compile-file "g-boot.clisp" :output-file "g-boot.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "g-boot")' >> makedep.lisp + @ echo '(unless (probe-file "c-util.$(FASLEXT)") (compile-file "c-util.${LISP}" :output-file "c-util.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "c-util")' >> makedep.lisp + @ echo '(unless (probe-file "g-util.$(FASLEXT)") (compile-file "g-util.clisp" :output-file "g-util.$(FASLEXT)"))' >> makedep.lisp + @ echo '(load "g-util")' >> makedep.lisp +<<save depsys image>> + @rm $(addsuffix .$(FASLEXT), \ + postpar parse parsing metalex bootlex newaux preparse \ + postprop def metameta fnewmeta clam slam g-error \ + g-boot c-util g-util) + @ echo 4 ${DEPSYS} created + + +util.$(FASLEXT): util.lisp bootfuns.$(FASLEXT) + $(BOOTSYS) -- --compile --output=$@ --load-directory=. $< + +bookvol5.$(FASLEXT): bookvol5.lisp bootfuns.$(FASLEXT) + $(BOOTSYS) -- --compile --output=$@ --load-directory=. $< + +nocompil.$(FASLEXT): nocompil.lisp bootfuns.$(FASLEXT) + $(BOOTSYS) -- --compile --output=$@ --load-directory=. $< + +bootfuns.$(FASLEXT): bootfuns.lisp hash.$(FASLEXT) + $(BOOTSYS) -- --compile --output=$@ --load-directory=. $< + +hash.$(FASLEXT): hash.lisp vmlisp.$(FASLEXT) + $(BOOTSYS) -- --compile --output=$@ --load-directory=. $< + +union.$(FASLEXT): union.lisp vmlisp.$(FASLEXT) + $(BOOTSYS) -- --compile --output=$@ --load-directory=. $< + +ggreater.$(FASLEXT): ggreater.lisp vmlisp.$(FASLEXT) + $(BOOTSYS) -- --compile --output=$@ --load-directory=. $< + +vmlisp.$(FASLEXT): vmlisp.lisp + $(BOOTSYS) -- --compile --output=$@ $< + +@ + +\section{Building SAVESYS and AXIOMSYS} + +GCL likes to tell you when it has replaced a function call by a +tail-recursive call. This happens when the last form in a function +is a call to the same function. In general, we don't care so we set +compiler::*suppress-compiler-notes* to true in order to reduce the noise. + +Notice that when Axiom uses GCL as the Lisp platform, it is usually not +a good idea to mess with GCL's internal variables. In particular, GCL +has its own idea about what to do with [[si::*system-directory*]], which +should not be set here just because we happen to save an GCL-based image. +Doing otherwise causes havoc. + +<<savesys>>= +makeint.lisp: ${DEPSYS} ${OBJS} bookvol5.$(FASLEXT) util.$(FASLEXT) \ + nocompil.lisp \ + ${OUTINTERP} ${OCOBJS} ${OPOBJS} ${BROBJS} obey.$(FASLEXT) \ + database.date ${INOBJS} ${ASCOMP} ${ASAUTO} \ + ${NAGBROBJS} ${TRANOBJS} \ + ${LOADSYS} \ + $(axiom_targetdir)/algebra/exposed.$(FASLEXT) \ + $(axiom_src_docdir)/msgs/s2-us.msgs \ + ../algebra/warm.data + @ echo 5 invoking make in `pwd` with parms: + @rm -f makeint.lisp + @ echo SYS= ${SYS} + @ echo LISP=${LISP} BYE=${BYE} + $(mkinstalldirs) $(axiom_target_datadir)/msgs + $(INSTALL_DATA) $(axiom_src_docdir)/msgs/s2-us.msgs \ + $(axiom_target_datadir)/msgs + @ echo '(|importModule| "vmlisp")' >> makeint.lisp + @ echo '(|importModule| "hash")' >> makeint.lisp + @ echo '(|importModule| "bootfuns")' >> makeint.lisp + @ echo '(gbc t)' >> makeint.lisp + @ echo '(load "nocompil.lisp")' >> makeint.lisp + @ echo '(|importModule| "bookvol5")' >> makeint.lisp + @ echo '(|importModule| "util")' >> makeint.lisp + @ echo '(in-package "BOOT")' >> makeint.lisp + @ touch ${TIMESTAMP} + @ echo '${YEARWEEK}' >> makeint.lisp + @ echo '(boot::build-interpsys (append (quote ($(interpsys_modules))) (quote ($(AS_modules))) (quote ($(IN_modules)))) (quote ($(patsubst %, "%", ${OPOBJS}))) (quote ($(patsubst %, "%", ${OCOBJS}))) (quote ($(patsubst %, "%", ${BROBJS}))) (quote ($(patsubst %, "%", ${TRANOBJS}))) (quote ($(patsubst %, "%", ${NAGBROBJS}))) (quote ($(patsubst %, "%", ${ASAUTO}))) "${AXIOM}")' >> makeint.lisp + @ echo '(boot::set-restart-hook)' >> makeint.lisp + @ echo '(in-package "BOOT")' >> makeint.lisp + @ echo '(load "../algebra/warm.data")' >> makeint.lisp + @ echo '(boot::|clearClams|)' >> makeint.lisp + @ echo '(load "obey")' >> makeint.lisp + @ echo '#+:akcl (setq compiler::*suppress-compiler-notes* t)' >> makeint.lisp + @ echo '#+:akcl (si::gbc-time 0)' >> makeint.lisp + @ echo '(gbc t)' >> makeint.lisp + +${SAVESYS}: makeint.lisp + AXIOM="$(AXIOM)" DAASE="$(axiom_src_datadir)" \ + $(LOADSYS) -- --make --output=$@ --main="BOOT::RESTART" \ + --load-directory=. makeint.lisp + @ echo 6 ${SAVESYS} created + $(mkinstalldirs) $(axiom_target_bindir) +@ + +\section{Building SAVESYS and AXIOMSYS} + +We want to cache database data in the final image, so we dump it only +after databases are build. +Note that having dependency on databases is not enough, since databases +are re-generated after leaving \File{interp/} directory. + +<<axiomsys>>= +.PHONY: all-axiomsys + +all-axiomsys: ${AXIOMSYS} + +${AXIOMSYS}: makeint.lisp + AXIOM="$(AXIOM)" DAASE="$(axiom_targetdir)" \ + $(LOADSYS) -- --make --output=$@ --main="BOOT::RESTART" \ + --load-directory=. makeint.lisp + @ echo 6a ${AXIOMSYS} created +@ + +\section{Building debugsys} + +Note that we assume you've already built interpsys so all of the +files are known to exist and be up to date. We don't list any of +the preconditions here. +<<debugsys>>= +${DEBUGSYS}: debugsys.lisp + @ echo 7 building debugsys + @ echo '(progn (gbc t) (load "debugsys.lisp") (in-package "BOOT") (spad-save "$@"))' | ${LISPSYS} + @ echo 8 ${DEBUGSYS} created + +@ + +\section{The Interpreter files} + +\subsection{DVI files from pmaphlet files} + +<<DVI from pamphlet>>= +$(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex + $(INSTALL_DATA) $< $@ +@ + +\subsection{apply.boot \cite{7}} + +<<apply.o (AUTO from OUT)>>= +${AUTO}/apply.$(FASLEXT): apply.$(FASLEXT) + @ echo 9 making ${AUTO}/apply.$(FASLEXT) from apply.$(FASLEXT) + @ cp apply.$(FASLEXT) ${AUTO} + +@ + +\subsection{bootlex.lisp \cite{9}} + +<<bootlex.o (AUTO from OUT)>>= +${AUTO}/bootlex.$(FASLEXT): bootlex.$(FASLEXT) + @ echo 19 making ${AUTO}/bootlex.$(FASLEXT) from bootlex.$(FASLEXT) + @ cp bootlex.$(FASLEXT) ${AUTO} + +@ + +\subsection{debugsys.lisp \cite{14}} + +The {\bf debugsys.lisp} file is used to create a {\bf debugsys} runnable image. +This image contains almost all of the lisp code that make up the axiom +interpreter in lisp form. It is useful for deep system debugging but +otherwise worthless. This file is certain to drift over time as changes +are made elsewhere to add or remove files. It is assumed that you know +what you are doing if you change this file or use debugsys. + +This file is basically the same as the one created during the build of +interpsys. See the echo lines in the {\bf SAVESYS} block above. These +are echoed into a temporary file which gets loaded into the lisp image. +We simply captured that temporary file, replaced the .o files with .lisp +files (or .lsp or .clisp) and saved it here. +<<debugsys.lisp>>= +debugsys.lisp: $(srcdir)/debugsys.lisp.pamphlet + $(axiom_build_document) --tangle --output=$@ $< +@ + +\subsection{def.lisp \cite{15}} + +<<def.o (AUTO from OUT)>>= +${AUTO}/def.$(FASLEXT): def.$(FASLEXT) + @ echo 41 making ${AUTO}/def.$(FASLEXT) from def.$(FASLEXT) + @ cp def.$(FASLEXT) ${AUTO} + +@ + +\subsection{fnewmeta.lisp \cite{18}} + +<<fnewmeta.o (AUTO from OUT)>>= +${AUTO}/fnewmeta.$(FASLEXT): fnewmeta.$(FASLEXT) + @ echo 49 making ${AUTO}/fnewmeta.$(FASLEXT) from fnewmeta.$(FASLEXT) + @ cp fnewmeta.$(FASLEXT) ${AUTO} + +@ + +\subsection{fortcall.boot \cite{16}} + +<<fortcall.clisp>>= +fortcall.clisp: fortcall.boot + @ echo 55 making $@ from $< + @ echo '(progn (old-boot::boot "fortcall.boot"))' | ${DEPSYS} + +@ + +\subsection{metalex.lisp \cite{22}} + +<<metalex.o (AUTO from OUT)>>= +${AUTO}/metalex.$(FASLEXT): metalex.$(FASLEXT) + @ echo 66 making ${AUTO}/metalex.$(FASLEXT) from metalex.$(FASLEXT) + @ cp metalex.$(FASLEXT) ${AUTO} + +@ + +\subsection{metameta.lisp \cite{23}} + +<<metameta.o (AUTO from OUT)>>= +${AUTO}/metameta.$(FASLEXT): metameta.$(FASLEXT) + @ echo 71 making ${AUTO}/metameta.$(FASLEXT) from metameta.$(FASLEXT) + @ cp metameta.$(FASLEXT) ${AUTO} + +@ + +\subsection{nspadaux.lisp \cite{28}} + +<<nspadaux.o (AUTO from OUT)>>= +${AUTO}/nspadaux.$(FASLEXT): nspadaux.$(FASLEXT) + @ echo 89 making ${AUTO}/nspadaux.$(FASLEXT) from nspadaux.$(FASLEXT) + @ cp nspadaux.$(FASLEXT) ${AUTO} + +@ + +\subsection{parsing.lisp \cite{29}} + +<<parsing.o (AUTO from OUT)>>= +${AUTO}/parsing.$(FASLEXT): parsing.$(FASLEXT) + @ echo 94 making ${AUTO}/parsing.$(FASLEXT) from parsing.$(FASLEXT) + @ cp parsing.$(FASLEXT) ${AUTO} + +@ + +\subsection{postprop.lisp \cite{30}} + +<<postprop.lisp (AUTO from OUT)>>= +${AUTO}/postprop.$(FASLEXT): postprop.$(FASLEXT) + @ echo 102 making $@ from $< + @ cp $< ${AUTO} + +@ + +\subsection{preparse.lisp \cite{31}} + +<<preparse.o (AUTO from OUT)>>= +${AUTO}/preparse.$(FASLEXT): preparse.$(FASLEXT) + @ echo 106 making ${AUTO}/preparse.$(FASLEXT) from preparse.$(FASLEXT) + @ cp preparse.$(FASLEXT) ${AUTO} + +@ + +\subsection{buildom.boot \cite{41}} + +<<buildom.clisp>>= +buildom.clisp: buildom.boot + @ echo 143 making $@ from $< + @ echo '(progn (old-boot::boot "buildom.boot"))' | ${DEPSYS} + +@ + +\subsection{c-util.boot \cite{42}} + +<<c-util.o (AUTO from OUT)>>= +${AUTO}/c-util.$(FASLEXT): c-util.$(FASLEXT) + @ echo 145 making ${AUTO}/c-util.$(FASLEXT) from c-util.$(FASLEXT) + @ cp c-util.$(FASLEXT) ${AUTO} + +@ +Note that the {\bf c-util.boot.pamphlet} file contains both the +original {\bf boot} code and a saved copy of the {\bf c-util.clisp} +code. We need to keep the translated code around so we can bootstrap +the system. In other words, we need this boot code translated so we +can build the boot translator. + +{\bf NOTE WELL: IF YOU CHANGE THE BOOT CODE IN C-UTIL.BOOT.PAMPHLET +YOU MUST TRANSLATE THIS CODE TO LISP AND STORE THE RESULTING LISP +CODE BACK INTO THE C-UTIL.BOOT.PAMPHLET FILE. THIS IS NOT AUTOMATED.} +<<c-util.lisp (OUT from IN)>>= +c-util.${LISP}: $(srcdir)/c-util.boot.pamphlet + @ echo 146 making c-util.${LISP} from $(srcdir)/c-util.boot.pamphlet + @ rm -f c-util.$(FASLEXT) + $(axiom_build_document) --tangle=c-util.clisp --output=$@ $< + +@ +<<c-util.clisp>>= +c-util.clisp: c-util.boot + @ echo 148 making $@ from $< + @ echo '(progn (old-boot::boot "c-util.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-c02.boot \cite{43}} + +<<nag-c02.o (AUTO from OUT)>>= +${AUTO}/nag-c02.$(FASLEXT): nag-c02.$(FASLEXT) + @ echo 150 making${AUTO}/nag-c02.$(FASLEXT) from nag-c02.$(FASLEXT) + @ cp nag-c02.$(FASLEXT) ${AUTO} + +@ +<<nag-c02.clisp>>= +nag-c02.clisp: nag-c02.boot + @ echo 152 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-c02.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-c05.boot \cite{44}} + +<<nag-c05.o (AUTO from OUT)>>= +${AUTO}/nag-c05.$(FASLEXT): nag-c05.$(FASLEXT) + @ echo 154 making ${AUTO}/nag-c05.$(FASLEXT) from nag-c05.$(FASLEXT) + @ cp nag-c05.$(FASLEXT) ${AUTO} + +@ +<<nag-c05.clisp>>= +nag-c05.clisp: nag-c05.boot + @ echo 156 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-c05.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-c06.boot \cite{45}} + +<<nag-c06.o (AUTO from OUT)>>= +${AUTO}/nag-c06.$(FASLEXT): nag-c06.$(FASLEXT) + @ echo 158 making${AUTO}/nag-c06.$(FASLEXT) from nag-c06.$(FASLEXT) + @ cp nag-c06.$(FASLEXT) ${AUTO} + +@ +<<nag-c06.clisp>>= +nag-c06.clisp: nag-c06.boot + @ echo 160 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-c06.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-d01.boot \cite{46}} + +<<nag-d01.o (AUTO from OUT)>>= +${AUTO}/nag-d01.$(FASLEXT): nag-d01.$(FASLEXT) + @ echo 162 making${AUTO}/nag-d01.$(FASLEXT) from nag-d01.$(FASLEXT) + @ cp nag-d01.$(FASLEXT) ${AUTO} + +@ +<<nag-d01.clisp>>= +nag-d01.clisp: nag-d01.boot + @ echo 164 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-d01.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-d02.boot \cite{47}} + +<<nag-d02.o (AUTO from OUT)>>= +${AUTO}/nag-d02.$(FASLEXT): nag-d02.$(FASLEXT) + @ echo 166 making${AUTO}/nag-d02.$(FASLEXT) from nag-d02.$(FASLEXT) + @ cp nag-d02.$(FASLEXT) ${AUTO} + +@ +<<nag-d02.clisp>>= +nag-d02.clisp: nag-d02.boot + @ echo 168 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-d02.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-d03.boot \cite{48}} + +<<nag-d03.o (AUTO from OUT)>>= +${AUTO}/nag-d03.$(FASLEXT): nag-d03.$(FASLEXT) + @ echo 170 making${AUTO}/nag-d03.$(FASLEXT) from nag-d03.$(FASLEXT) + @ cp nag-d03.$(FASLEXT) ${AUTO} + +@ +<<nag-d03.clisp>>= +nag-d03.clisp: nag-d03.boot + @ echo 172 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-d03.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-e01.boot \cite{49}} + +<<nag-e01.o (AUTO from OUT)>>= +${AUTO}/nag-e01.$(FASLEXT): nag-e01.$(FASLEXT) + @ echo 174 making ${AUTO}/nag-e01.$(FASLEXT) from nag-e01.$(FASLEXT) + @ cp nag-e01.$(FASLEXT) ${AUTO} + +@ +<<nag-e01.clisp>>= +nag-e01.clisp: nag-e01.boot + @ echo 176 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-e01.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-e02.boot \cite{51}} + +<<nag-e02.o (AUTO from OUT)>>= +${AUTO}/nag-e02.$(FASLEXT): nag-e02.$(FASLEXT) + @ echo 182 making ${AUTO}/nag-e02.$(FASLEXT) from nag-e02.$(FASLEXT) + @ cp nag-e02.$(FASLEXT) ${AUTO} + +@ +<<nag-e02.clisp>>= +nag-e02.clisp: nag-e02.boot + @ echo 184 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-e02.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-e04.boot \cite{52}} + +<<nag-e04.o (AUTO from OUT)>>= +${AUTO}/nag-e04.$(FASLEXT): nag-e04.$(FASLEXT) + @ echo 186 making ${AUTO}/nag-e04.$(FASLEXT) from nag-e04.$(FASLEXT) + @ cp nag-e04.$(FASLEXT) ${AUTO} + +@ +<<nag-e04.clisp>>= +nag-e04.clisp: nag-e04.boot + @ echo 188 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-e04.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-f01.boot \cite{53}} + +<<nag-f01.o (AUTO from OUT)>>= +${AUTO}/nag-f01.$(FASLEXT): nag-f01.$(FASLEXT) + @ echo 190 making ${AUTO}/nag-f01.$(FASLEXT) from nag-f01.$(FASLEXT) + @ cp nag-f01.$(FASLEXT) ${AUTO} + +@ +<<nag-f01.clisp>>= +nag-f01.clisp: nag-f01.boot + @ echo 192 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-f01.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-f02.boot \cite{54}} + +<<nag-f02.o (AUTO from OUT)>>= +${AUTO}/nag-f02.$(FASLEXT): nag-f02.$(FASLEXT) + @ echo 194 making ${AUTO}/nag-f02.$(FASLEXT) from nag-f02.$(FASLEXT) + @ cp nag-f02.$(FASLEXT) ${AUTO} + +@ +<<nag-f02.clisp>>= +nag-f02.clisp: nag-f02.boot + @ echo 196 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-f02.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-f04.boot \cite{55}} + +<<nag-f04.o (AUTO from OUT)>>= +${AUTO}/nag-f04.$(FASLEXT): nag-f04.$(FASLEXT) + @ echo 198 making ${AUTO}/nag-f04.$(FASLEXT) from nag-f04.$(FASLEXT) + @ cp nag-f04.$(FASLEXT) ${AUTO} + +@ +<<nag-f04.clisp>>= +nag-f04.clisp: nag-f04.boot + @ echo 200 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-f04.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-f07.boot \cite{56}} + +<<nag-f07.o (AUTO from OUT)>>= +${AUTO}/nag-f07.$(FASLEXT): nag-f07.$(FASLEXT) + @ echo 202 making ${AUTO}/nag-f07.$(FASLEXT) from nag-f07.$(FASLEXT) + @ cp nag-f07.$(FASLEXT) ${AUTO} + +@ +<<nag-f07.clisp>>= +nag-f07.clisp: nag-f07.boot + @ echo 204 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-f07.boot"))' | ${DEPSYS} + +@ + +\subsection{nag-s.boot \cite{57}} + +<<nag-s.o (AUTO from OUT)>>= +${AUTO}/nag-s.$(FASLEXT): nag-s.$(FASLEXT) + @ echo 206 making ${AUTO}/nag-s.$(FASLEXT) from nag-s.$(FASLEXT) + @ cp nag-s.$(FASLEXT) ${AUTO} + +@ +<<nag-s.clisp>>= +nag-s.clisp: nag-s.boot + @ echo 208 making $@ from $< + @ echo '(progn (boot::reroot "${AXIOM}") (old-boot::boot "nag-s.boot"))' | ${DEPSYS} + +@ + +\subsection{category.boot \cite{58}} + +<<category.o (AUTO from OUT)>>= +${AUTO}/category.$(FASLEXT): category.$(FASLEXT) + @ echo 210 making ${AUTO}/ category.$(FASLEXT) from category.$(FASLEXT) + @ cp category.$(FASLEXT) ${AUTO} + +@ +<<category.clisp>>= +category.clisp: category.boot + @ echo 212 making $@ from $< + @ echo '(progn (old-boot::boot "category.boot"))' | ${DEPSYS} +@ + +\subsection{cattable.boot \cite{59}} + +<<cattable.clisp>>= +cattable.clisp: cattable.boot + @ echo 215 making $@ from $< + @ echo '(progn (old-boot::boot "cattable.boot"))' | ${DEPSYS} +@ + +\subsection{c-doc.boot \cite{60}} + +<<c-doc.o (AUTO from OUT)>>= +${AUTO}/c-doc.$(FASLEXT): c-doc.$(FASLEXT) + @ echo 217 making ${AUTO}/c-doc.$(FASLEXT) from c-doc.$(FASLEXT) + @ cp c-doc.$(FASLEXT) ${AUTO} + +@ +<<c-doc.clisp>>= +c-doc.clisp: c-doc.boot + @ echo 219 making $@ from $< + @ echo '(progn (old-boot::boot "c-doc.boot"))' | ${DEPSYS} +@ + + +\subsection{clammed.boot \cite{62}} + +<<clammed.clisp>>= +clammed.clisp: clammed.boot + @ echo 226 making $@ from $< + @ echo '(progn (old-boot::boot "clammed.boot"))' | ${DEPSYS} +@ + +\subsection{compat.boot \cite{63}} + +<<compat.clisp>>= +compat.clisp: compat.boot + @ echo 229 making $@ from $< + @ echo '(progn (old-boot::boot "compat.boot"))' | ${DEPSYS} +@ + +\subsection{compiler.boot \cite{64}} + +<<compiler.o (AUTO from OUT)>>= +${AUTO}/compiler.$(FASLEXT): compiler.$(FASLEXT) + @ echo 231 making ${AUTO}/compiler.$(FASLEXT) from compiler.$(FASLEXT) + @ cp compiler.$(FASLEXT) ${AUTO} + +@ +<<compiler.clisp>>= +compiler.clisp: compiler.boot + @ echo 233 making $@ from $< + @ echo '(progn (old-boot::boot "compiler.boot"))' | ${DEPSYS} +@ + +\subsection{profile.boot \cite{65}} + +<<profile.o (AUTO from OUT)>>= +${AUTO}/profile.$(FASLEXT): profile.$(FASLEXT) + @ echo 235 making ${AUTO}/profile.$(FASLEXT) from profile.$(FASLEXT) + @ cp profile.$(FASLEXT) ${AUTO} + +@ +<<profile.clisp>>= +profile.clisp: profile.boot + @ echo 237 making $@ from $< + @ echo '(progn (old-boot::boot "profile.boot"))' | ${DEPSYS} +@ + +\subsection{database.boot \cite{67}} + +<<database.clisp>>= +database.clisp: database.boot + @ echo 243 making $@ from $< + @ echo '(progn (old-boot::boot "database.boot"))' | ${DEPSYS} +@ + +\subsection{define.boot} + +<<define.o (AUTO from OUT)>>= +${AUTO}/define.$(FASLEXT): define.$(FASLEXT) + @ echo 245 making ${AUTO}/define.$(FASLEXT) from define.$(FASLEXT) + @ cp define.$(FASLEXT) ${AUTO} + +@ +<<define.clisp>>= +define.clisp: define.boot + @ echo 247 making $@ from $< + @ echo '(progn (old-boot::boot "define.boot"))' | ${DEPSYS} +@ + +\subsection{format.boot} + +<<format.clisp>>= +format.clisp: format.boot + @ echo 250 making $@ from $< + @ echo '(progn (old-boot::boot "format.boot"))' | ${DEPSYS} +@ + +\subsection{functor.boot} + +<<functor.o (AUTO from OUT)>>= +${AUTO}/functor.$(FASLEXT): functor.$(FASLEXT) + @ echo 252 making ${AUTO}/functor.$(FASLEXT) from functor.$(FASLEXT) + @ cp functor.$(FASLEXT) ${AUTO} + +@ +<<functor.clisp>>= +functor.clisp: functor.boot + @ echo 254 making $@ from $< + @ echo '(progn (old-boot::boot "functor.boot"))' | ${DEPSYS} +@ + +\subsection{g-cndata.boot} + +<<g-cndata.clisp>>= +g-cndata.clisp: g-cndata.boot + @ echo 261 making $@ from $< + @ echo '(progn (old-boot::boot "g-cndata.boot"))' | ${DEPSYS} +@ + +\subsection{g-opt.boot} + +<<g-opt.clisp>>= +g-opt.clisp: g-opt.boot + @ echo 267 making $@ from $< + @ echo '(progn (old-boot::boot "g-opt.boot"))' | ${DEPSYS} +@ + +\subsection{g-timer.boot} + +<<g-timer.clisp>>= +g-timer.clisp: g-timer.boot + @ echo 270 making $@ from $< + @ echo '(progn (old-boot::boot "g-timer.boot"))' | ${DEPSYS} +@ + + +\subsection{hypertex.boot} + +<<hypertex.clisp>>= +hypertex.clisp: hypertex.boot + @ echo 277 making $@ from $< + @ echo '(progn (old-boot::boot "hypertex.boot"))' | ${DEPSYS} +@ + +\subsection{i-analy.boot} + +<<i-analy.clisp>>= +i-analy.clisp: i-analy.boot + @ echo 280 making $@ from $< + @ echo '(progn (old-boot::boot "i-analy.boot"))' | ${DEPSYS} +@ + +\subsection{i-code.boot} + +<<i-code.clisp>>= +i-code.clisp: i-code.boot + @ echo 283 making $@ from $< + @ echo '(progn (old-boot::boot "i-code.boot"))' | ${DEPSYS} +@ + +\subsection{i-coerce.boot} + +<<i-coerce.clisp>>= +i-coerce.clisp: i-coerce.boot + @ echo 286 making $@ from $< + @ echo '(progn (old-boot::boot "i-coerce.boot"))' | ${DEPSYS} +@ + +\subsection{i-coerfn.boot} + +<<i-coerfn.clisp>>= +i-coerfn.clisp: i-coerfn.boot + @ echo 289 making $@ from $< + @ echo '(progn (old-boot::boot "i-coerfn.boot"))' | ${DEPSYS} +@ + +\subsection{i-eval.boot} + +<<i-eval.clisp>>= +i-eval.clisp: i-eval.boot + @ echo 292 making $@ from $< + @ echo '(progn (old-boot::boot "i-eval.boot"))' | ${DEPSYS} +@ + +\subsection{i-funsel.boot} + +<<i-funsel.clisp>>= +i-funsel.clisp: i-funsel.boot + @ echo 295 making $@ from $< + @ echo '(progn (old-boot::boot "i-funsel.boot"))' | ${DEPSYS} +@ + +\subsection{bookvol5.lsp} + + +<<bookvol5.lisp>>= +bookvol5.lisp: $(srcdir)/bookvol5.pamphlet + @ echo 298 making $@ from $< + $(axiom_build_document) --tangle=Interpreter --output=$@ $< +@ + +\subsection{i-intern.boot} + +<<i-intern.clisp>>= +i-intern.clisp: i-intern.boot + @ echo 301 making $@ from $< + @ echo '(progn (old-boot::boot "i-intern.boot"))' | ${DEPSYS} +@ + +\subsection{i-map.boot} + +<<i-map.clisp>>= +i-map.clisp: i-map.boot + @ echo 304 making $@ from $< + @ echo '(progn (old-boot::boot "i-map.boot"))' | ${DEPSYS} +@ + +\subsection{i-output.boot} + +<<i-output.clisp>>= +i-output.clisp: i-output.boot + @ echo 307 making $@ from $< + @ echo '(progn (old-boot::boot "i-output.boot"))' | ${DEPSYS} +@ + +\subsection{i-resolv.boot} + +<<i-resolv.clisp>>= +i-resolv.clisp: i-resolv.boot + @ echo 310 making $@ from $< + @ echo '(progn (old-boot::boot "i-resolv.boot"))' | ${DEPSYS} +@ + +\subsection{i-spec1.boot} + +<<i-spec1.clisp>>= +i-spec1.clisp: i-spec1.boot + @ echo 313 making $@ from $< + @ echo '(progn (old-boot::boot "i-spec1.boot"))' | ${DEPSYS} +@ + +\subsection{i-spec2.boot} + +<<i-spec2.clisp>>= +i-spec2.clisp: i-spec2.boot + @ echo 316 making $@ from i-spec2.boot + @ echo '(progn (old-boot::boot "i-spec2.boot"))' | ${DEPSYS} +@ + +\subsection{i-syscmd.boot} + +<<i-syscmd.clisp>>= +i-syscmd.clisp: i-syscmd.boot + @ echo 319 making $@ from $< + @ echo '(progn (old-boot::boot "i-syscmd.boot"))' | ${DEPSYS} +@ + +\subsection{i-toplev.boot} + +<<i-toplev.clisp>>= +i-toplev.clisp: i-toplev.boot + @ echo 322 making $@ from $< + @ echo '(progn (old-boot::boot "i-toplev.boot"))' | ${DEPSYS} +@ + +\subsection{i-util.boot} + +<<i-util.clisp>>= +i-util.clisp: i-util.boot + @ echo 325 making $@ from $< + @ echo '(progn (old-boot::boot "i-util.boot"))' | ${DEPSYS} +@ + +\subsection{info.boot} + +<<info.o (AUTO from OUT)>>= +${AUTO}/info.$(FASLEXT): info.$(FASLEXT) + @ echo 327 making ${AUTO}/info.$(FASLEXT) from info.$(FASLEXT) + @ cp info.$(FASLEXT) ${AUTO} + +@ +<<info.clisp>>= +info.clisp: info.boot + @ echo 329 making $@ from $< + @ echo '(progn (old-boot::boot "info.boot"))' | ${DEPSYS} +@ + +\subsection{iterator.boot} + +<<iterator.o (AUTO from OUT)>>= +${AUTO}/iterator.$(FASLEXT): iterator.$(FASLEXT) + @ echo 331 making ${AUTO}/iterator.$(FASLEXT) from iterator.$(FASLEXT) + @ cp iterator.$(FASLEXT) ${AUTO} + +@ +<<iterator.clisp>>= +iterator.clisp: iterator.boot + @ echo 333 making $@ from $< + @ echo '(progn (old-boot::boot "iterator.boot"))' | ${DEPSYS} +@ + +\subsection{lisplib.boot} + +<<lisplib.clisp>>= +lisplib.clisp: lisplib.boot + @ echo 336 making $@ from $< + @ echo '(progn (old-boot::boot "lisplib.boot"))' | ${DEPSYS} +@ + +\subsection{match.boot} + +<<match.clisp>>= +match.clisp: match.boot + @ echo 339 making $@ from $< + @ echo '(progn (old-boot::boot "match.boot"))' | ${DEPSYS} +@ + +\subsection{modemap.boot} + +<<modemap.o (AUTO from OUT)>>= +${AUTO}/modemap.$(FASLEXT): modemap.$(FASLEXT) + @ echo 341 making ${AUTO}/modemap.$(FASLEXT) from modemap.$(FASLEXT) + @ cp modemap.$(FASLEXT) ${AUTO} + +@ +<<modemap.clisp>>= +modemap.clisp: modemap.boot + @ echo 343 making $@ from $< + @ echo '(progn (old-boot::boot "modemap.boot"))' | ${DEPSYS} +@ + +\subsection{msgdb.boot} + +<<msgdb.clisp>>= +msgdb.clisp: msgdb.boot + @ echo 346 making $@ from $< + @ echo '(progn (old-boot::boot "msgdb.boot"))' | ${DEPSYS} +@ + +\subsection{newfort.boot} + +<<newfort.clisp>>= +newfort.clisp: newfort.boot + @ echo 349 making $@ from $< + @ echo '(progn (old-boot::boot "newfort.boot"))' | ${DEPSYS} +@ + +\subsection{nruncomp.boot} + +<<nruncomp.o (AUTO from OUT)>>= +${AUTO}/nruncomp.$(FASLEXT): nruncomp.$(FASLEXT) + @ echo 351 making ${AUTO}/nruncomp.$(FASLEXT) from nruncomp.$(FASLEXT) + @ cp nruncomp.$(FASLEXT) ${AUTO} + +@ +<<nruncomp.clisp>>= +nruncomp.clisp: nruncomp.boot + @ echo 353 making $@ from $< + @ echo '(progn (old-boot::boot "nruncomp.boot"))' | ${DEPSYS} +@ + +\subsection{nrunfast.boot} + +<<nrunfast.clisp>>= +nrunfast.clisp: nrunfast.boot + @ echo 356 making $@ from $< + @ echo '(progn (old-boot::boot "nrunfast.boot"))' | ${DEPSYS} +@ + +\subsection{nrungo.boot} + +<<nrungo.clisp>>= +nrungo.clisp: nrungo.boot + @ echo 359 making $@ from $< + @ echo '(progn (old-boot::boot "nrungo.boot"))' | ${DEPSYS} +@ + +\subsection{nruntime.boot} + +<<nruntime.clisp>>= +nruntime.clisp: nruntime.boot + @ echo 362 making $@ from $< + @ echo '(progn (old-boot::boot "nruntime.boot"))' | ${DEPSYS} +@ + +\subsection{nrunopt.boot} + +<<nrunopt.clisp>>= +nrunopt.clisp: nrunopt.boot + @ echo 365 making $@ from $< + @ echo '(progn (old-boot::boot "nrunopt.boot"))' | ${DEPSYS} +@ + +\subsection{package.boot} + +<<package.o (AUTO from OUT)>>= +${AUTO}/package.$(FASLEXT): package.$(FASLEXT) + @ echo 370 making ${AUTO}/package.$(FASLEXT) from package.$(FASLEXT) + @ cp package.$(FASLEXT) ${AUTO} + +@ + +\subsection{parse.boot} + +\begin{verbatim} +NOTE: this is used to build a depsys on a virgin copy of the system +\end{verbatim} +<<parse.o (AUTO from OUT)>>= +${AUTO}/parse.$(FASLEXT): parse.$(FASLEXT) + @ echo 374 making ${AUTO}/parse.$(FASLEXT) from parse.$(FASLEXT) + @ cp parse.$(FASLEXT) ${AUTO} + +@ + +\subsection{pathname.boot} + +\begin{verbatim} +NOTE: the .clisp file is copies back into the src directory so that +it is possible to create a new obootsys system from scratch for a +new platform. parse.clisp needs to be compiled in a depsys. +One thing need to be done to create an obootsys by hand: + parse and postpar must be loaded along with the depsys files + into a bare lisp system. +if these two things are done then a obootsys image can be bootstrapped +to a new platform. +\end{verbatim} +<<pathname.clisp>>= +pathname.clisp: pathname.boot + @ echo 380 making $@ from $< + @ echo '(progn (old-boot::boot "pathname.boot"))' | ${DEPSYS} +@ + +\subsection{postpar.boot} + +\begin{verbatim} +NOTE: this is used to build a depsys on a virgin copy of the system +\end{verbatim} +<<postpar.o (AUTO from OUT)>>= +${AUTO}/postpar.$(FASLEXT): postpar.$(FASLEXT) + @ echo 382 making ${AUTO}/postpar.$(FASLEXT) from postpar.$(FASLEXT) + @ cp postpar.$(FASLEXT) ${AUTO} + +@ + +\begin{verbatim} +NOTE: One thing need to be done to create an DEPSYS by hand: + parse and postpar must be loaded along with the depsys files + into a bare lisp system. +if these two things are done then a DEPSYS image can be bootstrapped +to a new platform. +\end{verbatim} + +\subsection{rulesets.boot} + +<<rulesets.clisp>>= +rulesets.clisp: rulesets.boot + @ echo 388 making $@ from $< + @ echo '(progn (old-boot::boot "rulesets.boot"))' | ${DEPSYS} +@ + +\subsection{server.boot} + +<<server.clisp>>= +server.clisp: server.boot + @ echo 391 making $@ from $< + @ echo '(progn (old-boot::boot "server.boot"))' | ${DEPSYS} +@ + + +\subsection{setvart.boot} + +<<setvart.clisp>>= +setvart.clisp: setvart.boot + @ echo 398 making $@ from $< + @ echo '(progn (old-boot::boot "setvart.boot"))' | ${DEPSYS} +@ + +\subsection{template.boot} + +<<template.clisp>>= +template.clisp: template.boot + @ echo 408 making $@ from $< + @ echo '(progn (old-boot::boot "template.boot"))' | ${DEPSYS} +@ + +\subsection{termrw.boot} + +<<termrw.clisp>>= +termrw.clisp: termrw.boot + @ echo 411 making $@ from $< + @ echo '(progn (old-boot::boot "termrw.boot"))' | ${DEPSYS} +@ + +\subsection{trace.boot} + +<<trace.clisp>>= +trace.clisp: trace.boot + @ echo 414 making $@ from $< + @ echo '(progn (old-boot::boot "trace.boot"))' | ${DEPSYS} +@ + +\subsection{as.boot} + +<<as.clisp>>= +as.clisp: as.boot + @ echo 417 making $@ from $< + @ echo '(progn (old-boot::boot "as.boot"))' | ${DEPSYS} +@ + +\subsection{bc-matrix.boot} + +<<bc-matrix.o (AUTO from OUT)>>= +${AUTO}/bc-matrix.$(FASLEXT): bc-matrix.$(FASLEXT) + @ echo 422 making ${AUTO}/bc-matrix.$(FASLEXT) from bc-matrix.$(FASLEXT) + @ cp bc-matrix.$(FASLEXT) ${AUTO} + +@ +<<bc-matrix.clisp>>= +bc-matrix.clisp: bc-matrix.boot + @ echo 424 making $@ from $< + @ echo '(progn (old-boot::boot "bc-matrix.boot"))' | ${DEPSYS} +@ + +\subsection{bc-misc.boot} + +<<bc-misc.o (AUTO from OUT)>>= +${AUTO}/bc-misc.$(FASLEXT): bc-misc.$(FASLEXT) + @ echo 426 making ${AUTO}/bc-misc.$(FASLEXT) from bc-misc.$(FASLEXT) + @ cp bc-misc.$(FASLEXT) ${AUTO} + +@ +<<bc-misc.clisp>>= +bc-misc.clisp: bc-misc.boot + @ echo 428 making $@ from $< + @ echo '(progn (old-boot::boot "bc-misc.boot"))' | ${DEPSYS} +@ + +\subsection{bc-solve.boot} + +<<bc-solve.o (AUTO from OUT)>>= +${AUTO}/bc-solve.$(FASLEXT): bc-solve.$(FASLEXT) + @ echo 430 making ${AUTO}/bc-solve.$(FASLEXT) from bc-solve.$(FASLEXT) + @ cp bc-solve.$(FASLEXT) ${AUTO} + +@ +<<bc-solve.clisp>>= +bc-solve.clisp: bc-solve.boot + @ echo 432 making $@ from $< + @ echo '(progn (old-boot::boot "bc-solve.boot"))' | ${DEPSYS} +@ + +\subsection{bc-util.boot} + +<<bc-util.o (AUTO from OUT)>>= +${AUTO}/bc-util.$(FASLEXT): bc-util.$(FASLEXT) + @ echo 434 making ${AUTO}/bc-util.$(FASLEXT) from bc-util.$(FASLEXT) + @ cp bc-util.$(FASLEXT) ${AUTO} + +@ +<<bc-util.clisp>>= +bc-util.clisp: bc-util.boot + @ echo 436 making $@ from $< + @ echo '(progn (old-boot::boot "bc-util.boot"))' | ${DEPSYS} +@ + +\subsection{ht-util.boot} + +<<ht-util.o (AUTO from OUT)>>= +${AUTO}/ht-util.$(FASLEXT): ht-util.$(FASLEXT) + @ echo 438 making ${AUTO}/ht-util.$(FASLEXT) from ht-util.$(FASLEXT) + @ cp ht-util.$(FASLEXT) ${AUTO} + +@ +<<ht-util.clisp>>= +ht-util.clisp: ht-util.boot + @ echo 440 making $@ from $< + @ echo '(progn (old-boot::boot "ht-util.boot"))' | ${DEPSYS} +@ + +\subsection{htsetvar.boot} + +<<htsetvar.o (AUTO from OUT)>>= +${AUTO}/htsetvar.$(FASLEXT): htsetvar.$(FASLEXT) + @ echo 442 making ${AUTO}/htsetvar.$(FASLEXT) from htsetvar.$(FASLEXT) + @ cp htsetvar.$(FASLEXT) ${AUTO} + +@ +<<htsetvar.clisp>>= +htsetvar.clisp: htsetvar.boot + @ echo 444 making $@ from $< + @ echo '(progn (old-boot::boot "htsetvar.boot"))' | ${DEPSYS} +@ + +\subsection{record.boot} + +<<record.clisp>>= +record.clisp: record.boot + @ echo 447 making $@ $< + @ echo '(progn (old-boot::boot "record.boot"))' | ${DEPSYS} +@ + +\subsection{ht-root.boot} + +<<ht-root.o (AUTO from OUT)>>= +${AUTO}/ht-root.$(FASLEXT): ht-root.$(FASLEXT) + @ echo 449 making ${AUTO}/ht-root.$(FASLEXT) from ht-root.$(FASLEXT) + @ cp ht-root.$(FASLEXT) ${AUTO} + +@ +<<ht-root.clisp>>= +ht-root.clisp: ht-root.boot + @ echo 451 making $@ from $< + @ echo '(progn (old-boot::boot "ht-root.boot"))' | ${DEPSYS} +@ + +\subsection{htcheck.boot} + +<<htcheck.o (AUTO from OUT)>>= +${AUTO}/htcheck.$(FASLEXT): htcheck.$(FASLEXT) + @ echo 453 making ${AUTO}/htcheck.$(FASLEXT) from htcheck.$(FASLEXT) + @ cp htcheck.$(FASLEXT) ${AUTO} + +@ +<<htcheck.clisp>>= +htcheck.clisp: htcheck.boot + @ echo 455 making $@ from $< + @ echo '(progn (old-boot::boot "htcheck.boot"))' | ${DEPSYS} +@ + +\subsection{xruncomp.boot} + +<<xruncomp.o (AUTO from OUT)>>= +${AUTO}/xruncomp.$(FASLEXT): xruncomp.$(FASLEXT) + @ echo 457 making ${AUTO}/xruncomp.$(FASLEXT) from xruncomp.$(FASLEXT) + @ cp xruncomp.$(FASLEXT) ${AUTO} + +@ +<<xruncomp.clisp>>= +xruncomp.clisp: xruncomp.boot + @ echo 459 making $@ from $< + @ echo '(progn (old-boot::boot "xruncomp.boot"))' | ${DEPSYS} +@ + +\subsection{ax.boot} + +<<ax.o (AUTO from OUT)>>= +${AUTO}/ax.$(FASLEXT): ax.$(FASLEXT) + @ echo 461 making ${AUTO}/ax.$(FASLEXT) from ax.$(FASLEXT) + @ cp ax.$(FASLEXT) ${AUTO} + +@ +<<ax.clisp>>= +ax.clisp: ax.boot + @ echo 463 making $@ $< + @ echo '(progn (old-boot::boot "ax.boot"))' | ${DEPSYS} +@ + +\subsection{br-con.boot} + +<<br-con.o (AUTO from OUT)>>= +${AUTO}/br-con.$(FASLEXT): br-con.$(FASLEXT) + @ echo 465 making ${AUTO}/br-con.$(FASLEXT) from br-con.$(FASLEXT) + @ cp br-con.$(FASLEXT) ${AUTO} + +@ +<<br-con.clisp>>= +br-con.clisp: br-con.boot + @ echo 467 making $@ from $< + @ echo '(progn (old-boot::boot "br-con.boot"))' | ${DEPSYS} +@ + +\subsection{br-search.boot} + +<<br-search.o (AUTO from OUT)>>= +${AUTO}/br-search.$(FASLEXT): br-search.$(FASLEXT) + @ echo 469 making ${AUTO}/br-search.$(FASLEXT) from br-search.$(FASLEXT) + @ cp br-search.$(FASLEXT) ${AUTO} + +@ +<<br-search.clisp>>= +br-search.clisp: br-search.boot + @ echo 471 making $@ from $< + @ echo '(progn (old-boot::boot "br-search.boot"))' | ${DEPSYS} +@ + +\subsection{br-op1.boot} + +<<br-op1.o (AUTO from OUT)>>= +${AUTO}/br-op1.$(FASLEXT): br-op1.$(FASLEXT) + @ echo 473 making ${AUTO}/br-op1.$(FASLEXT) from br-op1.$(FASLEXT) + @ cp br-op1.$(FASLEXT) ${AUTO} + +@ +<<br-op1.clisp>>= +br-op1.clisp: br-op1.boot + @ echo 475 making $@ from $< + @ echo '(progn (old-boot::boot "br-op1.boot"))' | ${DEPSYS} +@ + +\subsection{br-op2.boot} + +<<br-op2.o (AUTO from OUT)>>= +${AUTO}/br-op2.$(FASLEXT): br-op2.$(FASLEXT) + @ echo 477 making ${AUTO}/br-op2.$(FASLEXT) from br-op2.$(FASLEXT) + @ cp br-op2.$(FASLEXT) ${AUTO} + +@ +<<br-op2.clisp>>= +br-op2.clisp: br-op2.boot + @ echo 479 making $@ from $< + @ echo '(progn (old-boot::boot "br-op2.boot"))' | ${DEPSYS} +@ + +\subsection{br-data.boot} + +<<br-data.o (AUTO from OUT)>>= +${AUTO}/br-data.$(FASLEXT): br-data.$(FASLEXT) + @ echo 481 making ${AUTO}/br-data.$(FASLEXT) from br-data.$(FASLEXT) + @ cp br-data.$(FASLEXT) ${AUTO} + +@ +<<br-data.clisp>>= +br-data.clisp: br-data.boot + @ echo 483 making $@ from $< + @ echo '(progn (old-boot::boot "br-data.boot"))' | ${DEPSYS} +@ + +\subsection{br-util.boot} + +<<br-util.o (AUTO from OUT)>>= +${AUTO}/br-util.$(FASLEXT): br-util.$(FASLEXT) + @ echo 485 making ${AUTO}/br-util.$(FASLEXT) from br-util.$(FASLEXT) + @ cp br-util.$(FASLEXT) ${AUTO} + +@ +<<br-util.clisp>>= +br-util.clisp: br-util.boot + @ echo 487 making $@ from $< + @ echo '(progn (old-boot::boot "br-util.boot"))' | ${DEPSYS} +@ + +\subsection{br-saturn.boot} + +<<br-saturn.o (AUTO from OUT)>>= +${AUTO}/br-saturn.$(FASLEXT): br-saturn.$(FASLEXT) + @ echo 489 making ${AUTO}/br-saturn.$(FASLEXT) from br-saturn.$(FASLEXT) + @ cp br-saturn.$(FASLEXT) ${AUTO} + +@ +<<br-saturn.clisp>>= +br-saturn.clisp: br-saturn.boot + @ echo 491 making $@ from $< + @ echo '(progn (old-boot::boot "br-saturn.boot"))' | ${DEPSYS} +@ + +\subsection{topics.boot} + +<<topics.o (AUTO from OUT)>>= +${AUTO}/topics.$(FASLEXT): topics.$(FASLEXT) + @ echo 493 making ${AUTO}/topics.$(FASLEXT) from topics.$(FASLEXT) + @ cp topics.$(FASLEXT) ${AUTO} + +@ +<<topics.clisp>>= +topics.clisp: topics.boot + @ echo 495 making $@ from $< + @ echo '(progn (old-boot::boot "topics.boot"))' | ${DEPSYS} +@ + +\subsection{br-prof.boot} + +<<br-prof.o (AUTO from OUT)>>= +${AUTO}/br-prof.$(FASLEXT): br-prof.$(FASLEXT) + @ echo 497 making ${AUTO}/br-prof.$(FASLEXT) from br-prof.$(FASLEXT) + @ cp br-prof.$(FASLEXT) ${AUTO} + +@ +<<br-prof.clisp>>= +br-prof.clisp: br-prof.boot + @ echo 499 making $@ from $< + @ ($(axiom_build_document) --tangle --output=br-prof.boot $< ;\ + echo '(progn (old-boot::boot "br-prof.boot"))' | ${DEPSYS}; \ + rm br-prof.boot ) + +@ + +\subsection{showimp.boot} + +system level hacking files +<<showimp.o (AUTO from OUT)>>= +${AUTO}/showimp.$(FASLEXT): showimp.$(FASLEXT) + @ echo 579 making ${AUTO}/showimp.$(FASLEXT) from showimp.$(FASLEXT) + @ cp showimp.$(FASLEXT) ${AUTO} + +@ + +\subsection{wi1.boot} + +translate files +<<wi1.o (AUTO from MID)>>= +${AUTO}/wi1.$(FASLEXT): wi1.$(FASLEXT) + @ cp $< $@ +@ + +\subsection{wi2.boot} + +<<wi2.o (AUTO from MID)>>= +${AUTO}/wi2.$(FASLEXT): wi2.$(FASLEXT) + @ cp $< $@ +@ + +\subsection{pspad1.boot} + +<<pspad1.o (AUTO from MID)>>= +${AUTO}/pspad1.$(FASLEXT): pspad1.$(FASLEXT) + @ cp $< $@ +@ + +\subsection{pspad2.boot} + +<<pspad2.o (AUTO from MID)>>= +${AUTO}/pspad2.$(FASLEXT): pspad2.$(FASLEXT) + @ cp $< $@ +@ + +\subsection{mark.boot} + +<<mark.o (AUTO from MID)>>= +${AUTO}/mark.$(FASLEXT): mark.$(FASLEXT) + @ cp $< $@ + +@ + +\section{The databases} + +\begin{verbatim} + autoload dependencies + + if you are adding a file which is to be autoloaded the following step + information is useful: + there are 2 cases: + 1) adding files to currently autoloaded parts + (as of 2/92: browser old parser and old compiler) + 2) adding new files + case 1: + a) you have to add the file to the list of files currently there + (e.g. see BROBJS above) + b) add an autolaod rule + (e.g. ${AUTO}/parsing.$(FASLEXT): parsing.$(FASLEXT)) + c) edit util.lisp to add the 'external' function (those that + should trigger the autoload + case 2: + build-interpsys (in util.lisp) needs an extra argument for the + new autoload things and several functions in util.lisp need hacking. + + database.date is a marker file used to force a rebuild of interpsys if the + database is rebuilt (src/algebra/Makefile). + +\end{verbatim} +<<databases>>= +exposed.lsp: $(axiom_src_algdir)/exposed.lsp.pamphlet + @ echo 615 making exposed.lsp from $(axiom_src_algdir)/exposed.lsp.pamphlet + $(axiom_build_document) --tangle --output=$@ $< + +$(axiom_targetdir)/algebra/exposed.$(FASLEXT) : exposed.lsp ${LISPSYS} + @ echo 616 making $@ from exposed.lsp + $(mkinstalldirs) $(axiom_targetdir)/algebra + @ echo '(progn (compile-file "exposed.lsp" :output-file "$(axiom_targetdir)/algebra/exposed.$(FASLEXT)"))' | ${LISPSYS} + +database.date: + @ echo 617 the database was updated...remaking interpsys + @ touch database.date + +@ + +\section{The Makefile} +<<*>>= + +subdir = src/interp/ + +<<environment>> + +.SUFFIXES: +.SUFFIXES: .boot .clisp .lisp .pamphlet + +.PHONY: all all-ax all-depsys all-interpsys all-axiomsys all-debugsys + +all: all-ax + +all-ax: stamp + @echo finished $(srcdir) + +stamp: $(AUTO) remove-stamp build-images + $(STAMP) stamp + +.PHONY: remove-stamp +remove-stamp: + -rm -f stamp + +.PHONY: build-images +build-images: remove-stamp all-interpsys all-debugsys + +all-interpsys: all-depsys + $(mkinstalldirs) $(AUTO) + $(MAKE) $(SAVESYS) + +all-axiomsys: all-depsys + $(MAKE) $(AXIOMSYS) + +all-debugsys: all-interpsys + $(MAKE) $(DEBUGSYS) + +all-depsys: $(DEPSYS) + +<<extract source codes>> + +mostlyclean-local: + @rm -f *.fn *.data *.$(FASLEXT) *.lib + +clean-local: mostlyclean-local + @rm -f *.clisp *.lsp + +distclean-local: clean-local + +<<savesys>> +<<depsys>> +<<axiomsys>> +<<debugsys>> +<<databases>> + +<<apply.o (AUTO from OUT)>> + +<<as.clisp>> + +<<ax.o (AUTO from OUT)>> +<<ax.clisp>> + +<<bc-matrix.o (AUTO from OUT)>> +<<bc-matrix.clisp>> + +<<bc-misc.o (AUTO from OUT)>> +<<bc-misc.clisp>> + +<<bc-solve.o (AUTO from OUT)>> +<<bc-solve.clisp>> + +<<bc-util.o (AUTO from OUT)>> +<<bc-util.clisp>> + +<<bootlex.o (AUTO from OUT)>> + +<<br-con.o (AUTO from OUT)>> +<<br-con.clisp>> + +<<br-data.o (AUTO from OUT)>> +<<br-data.clisp>> + +<<br-op1.o (AUTO from OUT)>> +<<br-op1.clisp>> + +<<br-op2.o (AUTO from OUT)>> +<<br-op2.clisp>> + +<<br-prof.o (AUTO from OUT)>> +<<br-prof.clisp>> + +<<br-saturn.o (AUTO from OUT)>> +<<br-saturn.clisp>> + +<<br-search.o (AUTO from OUT)>> +<<br-search.clisp>> + +<<br-util.o (AUTO from OUT)>> +<<br-util.clisp>> + +<<buildom.clisp>> + +<<category.o (AUTO from OUT)>> +<<category.clisp>> + +<<cattable.clisp>> + +<<c-doc.o (AUTO from OUT)>> +<<c-doc.clisp>> + +<<clammed.clisp>> + +<<compat.clisp>> + +<<compiler.o (AUTO from OUT)>> +<<compiler.clisp>> + +<<c-util.o (AUTO from OUT)>> +<<c-util.lisp (OUT from IN)>> +<<c-util.clisp>> + +<<database.clisp>> + +<<debugsys.lisp>> + +<<def.o (AUTO from OUT)>> + +<<define.o (AUTO from OUT)>> +<<define.clisp>> + +<<fnewmeta.o (AUTO from OUT)>> + +<<format.clisp>> + +<<fortcall.clisp>> + +<<functor.o (AUTO from OUT)>> +<<functor.clisp>> + +<<g-cndata.clisp>> + +<<g-opt.clisp>> + +<<g-timer.clisp>> + +<<htcheck.o (AUTO from OUT)>> +<<htcheck.clisp>> + +<<ht-root.o (AUTO from OUT)>> +<<ht-root.clisp>> + +<<htsetvar.o (AUTO from OUT)>> +<<htsetvar.clisp>> + +<<ht-util.o (AUTO from OUT)>> +<<ht-util.clisp>> + +<<hypertex.clisp>> + +<<i-analy.clisp>> + +<<i-code.clisp>> + +<<i-coerce.clisp>> + +<<i-coerfn.clisp>> + +<<i-eval.clisp>> + +<<i-funsel.clisp>> + +<<bookvol5.lisp>> + +<<i-intern.clisp>> + +<<i-map.clisp>> + +<<info.o (AUTO from OUT)>> +<<info.clisp>> + +<<i-output.clisp>> + +<<i-resolv.clisp>> + +<<i-spec1.clisp>> + +<<i-spec2.clisp>> + +<<i-syscmd.clisp>> + +<<iterator.o (AUTO from OUT)>> +<<iterator.clisp>> + +<<i-toplev.clisp>> + +<<i-util.clisp>> + +<<lisplib.clisp>> + +<<mark.o (AUTO from MID)>> + +<<match.clisp>> + +<<metalex.o (AUTO from OUT)>> + +<<metameta.o (AUTO from OUT)>> + +<<modemap.o (AUTO from OUT)>> +<<modemap.clisp>> + +<<msgdb.clisp>> + +<<nag-c02.o (AUTO from OUT)>> +<<nag-c02.clisp>> + +<<nag-c05.o (AUTO from OUT)>> +<<nag-c05.clisp>> + +<<nag-c06.o (AUTO from OUT)>> +<<nag-c06.clisp>> + +<<nag-d01.o (AUTO from OUT)>> +<<nag-d01.clisp>> + +<<nag-d02.o (AUTO from OUT)>> +<<nag-d02.clisp>> + +<<nag-d03.o (AUTO from OUT)>> +<<nag-d03.clisp>> + +<<nag-e01.o (AUTO from OUT)>> +<<nag-e01.clisp>> + +<<nag-e02.o (AUTO from OUT)>> +<<nag-e02.clisp>> + +<<nag-e04.o (AUTO from OUT)>> +<<nag-e04.clisp>> + +<<nag-f01.o (AUTO from OUT)>> +<<nag-f01.clisp>> + +<<nag-f02.o (AUTO from OUT)>> +<<nag-f02.clisp>> + +<<nag-f04.o (AUTO from OUT)>> +<<nag-f04.clisp>> + +<<nag-f07.o (AUTO from OUT)>> +<<nag-f07.clisp>> + +<<nag-s.o (AUTO from OUT)>> +<<nag-s.clisp>> + +<<newfort.clisp>> + +<<nruncomp.o (AUTO from OUT)>> +<<nruncomp.clisp>> + +<<nrunfast.clisp>> + +<<nrungo.clisp>> + +<<nruntime.clisp>> + +<<nrunopt.clisp>> + +<<nspadaux.o (AUTO from OUT)>> + +<<package.o (AUTO from OUT)>> + +<<parse.o (AUTO from OUT)>> + +<<parsing.o (AUTO from OUT)>> + +<<postpar.o (AUTO from OUT)>> + +<<postprop.lisp (AUTO from OUT)>> + +<<preparse.o (AUTO from OUT)>> + +<<profile.o (AUTO from OUT)>> +<<profile.clisp>> + +<<pspad1.o (AUTO from MID)>> + +<<pspad2.o (AUTO from MID)>> + +<<record.clisp>> + +<<rulesets.clisp>> + +<<server.clisp>> + +<<setvart.clisp>> + +<<showimp.o (AUTO from OUT)>> + +<<template.clisp>> + +<<termrw.clisp>> + +<<topics.o (AUTO from OUT)>> +<<topics.clisp>> + +<<trace.clisp>> + +<<warm.data.stanza>> + +<<wi1.o (AUTO from MID)>> + +<<wi2.o (AUTO from MID)>> + +<<xruncomp.o (AUTO from OUT)>> +<<xruncomp.clisp>> + +<<DVI from pamphlet>> + +@ +pp +\eject +\begin{thebibliography}{99} +\bibitem{1} \File{Makefile.pamphlet} +\bibitem{2} \File{src/boot/Makefile.pamphlet} +\bibitem{3} \File{src/interp/bootfuns.lisp.pamphlet} +\bibitem{4} \File{src/interp/setq.lisp.pamphlet} +\bibitem{5} \File{src/interp/patches.lisp.pamphlet} +\bibitem{6} {\bf www.aldor.org} +\bibitem{7} \File{src/interp/apply.boot.pamphlet} +\bibitem{8} \File{src/interp/bits.lisp.pamphlet} +\bibitem{9} \File{src/interp/bootlex.lisp.pamphlet} +\bibitem{10} \File{src/interp/cfuns.lisp.pamphlet} +\bibitem{11} \File{src/interp/comp.lisp.pamphlet} +\bibitem{12} \File{src/interp/construc.lisp.pamphlet} +\bibitem{13} \File{src/interp/daase.lisp.pamphlet} +\bibitem{14} \File{src/interp/debug.lisp.pamphlet} +\bibitem{15} \File{src/interp/def.lisp.pamphlet} +\bibitem{16} \File{src/interp/fortcall.boot.pamphlet} +\bibitem{17} \File{src/interp/fname.lisp.pamphlet} +\bibitem{18} \File{src/interp/fnewmeta.lisp.pamphlet} +\bibitem{19} \File{src/interp/ggreater.lisp.pamphlet} +\bibitem{20} \File{src/interp/hash.lisp.pamphlet} +\bibitem{21} \File{src/interp/macros.lisp.pamphlet} +\bibitem{22} \File{src/interp/metalex.lisp.pamphlet} +\bibitem{23} \File{src/interp/metameta.lisp.pamphlet} +\bibitem{24} \File{src/interp/monitor.lisp.pamphlet} +\bibitem{25} \File{src/interp/newaux.lisp.pamphlet} +\bibitem{26} \File{src/interp/nlib.lisp.pamphlet} +\bibitem{27} \File{src/interp/nocompil.lisp.pamphlet} +\bibitem{28} \File{src/interp/nspadaux.lisp.pamphlet} +\bibitem{29} \File{src/interp/parsing.lisp.pamphlet} +\bibitem{30} \File{src/interp/postprop.lisp.pamphlet} +\bibitem{31} \File{src/interp/preparse.lisp.pamphlet} +\bibitem{32} \File{src/interp/property.lisp.pamphlet} +\bibitem{33} \File{src/interp/sockio.lisp.pamphlet} +\bibitem{34} \File{src/interp/spad.lisp.pamphlet} +\bibitem{35} \File{src/interp/spaderror.lisp.pamphlet} +\bibitem{37} \File{src/interp/union.lisp.pamphlet} +\bibitem{38} \File{src/interp/util.lisp.pamphlet} +\bibitem{39} \File{src/interp/vmlisp.lisp.pamphlet} +\bibitem{40} \File{src/interp/alql.boot.pamphlet} +\bibitem{41} \File{src/interp/buildom.boot.pamphlet} +\bibitem{42} \File{src/interp/c-util.boot.pamphlet} +\bibitem{43} \File{src/interp/nag-c02.boot.pamphlet} +\bibitem{44} \File{src/interp/nag-c05.boot.pamphlet} +\bibitem{45} \File{src/interp/nag-c06.boot.pamphlet} +\bibitem{46} \File{src/interp/nag-d01.boot.pamphlet} +\bibitem{47} \File{src/interp/nag-d02.boot.pamphlet} +\bibitem{48} \File{src/interp/nag-d03.boot.pamphlet} +\bibitem{49} \File{src/interp/nag-e01.boot.pamphlet} +\bibitem{51} \File{src/interp/nag-e02.boot.pamphlet} +\bibitem{52} \File{src/interp/nag-e04.boot.pamphlet} +\bibitem{53} \File{src/interp/nag-f01.boot.pamphlet} +\bibitem{54} \File{src/interp/nag-f02.boot.pamphlet} +\bibitem{55} \File{src/interp/nag-f04.boot.pamphlet} +\bibitem{56} \File{src/interp/nag-f07.boot.pamphlet} +\bibitem{57} \File{src/interp/nag-s.boot.pamphlet} +\bibitem{58} \File{src/interp/category.boot.pamphlet} +\bibitem{59} \File{src/interp/cattable.boot.pamphlet} +\bibitem{60} \File{src/interp/c-doc.boot.pamphlet} +\bibitem{61} \File{src/interp/clam.boot.pamphlet} +\bibitem{62} \File{src/interp/clammed.boot.pamphlet} +\bibitem{63} \File{src/interp/compat.boot.pamphlet} +\bibitem{64} \File{src/interp/compiler.boot.pamphlet} +\bibitem{65} \File{src/interp/profile.boot.pamphlet} +\bibitem{66} \File{src/interp/compress.boot.pamphlet} +\bibitem{67} \File{src/interp/database.boot.pamphlet} +\end{thebibliography} +\end{document} |