aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-09-08 15:00:42 +0000
committerdos-reis <gdr@axiomatics.org>2007-09-08 15:00:42 +0000
commit7a49e65020d948cc98b22a43416efce3dcbeb238 (patch)
tree922b2271e2ed87974b4b541647d26ce97fee9c8e /src/interp
parent157f4368b440536001959ad58167b09357273edc (diff)
downloadopen-axiom-7a49e65020d948cc98b22a43416efce3dcbeb238.tar.gz
* configure.ac.pamphlet: Fix thinko.
* config/var-def.mk (SYS): Remove. (AX_FLAGS): Likewise. src/interp/ * Makefile.pamphlet (makeint.lisp): Don't print SYS, LISP, BYE. (DEBUGSYS): Remove. (all-debugsys): Likewise. (<<debugsys.lisp>>): Likewise. * debugsys.lisp.pamphlet: Remove.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/ChangeLog8
-rw-r--r--src/interp/Makefile.in19
-rw-r--r--src/interp/Makefile.pamphlet59
-rw-r--r--src/interp/debugsys.lisp.pamphlet268
4 files changed, 12 insertions, 342 deletions
diff --git a/src/interp/ChangeLog b/src/interp/ChangeLog
index 765d4106..1679d370 100644
--- a/src/interp/ChangeLog
+++ b/src/interp/ChangeLog
@@ -1,3 +1,11 @@
+2007-09-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * Makefile.pamphlet (makeint.lisp): Don't print SYS, LISP, BYE.
+ (DEBUGSYS): Remove.
+ (all-debugsys): Likewise.
+ (<<debugsys.lisp>>): Likewise.
+ * debugsys.lisp.pamphlet: Remove.
+
2007-09-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (OBJS): Don't include nci.
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in
index 83aed171..9a058ca4 100644
--- a/src/interp/Makefile.in
+++ b/src/interp/Makefile.in
@@ -50,8 +50,6 @@ LOADSYS= $(axiom_build_bindir)/lisp$(EXEEXT)
SAVESYS= interpsys$(EXEEXT)
AXIOMSYS= $(axiom_target_bindir)/AXIOMsys$(EXEEXT)
-DEBUGSYS=$(axiom_build_bindir)/debugsys$(EXEEXT)
-
OBJS= vmlisp.$(FASLEXT) hash.$(FASLEXT) \
diagnostics.$(FASLEXT) \
macros.$(FASLEXT) \
@@ -223,7 +221,7 @@ UNUSED= ${DOC}/anna.boot.dvi ${DOC}/construc.lisp.dvi \
.SUFFIXES:
.SUFFIXES: .boot .clisp .lisp .pamphlet
-.PHONY: all all-ax all-depsys all-interpsys all-axiomsys all-debugsys
+.PHONY: all all-ax all-depsys all-interpsys all-axiomsys
all: all-ax
@@ -238,7 +236,7 @@ remove-stamp:
-rm -f stamp
.PHONY: build-images
-build-images: remove-stamp all-interpsys all-debugsys
+build-images: remove-stamp all-interpsys
all-interpsys: all-depsys
$(mkinstalldirs) $(AUTO)
@@ -247,9 +245,6 @@ all-interpsys: all-depsys
all-axiomsys: all-depsys
$(MAKE) $(AXIOMSYS)
-all-debugsys: all-interpsys
- $(MAKE) $(DEBUGSYS)
-
all-depsys: $(DEPSYS)
.PRECIOUS: %.boot
@@ -289,8 +284,6 @@ makeint.lisp: ${DEPSYS} ${OBJS} bookvol5.$(FASLEXT) util.$(FASLEXT) \
../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
@@ -459,11 +452,6 @@ ${AXIOMSYS}: makeint.lisp
$(LOADSYS) -- --make --output=$@ --main="BOOT::RESTART" \
--load-directory=. makeint.lisp
@ echo 6a ${AXIOMSYS} created
-${DEBUGSYS}: debugsys.lisp
- @ echo 7 building debugsys
- @ echo '(progn (gbc t) (load "debugsys.lisp") (in-package "BOOT") (spad-save "$@"))' | ${LISPSYS}
- @ echo 8 ${DEBUGSYS} created
-
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=$@ $<
@@ -586,9 +574,6 @@ database.clisp: database.boot
@ echo 243 making $@ from $<
@ echo '(progn (old-boot::boot "database.boot"))' | ${DEPSYS}
-debugsys.lisp: $(srcdir)/debugsys.lisp.pamphlet
- $(axiom_build_document) --tangle --output=$@ $<
-
define.clisp: define.boot
@ echo 247 making $@ from $<
@ echo '(progn (old-boot::boot "define.boot"))' | ${DEPSYS}
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet
index 5e67f5a5..4bd270f4 100644
--- a/src/interp/Makefile.pamphlet
+++ b/src/interp/Makefile.pamphlet
@@ -304,21 +304,6 @@ 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{OpenAxiom} interpreter ({\bf SAVESYS}) usually named
@@ -1117,8 +1102,6 @@ makeint.lisp: ${DEPSYS} ${OBJS} bookvol5.$(FASLEXT) util.$(FASLEXT) \
../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
@@ -1168,19 +1151,6 @@ ${AXIOMSYS}: 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}
@@ -1190,25 +1160,6 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex
$(INSTALL_DATA) $< $@
@
-\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{fortcall.boot \cite{16}}
<<fortcall.clisp>>=
@@ -2026,7 +1977,7 @@ subdir = src/interp/
.SUFFIXES:
.SUFFIXES: .boot .clisp .lisp .pamphlet
-.PHONY: all all-ax all-depsys all-interpsys all-axiomsys all-debugsys
+.PHONY: all all-ax all-depsys all-interpsys all-axiomsys
all: all-ax
@@ -2041,7 +1992,7 @@ remove-stamp:
-rm -f stamp
.PHONY: build-images
-build-images: remove-stamp all-interpsys all-debugsys
+build-images: remove-stamp all-interpsys
all-interpsys: all-depsys
$(mkinstalldirs) $(AUTO)
@@ -2050,9 +2001,6 @@ all-interpsys: all-depsys
all-axiomsys: all-depsys
$(MAKE) $(AXIOMSYS)
-all-debugsys: all-interpsys
- $(MAKE) $(DEBUGSYS)
-
all-depsys: $(DEPSYS)
<<extract source codes>>
@@ -2068,7 +2016,6 @@ distclean-local: clean-local
<<savesys>>
<<depsys>>
<<axiomsys>>
-<<debugsys>>
<<databases>>
## Copy FASLs that are autoloaded to the autoload directory.
@@ -2124,8 +2071,6 @@ $(AUTO)/%.$(FASLEXT): %.$(FASLEXT)
<<database.clisp>>
-<<debugsys.lisp>>
-
<<define.clisp>>
<<format.clisp>>
diff --git a/src/interp/debugsys.lisp.pamphlet b/src/interp/debugsys.lisp.pamphlet
deleted file mode 100644
index 5a97e4c0..00000000
--- a/src/interp/debugsys.lisp.pamphlet
+++ /dev/null
@@ -1,268 +0,0 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp debugsys.lisp}
-\author{Timothy Daly}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{An explanation}
-
-This file is basically the same as the one created during the build of
-interpsys. See the echo lines in the {\bf SAVESYS} block in the
-Makefile.pamphlet file. These are echoed into a temporary file which
-gets loaded into the lisp image to create interpsys. We simply
-captured that temporary file, replaced the .o files with .lisp files
-(or .lsp or .clisp) and saved it here.
-
-This is a file that can be loaded into a raw lisp image to create a
-running interpreter. Note that almost all of the files are loaded as
-lisp code. cfuns and sockio are exceptions because they depend on the
-loader to link to externs in the lisp image which cannot be done in
-interpreted code.
-
-We assume that debugsys is being built after interpsys has been built
-as the only use for a debugsys image is to debug a deep system
-problem in interpsys. Thus we can assume that all of these files
-exist. Note that these files are {\bf hard coded} to assume they
-live under {\bf /home/axiomgnu/new}. You need to do a global
-search and replace if you don't place them there. We should write
-lisp code to grab the {\bf AXIOM} shell variable but since (a)
-there is hardly any reason to use this level of debugging and (b)
-if you're screwing around here you've got much harder problems
-to solve so this is not an issue.
-
-For debugging purposes you can add anything to this file
-and it will show up in the debugsys image.
-
-Note that the nag files have been removed as there is a bug
-in the handling of their autoload code.
-\section{Non-portable code}
-\subsection{GCL only code}
-\subsubsection{use-fast-links}
-The use-fast-links function is a speed optimization on function
-calls. It basically assumes that the call has been properly
-constructed so the compiler can skip argument checks.
-<<use-fast-links>>=
-#+:gcl (si::use-fast-links nil)
-@
-\section{The debugsys.lisp code}
-<<*>>=
-<<use-fast-links>>
-(unless (system:getenv "AXIOM")
- (format t "The AXIOM shell variable must be set~%")
- (format t "The likely value is axiom/mnt/linux~%"))
-(unless (system:getenv "SYS")
- (format t "The SYS shell variable must be set~%")
- (format t "The likely value is linux~%"))
-(unless (system:getenv "DAASE")
- (format t "The DAASE shell variable must be set~%")
- (format t "The likely value is axiom/mnt/linux~%"))
-(trace load)
-#+:GCL
-(defun thepath (file)
- (concatenate 'string (system:getenv "AXIOM") "/../.." file))
-(load "sys-pkg.lisp")
-(load "nocompil.lisp")
-(load "bookvol5.lisp")
-(load "util.lisp")
-(in-package "BOOT")
-(setq *sys* (system:getenv "SYS"))
-#+:GCL
-(defun thesymb (file) (intern
- (concatenate 'string (system:getenv "AXIOM") "/../.." file)))
-(progn (setq timestamp (user::thepath "/src/timestamp")) (yearweek))
-@
-The [[*build-version*]] variable is only introduced into the system
-from the Makefile. Since this isn't going thru the Makefile when
-loaded by hand we need to establish a value.
-<<*>>=
-(setq *build-version* "debug")
-(build-interpsys
- (append
- (list
- "vmlisp.lisp"
- "hash.lisp"
- "bootfuns.lisp"
- "macros.lisp"
- "unlisp.lisp"
- "setq.lisp"
- "astr.clisp"
- "bits.lisp"
- "alql.clisp"
- (thesymb "/int/interp/buildom.clisp")
- (thesymb "/int/interp/cattable.clisp")
- "cformat.clisp"
- (thesymb (concatenate 'string "/obj/" *sys* "/interp/cfuns.o"))
- (thesymb "/int/interp/clam.clisp")
- (thesymb "/int/interp/clammed.clisp")
- "comp.lisp"
- (thesymb "/int/interp/compat.clisp")
- (thesymb "/int/interp/compress.clisp")
- "cparse.clisp"
- "cstream.clisp"
- (thesymb "/int/interp/database.clisp")
- "debug.lisp"
- "dq.clisp"
- "fname.lisp"
- (thesymb "/int/interp/format.clisp")
- (thesymb "/int/interp/g-boot.clisp")
- (thesymb "/int/interp/g-cndata.clisp")
- (thesymb "/int/interp/g-error.clisp")
- (thesymb "/int/interp/g-opt.clisp")
- (thesymb "/int/interp/g-timer.clisp")
- (thesymb "/int/interp/g-util.clisp")
- "ggreater.lisp"
- (thesymb "/int/interp/hypertex.clisp")
- (thesymb "/int/interp/i-analy.clisp")
- (thesymb "/int/interp/i-code.clisp")
- (thesymb "/int/interp/i-coerce.clisp")
- (thesymb "/int/interp/i-coerfn.clisp")
- (thesymb "/int/interp/i-eval.clisp")
- (thesymb "/int/interp/i-funsel.clisp")
- (thesymb "/int/interp/i-intern.clisp")
- (thesymb "/int/interp/i-map.clisp")
- (thesymb "/int/interp/i-output.clisp")
- (thesymb "/int/interp/i-resolv.clisp")
- (thesymb "/int/interp/i-spec1.clisp")
- (thesymb "/int/interp/i-spec2.clisp")
- (thesymb "/int/interp/i-syscmd.clisp")
- (thesymb "/int/interp/i-toplev.clisp")
- (thesymb "/int/interp/i-util.clisp")
- "incl.clisp"
- "int-top.clisp"
- "intfile.clisp"
- (thesymb "/int/interp/lisplib.clisp")
- "macex.clisp"
- (thesymb "/int/interp/match.clisp")
- "monitor.lisp"
- "msg.clisp"
- (thesymb "/int/interp/msgdb.clisp")
- "nci.lisp"
- "newaux.lisp"
- (thesymb "/int/interp/newfort.clisp")
- "nlib.lisp"
- (thesymb "/int/interp/nrunfast.clisp")
- (thesymb "/int/interp/nrungo.clisp")
- (thesymb "/int/interp/nrunopt.clisp")
- (thesymb "/int/interp/nruntime.clisp")
- "osyscmd.clisp"
- "packtran.clisp"
- (thesymb "/int/interp/pathname.clisp")
- "pf2sex.clisp"
- "pile.clisp"
- "posit.clisp"
- "property.lisp"
- "ptrees.clisp"
- "ptrop.clisp"
- (thesymb "/int/interp/record.clisp")
- (thesymb "/int/interp/rulesets.clisp")
- "scan.clisp"
- "serror.clisp"
- (thesymb "/int/interp/server.clisp")
- (thesymb "/int/interp/setvars.clisp")
- "sfsfun-l.lisp"
- "sfsfun.clisp"
- (thesymb "/int/interp/simpbool.clisp")
- (thesymb "/int/interp/slam.clisp")
- (thesymb (concatenate 'string "/obj/" *sys* "/interp/sockio.o"))
- "spad.lisp"
- "spaderror.lisp"
- (thesymb "/int/interp/template.clisp")
- (thesymb "/int/interp/termrw.clisp")
- (thesymb "/int/interp/trace.clisp")
- "union.lisp"
- "daase.lisp"
- (thesymb "/int/interp/fortcall.clisp"))
- (list
- (thesymb "/int/interp/hashcode.clisp")
- (thesymb "/int/interp/as.clisp")
- "foam_l.lisp"
- "axext_l.lisp")
- (list
- "varini.clisp"
- "parini.clisp"
- (thesymb "/int/interp/setvart.clisp")
- "intint.lisp"
- (thesymb "/int/interp/xrun.clisp")
- (thesymb "/int/interp/interop.clisp")
- "patches.lisp"))
- (list
- "bootlex.lisp"
- "def.lisp"
- "fnewmeta.lisp"
- "metalex.lisp"
- "metameta.lisp"
- "parsing.lisp"
- "parse.clisp"
- "postpar.clisp"
- "postprop.lisp"
- "preparse.lisp")
- (list
- (thesymb "/int/interp/apply.clisp")
- (thesymb "/int/interp/c-doc.clisp")
- (thesymb "/int/interp/c-util.clisp")
- (thesymb "/int/interp/profile.clisp")
- (thesymb "/int/interp/category.clisp")
- (thesymb "/int/interp/compiler.clisp")
- (thesymb "/int/interp/define.clisp")
- (thesymb "/int/interp/functor.clisp")
- (thesymb "/int/interp/info.clisp")
- (thesymb "/int/interp/iterator.clisp")
- (thesymb "/int/interp/modemap.clisp")
- (thesymb "/int/interp/nruncomp.clisp")
- (thesymb "/int/interp/package.clisp")
- (thesymb "/int/interp/htcheck.clisp")
- (thesymb "/int/interp/xruncomp.clisp"))
- (list
- (thesymb "/int/interp/bc-matrix.clisp")
- (thesymb "/int/interp/bc-misc.clisp")
- (thesymb "/int/interp/bc-solve.clisp")
- (thesymb "/int/interp/bc-util.clisp")
- (thesymb "/int/interp/ht-util.clisp")
- (thesymb "/int/interp/htsetvar.clisp")
- (thesymb "/int/interp/ht-root.clisp")
- (thesymb "/int/interp/br-con.clisp")
- (thesymb "/int/interp/br-data.clisp")
- "showimp.clisp"
- (thesymb "/int/interp/br-op1.clisp")
- (thesymb "/int/interp/br-op2.clisp")
- (thesymb "/int/interp/br-search.clisp")
- (thesymb "/int/interp/br-util.clisp")
- (thesymb "/int/interp/topics.clisp")
- (thesymb "/int/interp/br-prof.clisp")
- (thesymb "/int/interp/br-saturn.clisp"))
- (list
- (thesymb "/int/interp/wi1.clisp")
- (thesymb "/int/interp/wi2.clisp")
- (thesymb "/int/interp/pspad1.clisp")
- (thesymb "/int/interp/pspad2.clisp")
- (thesymb "/int/interp/mark.clisp")
- "nspadaux.lisp"
- "def.lisp")
- (quote
- ())
- (list
- (thesymb "/int/interp/ax.clisp"))
- (system:getenv "AXIOM"))
-(in-package "SCRATCHPAD-COMPILER")
-(boot::set-restart-hook)
-(in-package "BOOT")
-(load (user::thepath "/int/algebra/warm.data"))
-(|clearClams|)
-(load "obey.lisp")
-;(si::multiply-bignum-stack 10)
-(si::gbc-time 0)
-(setq si::*system-directory*
- (user::thepath (concatenate 'string "/mnt/" *sys* "/bin/")))
-(gbc t)
-
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}