blob: e6a94f8152d60c7d00d8ac86327077d3803f6320 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
\documentclass{article}
\usepackage{axiom}
\begin{document}
\title{\$SPAD/src/boot/ccl-depsys.lsp}
\author{The Axiom Team}
\maketitle
\begin{abstract}
\end{abstract}
\eject
\tableofcontents
\eject
<<*>>=
;;
;; This builds "depsys" on top of CCL.
;;
(push :oldboot *features*)
(load "try1.lsp") ;; Fix-ups for the Lisp package
(in-package "LISP")
(setq *echo nil)
(setq *read-default-float-format* 'double-float)
(load "sys-pkg.lisp")
(in-package "VMLISP")
;; new divide of divide in ccl yields a dotted pair
(defun divide (x y) (multiple-value-list (truncate x y)))
(defvar boot::|$SessionManager| 'boot-session-manager)
(defvar boot::|$EndOfOutput| 'boot-end-of-output)
(load "parsing_macros.lsp") ;; For macro defs used by util.
(load "util.lisp")
;; start of OBJS
(load "vmlisp.lisp")
(load "hash.lisp")
(load "bootfuns.lisp")
(load "macros.lisp")
(load "spad.lisp")
(load "spaderror.lisp")
(load "unlisp.lisp")
(load "setq.lisp")
(load "bits.lisp")
(load "cfuns.lisp")
(load "comp.lisp")
(load "debug.lisp")
(load "fname.lisp")
(load "ggreater.lisp")
(load "nci.lisp")
(load "newaux.lisp")
(load "nlib.lisp")
(load "property.lisp")
(load "sfsfun-l.lisp")
(load "sockio.lisp")
(load "union.lisp")
;; end of OBJS
;; Objects from autoload metaparser sector
(load "parsing.lisp")
(load "bootlex.lisp")
(load "def.lisp")
(load "fnewmeta.lisp")
(load "metalex.lisp")
(load "metameta.lisp")
(load "postprop.lisp")
(load "preparse.lisp")
; end
; THE CLISP FILES we need
(load "postpar.clisp")
(load "g-boot.clisp")
(load "g-util.clisp")
(load "clam.clisp")
(load "slam.clisp")
(copy-module 'ccomp)
(preserve)
@
\eject
\begin{thebibliography}{99}
\bibitem{1} nothing
\end{thebibliography}
\end{document}
|
