worldcom.lisp 6.21 KB
Newer Older
ram's avatar
ram committed
1
2
3
;;; -*- Package: User; Log: code.log -*-
;;;
;;; **********************************************************************
4
5
6
7
8
;;; This code was written as part of the Spice Lisp project at
;;; Carnegie-Mellon University, and has been placed in the public domain.
;;; Spice Lisp is currently incomplete and under active development.
;;; If you want to use this code or any part of Spice Lisp, please contact
;;; Scott Fahlman (FAHLMAN@CMUC). 
ram's avatar
ram committed
9
10
11
12
;;; **********************************************************************

(in-package "USER")

13
14
15
(with-compiler-log-file
    ("target:compile-lisp.log"
     :optimize '(optimize (speed 2) (space 2) (inhibit-warnings 2)
16
			  (debug-info #-small 2 #+small .5)
17
18
			  (safety #-small 1 #+small 0))
     :optimize-interface '(optimize-interface (safety #-small 2 #+small 1)
19
					      (debug-info .5))
20
     :context-declarations
21
22
     '(((:or :external (:and (:match "%") (:match "SET"))
	     (:member lisp::%put lisp::%rplaca lisp::%rplacd lisp::%puthash))
23
24
	(declare (optimize-interface (safety 2) (debug-info 1))
		 (optimize (debug-info 1))))
25
       ((:or (:and :external :macro)
26
	     (:match "$PARSE-"))
27
28
29
	(declare (optimize (safety 2))))
       ((:and :external (:match "LIST"))
	(declare (optimize (safety 1))))))
ram's avatar
ram committed
30

31
32
33
34
(let ((*features*
       (cons (intern (c:backend-name c:*backend*)
		     (find-package "KEYWORD"))
	     (remove-if #'(lambda (x)
wlott's avatar
wlott committed
35
			    (member x '(:pmax :sparc :rt)))
36
			*features*))))
ram's avatar
ram committed
37

38

39
40
;;; these guys need to be first.
(comf "target:code/struct") ; For structures.
41
42

;;; Assembly files.
43
44
45
46
47
48
(when (string= (c:backend-name c:*backend*) "PMAX")
  (comf "target:assembly/mips/assem-rtns" :assem t)
  (comf "target:assembly/mips/array" :assem t)
  (comf "target:assembly/mips/bit-bash" :assem t)
  (comf "target:assembly/mips/arith" :assem t)
  (comf "target:assembly/mips/alloc" :assem t))
49

50
51
52
53
54
55
(when (string= (c:backend-name c:*backend*) "SPARC")
  (comf "target:assembly/sparc/assem-rtns" :assem t)
  (comf "target:assembly/sparc/array" :assem t)
  (comf "target:assembly/sparc/bit-bash" :assem t)
  (comf "target:assembly/sparc/arith" :assem t)
  (comf "target:assembly/sparc/alloc" :assem t))
56

wlott's avatar
wlott committed
57
58
59
60
61
(when (string= (c:backend-name c:*backend*) "RT")
  (comf "target:assembly/rt/assem-rtns" :assem t)
  (comf "target:assembly/rt/array" :assem t)
  (comf "target:assembly/rt/arith" :assem t)
  (comf "target:assembly/rt/alloc" :assem t))
62
63
64
65
66

;;; these guys can supposedly come in any order, but not really.
;;; some are put at the end so macros don't run interpreted and stuff.

(comf "target:code/kernel")
67
(comf "target:code/lispinit")
68
(comf "target:code/fdefinition")
69
70
#+mach (comf "target:code/mach-os")
#+sunos (comf "target:code/sunos-os")
71

ram's avatar
ram committed
72
(comf "target:code/interr")
73
(comf "target:code/error")
74
75
76
77
78
79
80
(comf "target:code/salterror")

(comf "target:compiler/type")
(comf "target:compiler/generic/vm-type")
(comf "target:compiler/type-init")
(comf "target:code/pred")

81
82
(comf "target:code/alieneval")
(comf "target:code/c-call")
83
84
85
86
87

(comf "target:code/bit-bash")
(comf "target:code/array")
(comf "target:code/hash")

88
89
(with-compilation-unit
  (:optimize '(optimize (safety 1)))
90
91
  (comf "target:code/list")
  (comf "target:code/seq")) ; seq must come after list
92

93
94
95
96
97
98
99
100
101
102
103
104
(comf "target:code/string")
(comf "target:code/mipsstrops")

(comf "target:code/machdef")

(when (string= (c:backend-name c:*backend*) "PMAX")
  (comf "target:code/pmax-machdef")
  (comf "target:code/pmax-vm")
  (comf "target:code/pmax-disassem"))
(when (string= (c:backend-name c:*backend*) "SPARC")
  (comf "target:code/sparc-machdef")
  (comf "target:code/sparc-vm"))
wlott's avatar
wlott committed
105
106
107
(when (string= (c:backend-name c:*backend*) "RT")
  (comf "target:code/rt-machdef")
  (comf "target:code/rt-vm"))
108
109
110
111
112
113
114
115
116
117
118
119
120
121

(comf "target:code/symbol")
(comf "target:code/bignum")
(comf "target:code/numbers")
(comf "target:code/float-trap")
(comf "target:code/float")
(comf "target:code/irrat")

(comf "target:code/type-boot")

(comf "target:compiler/proclaim")

(comf "target:code/char")
(comf "target:code/misc")
122
(comf "target:code/extensions")
123
124
(comf "target:code/commandline")

ram's avatar
ram committed
125
(comf "target:code/room")
126
(comf "target:code/gc")
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
(comf "target:code/purify")
(comf "target:code/save")

(comf "target:code/stream")
(comf "target:code/print")
(comf "target:code/pprint")
(comf "target:code/format")

(comf "target:code/package")
(comf "target:code/reader")
(comf "target:code/sharpm")
(comf "target:code/backq")

(comf "target:code/syscall")
(comf "target:code/vm")
(comf "target:code/serve-event")
(pushnew :serve-event *features*)
144
(comf "target:code/fd-stream")
145
146
147
148
(with-compilation-unit ; Until this code is shaken down more...
  (:optimize '(optimize (safety 2) (debug 2)))
  (comf "target:code/pathname")
  (comf "target:code/filesys"))
149
(comf "target:code/load")
150
151
152
153
154
155
156
157

(comf "target:code/eval")

(comf "target:code/signal")
(comf "target:code/debug-info")
(comf "target:code/debug-int")
(comf "target:code/debug")

158
159
(comf "target:code/query")
(comf "target:code/rand")
160
(comf "target:code/trace")
chiles's avatar
   
chiles committed
161
(comf "target:code/ntrace")
ram's avatar
ram committed
162
(comf "target:code/profile")
163
164
165
(comf "target:code/sort")
(comf "target:code/sysmacs")
(comf "target:code/time")
166
(comf "target:code/weak")
wlott's avatar
wlott committed
167
(comf "target:code/final")
ram's avatar
ram committed
168
169

;;; Later so that miscellaneous structures are defined (not crucial, but nice.)
170
(comf "target:code/describe")
171
172
#+clx
(comf "target:code/inspect")
173
174
175
176
(comf "target:code/tty-inspect")

(comf "target:code/format-time")
(comf "target:code/parse-time")
177
178
179
180
181
182
183
184
(comf "target:code/run-program")

(comf "target:code/loop")

#+clx
(comf "target:code/clx-ext")

(comf "target:code/foreign")
185
186
187
188
(comf "target:code/internet")
(comf "target:code/wire")
(comf "target:code/remote")

ram's avatar
ram committed
189
190
(comf "target:code/setf-funs")

191
192
193
194
195
196
197
;;; Compile basic macros that we assume are already in the compilation
;;; environment.  We inhibit compile-time definition to prevent these functions
;;; from becoming interpreted.  In some cases, this is necessary for
;;; compilation to work at all, since the expander functions are lazily
;;; converted: we could go into an infinite recursion trying to convert the
;;; definition of a macro which uses itself.
;;;
ram's avatar
ram committed
198
(let ((c:*compile-time-define-macros* nil))
199
200
201
  (comf "target:code/defstruct")
  (comf "target:code/defmacro")
  (comf "target:code/defrecord")
202
203
204
205
206
207
  (comf "target:compiler/globaldb")
  ;; We can't compile anything after macros, 'cause it breaks the running lisp.
  (comf "target:code/macros"))


); let
ram's avatar
ram committed
208
209

); with-compiler-log-file