X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=build-order.lisp-expr;h=f9edeaf52d5b406dd15377110aaea7624d47b047;hb=2db3b6b4cb740d5b6512459c223859f747807b09;hp=3f116c86737dd82b5bb756e5031be438e7ffe88c;hpb=e8b69b1dd5564a4237b1bdc1060820c3b820cde2;p=sbcl.git diff --git a/build-order.lisp-expr b/build-order.lisp-expr index 3f116c8..f9edeaf 100644 --- a/build-order.lisp-expr +++ b/build-order.lisp-expr @@ -9,9 +9,15 @@ ;;;; provided with absolutely no warranty. See the COPYING and CREDITS ;;;; files for more information. -;;; a linear ordering of system sources which works both to compile/load -;;; the cross-compiler under the host Common Lisp and then to cross-compile -;;; the complete system into the under-construction target SBCL +;;; a linear ordering of system sources which works both to +;;; compile/load the cross-compiler under the host Common Lisp and +;;; then to cross-compile the complete system into the +;;; under-construction target SBCL +;;; +;;; The keyword flags (:NOT-HOST, :NOT-TARGET, :ASSEM...) are +;;; documented in the code which implements their effects. (As of +;;; sbcl-0.7.10, the comments are on DEFPARAMETER *EXPECTED-STEM-FLAGS* +;;; in src/cold/shared.lisp.) ;;; ;;; Of course, it'd be very nice to have this be a dependency DAG ;;; instead, so that we could do automated incremental recompilation. @@ -42,6 +48,11 @@ ;; leaking into target SBCL code. ("src/code/backq") + ;; It's difficult to be too early with a DECLAIM SPECIAL (or DEFVAR + ;; or whatever) thanks to the sullenly-do-the-wrong-thing semantics + ;; of CL special binding when the variable is undeclared. + ("src/code/globals" :not-host) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; various DEFSETFs and/or other DEFMACROish things, defined as early as ;; possible so we don't need to fiddle with any subtleties of defining them @@ -60,9 +71,11 @@ ;;; supplied by basic machinery ("src/code/cross-misc" :not-target) + ("src/code/cross-byte" :not-target) ("src/code/cross-float" :not-target) ("src/code/cross-io" :not-target) ("src/code/cross-sap" :not-target) + ("src/code/cross-make-load-form" :not-target) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; stuff needed early both in cross-compilation host and in target Lisp @@ -72,10 +85,11 @@ ("src/code/defbangtype") ("src/code/defbangmacro") + ("src/code/defbangconstant") ("src/code/primordial-extensions") - ;; for various constants e.g. SB!VM:*TARGET-MOST-POSITIVE-FIXNUM* and + ;; for various constants e.g. SB!XC:MOST-POSITIVE-FIXNUM and ;; SB!VM:N-LOWTAG-BITS, needed by "early-objdef" and others ("src/compiler/generic/early-vm") ("src/compiler/generic/early-objdef") @@ -86,6 +100,7 @@ ("src/code/parse-defmacro") ; on host for PARSE-DEFMACRO ("src/code/early-extensions") ; on host for COLLECT, SYMBOLICATE, etc. ("src/compiler/deftype") ; on host for SB!XC:DEFTYPE + ("src/compiler/defconstant") ("src/code/early-alieneval") ; for vars needed both at build and run time ("src/code/specializable-array") @@ -123,6 +138,7 @@ ;; accessors.) ("src/code/type-class") + ("src/code/early-pcounter") ("src/code/pcounter" :not-host) ("src/code/ansi-stream" :not-host) @@ -142,7 +158,6 @@ ;; and stuff." ;; Dunno exactly what this meant or whether it still holds. -- WHN 19990803 ;; FIXME: more informative and up-to-date comment? - ("src/code/globals" :not-host) ("src/code/kernel" :not-host) ("src/code/toplevel" :not-host) ("src/code/cold-error" :not-host) @@ -190,16 +205,23 @@ #!+bsd ("src/code/bsd-os" :not-host) #!+linux ("src/code/linux-os" :not-host) + ;; sparc-vm and ppc-vm need sc-offset defined to get at internal + ;; error args. This file contains stuff previously in + ;; debug-info.lisp. Should it therefore be :not-host? -- CSR, + ;; 2002-02-05 + ("src/code/sc-offset") + ;; KLUDGE: I'd prefer to have this done with a "code/target" softlink ;; instead of a bunch of reader macros. -- WHN 19990308 - #!+pmax ("src/code/pmax-vm" :not-host) - #!+(and sparc svr4) ("src/code/sparc-svr4-vm" :not-host) - #!+(and sparc (not svr4)) ("src/code/sparc-vm" :not-host) - #!+rt ("src/code/rt-vm" :not-host) + #!+sparc ("src/code/sparc-vm" :not-host) #!+hppa ("src/code/hppa-vm" :not-host) #!+x86 ("src/code/x86-vm" :not-host) + #!+ppc ("src/code/ppc-vm" :not-host) #!+alpha ("src/code/alpha-vm" :not-host) - #!+sgi ("src/code/sgi-vm" :not-host) + #!+mips ("src/code/mips-vm" :not-host) + + ;; FIXME: do we really want to keep this? -- CSR, 2002-08-31 + #!+rt ("src/code/rt-vm" :not-host) ("src/code/target-signal" :not-host) ; needs OS-CONTEXT-T from x86-vm @@ -243,18 +265,19 @@ ("src/code/weak" :not-host) ("src/code/final" :not-host) - #!+mp ("src/code/multi-proc" :not-host) - ("src/code/setf-funs" :not-host) ("src/code/stubs" :not-host) + ("src/code/exhaust" :not-host) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; compiler (and a few miscellaneous files whose dependencies make it ;;; convenient to stick them here) ("src/compiler/early-c") ("src/compiler/policy") + ("src/compiler/policies") ("src/code/typedefs") ;; ("src/code/defbangmacro" was here until sbcl-0.6.7.3.) @@ -284,6 +307,7 @@ ("src/compiler/globaldb") ("src/compiler/info-functions") + ("src/code/force-delayed-defbangconstants") ("src/code/defmacro") ("src/code/force-delayed-defbangmacros") @@ -299,8 +323,8 @@ ;; for e.g. SPECIFIER-TYPE, needed by primtype.lisp ("src/code/early-type") - ;; FIXME: Classic CMU CL had SAFETY 2 DEBUG 2 set around the compilation - ;; of "code/class". Why? + ;; FIXME: Classic CMU CL had (OPTIMIZE (SAFETY 2) (DEBUG 2) declared + ;; around the compilation of "code/class". Why? ("src/code/class") ;; The definition of CONDITION-CLASS depends on SLOT-CLASS, defined @@ -337,6 +361,9 @@ ;; defines IR1-ATTRIBUTES macro, needed by proclaim.lisp ("src/compiler/knownfun") + ;; needs FUN-INFO structure slot setters, defined in knownfun.lisp + ("src/compiler/fun-info-funs") + ;; stuff needed by "code/defstruct" ("src/code/cross-type" :not-target) ("src/compiler/generic/vm-type") @@ -413,23 +440,7 @@ ;; Compiling this requires fop definitions from code/fop.lisp and ;; trace table definitions from compiler/trace-table.lisp. - ("src/compiler/dump" - ;; FIXME: When building sbcl-0.pre7.14.flaky4.5 under sbcl-0.6.12.1 - ;; with :SB-SHOW on the target *FEATURES* list, cross-compilation of - ;; this file gives a WARNING in HEXSTR, - ;; Lisp error during constant folding: - ;; Argument X is not a REAL: NIL - ;; This seems to come from DEF!MACRO %WITH-ARRAY-DATA-MACRO code - ;; which looks like - ;; (cond (,end - ;; (unless (or ,unsafe? (<= ,end ,size)) - ;; ..)) - ;; ..) - ;; where the system is trying to constant-fold the <= form when the - ;; ,END binding is known to be NIL at compile time. Since the <= form - ;; is unreachable in that case, this shouldn't be signalling a WARNING; - ;; but as long as it is, we have to ignore it in order to go on. - :ignore-failure-p) + ("src/compiler/dump") ("src/compiler/main") ; needs DEFSTRUCT FASL-OUTPUT from dump.lisp ("src/compiler/target-main" :not-host) @@ -439,10 +450,6 @@ ("src/compiler/ir1report") ("src/compiler/ir1opt") - ;; Compiling this file requires the macros SB!ASSEM:EMIT-LABEL and - ;; SB!ASSEM:EMIT-POST-IT, defined in assem.lisp. - ("src/compiler/late-vmdef") - ("src/compiler/ir1final") ("src/compiler/array-tran") ("src/compiler/seqtran") @@ -466,10 +473,17 @@ ("src/compiler/generic/utils") ("src/assembly/assemfile") + ;; Compiling this file requires the macros SB!ASSEM:EMIT-LABEL and + ;; SB!ASSEM:EMIT-POST-IT, defined in assem.lisp, and also possibly + ;; the definition of the LOCATION-INFO structure (if structures in + ;; the host lisp have setf expanders rather than setf functions). + ("src/compiler/late-vmdef") + ("src/compiler/fixup") ; for DEFSTRUCT FIXUP, used by insts.lisp ("src/compiler/target/insts") ("src/compiler/target/macros") + ("src/compiler/generic/early-type-vops") ("src/assembly/target/support") @@ -480,19 +494,28 @@ ("src/compiler/target/char") ("src/compiler/target/memory") ("src/compiler/target/static-fn") - ("src/compiler/target/arith") + ("src/compiler/target/arith" + ;; KLUDGE: for ppc and sparc this appears to be necessary -- see the + ;; comment below regarding src/compiler/target/array -- CSR, + ;; 2002-05-05 + :ignore-failure-p) ("src/compiler/target/subprim") ("src/compiler/target/debug") + ;; src/compiler/sparc/c-call contains a deftransform for + ;; %ALIEN-FUNCALL -- CSR + ("src/compiler/early-aliencomp") ("src/compiler/target/c-call") ("src/compiler/target/cell") ("src/compiler/target/values") ("src/compiler/target/alloc") ("src/compiler/target/call") ("src/compiler/target/nlx") + ("src/compiler/generic/late-nlx") ("src/compiler/target/show") ("src/compiler/target/array" - ;; KLUDGE: Compiling this file raises alarming warnings of the form + ;; KLUDGE: Compiling this file for X86 raises alarming warnings of + ;; the form ;; Argument FOO to VOP CHECK-BOUND has SC restriction ;; DESCRIPTOR-REG which is not allowed by the operand type: ;; (:OR POSITIVE-FIXNUM) @@ -502,15 +525,28 @@ ;; these warnings are severe enough that they would ordinarily abort ;; compilation, for now we blithely ignore them and press on to more ;; pressing problems. Someday, though, it would be nice to figure out - ;; what the problem is and fix it.. -- WHN 19990323 + ;; what the problem is and fix it. (See the comments in + ;; src/compiler/x86/array for a candidate patch.) -- WHN 19990323 :ignore-failure-p) + ("src/compiler/generic/array") ("src/compiler/target/pred") - ("src/compiler/target/type-vops") - ("src/assembly/target/assem-rtns" :assem) - ("src/assembly/target/array" :assem) - ("src/assembly/target/arith" :assem) - ("src/assembly/target/alloc" :assem) + ("src/compiler/target/type-vops") + ("src/compiler/generic/late-type-vops") + + ;; KLUDGE: The assembly files need to be compiled twice: once as + ;; normal lisp files, and once by sb-c:assemble-file. We play some + ;; symlink games to make sure we don't scribble over anything we + ;; shouldn't, but these are actually the same files: + + ("src/compiler/assembly/target/assem-rtns") + ("src/compiler/assembly/target/array") + ("src/compiler/assembly/target/arith") + ("src/compiler/assembly/target/alloc") + ("src/assembly/target/assem-rtns" :assem :not-host) + ("src/assembly/target/array" :assem :not-host) + ("src/assembly/target/arith" :assem :not-host) + ("src/assembly/target/alloc" :assem :not-host) ("src/compiler/pseudo-vops") @@ -555,7 +591,7 @@ ; "compiler/generic/core" ("src/code/eval" :not-host) ; uses INFO, wants compiler macro - ("src/code/target-sap" :not-host) ; uses SAP-INT-TYPE + ("src/code/target-sap" :not-host) ; uses SAP-INT type ("src/code/target-package" :not-host) ; needs "code/package" ("src/code/target-random" :not-host) ; needs "code/random" ("src/code/target-hash-table" :not-host) ; needs "code/hash-table" @@ -583,27 +619,12 @@ ("src/code/bit-bash" :not-host) ; needs %NEGATE from assembly/target/arith ("src/code/target-load" :not-host) ; needs special vars from code/load.lisp - + ("src/compiler/target/sanctify" :not-host) + ;; FIXME: Does this really need stuff from compiler/dump.lisp? ("src/compiler/target-dump" :not-host) ; needs stuff from compiler/dump.lisp - ("src/code/cold-init" :not-host ; needs (SETF EXTERN-ALIEN) macroexpansion - ;; FIXME: When building sbcl-0.pre7.14.flaky4.5 under sbcl-0.6.12.1 - ;; with :SB-SHOW on the target *FEATURES* list, cross-compilation of - ;; this file gives a WARNING in HEXSTR, - ;; Lisp error during constant folding: - ;; Argument X is not a REAL: NIL - ;; This seems to come from DEF!MACRO %WITH-ARRAY-DATA-MACRO code - ;; which looks like - ;; (cond (,end - ;; (unless (or ,unsafe? (<= ,end ,size)) - ;; ..)) - ;; ..) - ;; where the system is trying to constant-fold the <= form when the - ;; ,END binding is known to be NIL at compile time. Since the <= form - ;; is unreachable in that case, this shouldn't be signalling a WARNING; - ;; but as long as it is, we have to ignore it in order to go on. - :ignore-failure-p) + ("src/code/cold-init" :not-host) ; needs (SETF EXTERN-ALIEN) macroexpansion ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; target macros and DECLAIMs installed at build-the-cross-compiler time @@ -624,11 +645,17 @@ ("src/code/late-setf") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - ;; other target-code-building stuff which can't be processed until ;; machinery like SB!XC:DEFMACRO exists ("src/code/late-format") ; needs SB!XC:DEFMACRO ("src/code/sxhash") ; needs SB!XC:DEFINE-MODIFY-MACRO ("src/code/signal") - ("src/code/late-defbangmethod")) + ("src/code/late-defbangmethod") + + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + ;; PCL-related stuff, which shouldn't need to be done earlier than + ;; anything else in cold build because after all it used to be + ;; postponed 'til warm init with no problems. + + ("src/pcl/walk"))