X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=build-order.lisp-expr;h=043e4494a24fbc10099c52af447fcfb414d323d8;hb=58084279740fc96c6ffcd14e86dca73b71b7c288;hp=76acd22119cc08eea19dcb033524823b70bbff55;hpb=d202a453b45430e04671b966c01bc067c2667442;p=sbcl.git diff --git a/build-order.lisp-expr b/build-order.lisp-expr index 76acd22..043e449 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. @@ -60,11 +66,15 @@ ;; that they can handle the change. -- WHN 19990919 ("src/code/defsetfs") + ("src/code/cold-init-helper-macros") + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; cross-compiler-only replacements for stuff which in target Lisp would be ;;; supplied by basic machinery ("src/code/cross-misc" :not-target) + ("src/code/cross-char" :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) @@ -82,6 +92,9 @@ ("src/code/primordial-extensions") + ;; comes early so that stuff can reason about function names + ("src/code/function-names") + ;; 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") @@ -89,9 +102,9 @@ ("src/compiler/target/parms") ("src/code/early-array") ; needs "early-vm" numbers + ("src/code/early-extensions") ; on host for COLLECT, SYMBOLICATE, etc. ("src/code/parse-body") ; on host for PARSE-BODY ("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 @@ -104,8 +117,6 @@ ;; mostly needed by stuff from comcom, but also used by "x86-vm" ("src/code/debug-var-io") - ("src/code/cold-init-helper-macros") - ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; basic machinery for the target Lisp. Note that although most of these ;;; files are flagged :NOT-HOST, a few might not be. @@ -122,6 +133,8 @@ ("src/code/defbangstruct") + ("src/code/unportable-float") + ("src/code/funutils" :not-host) ;; This needs DEF!STRUCT, and is itself needed early so that structure @@ -131,6 +144,7 @@ ;; accessors.) ("src/code/type-class") + ("src/code/early-pcounter") ("src/code/pcounter" :not-host) ("src/code/ansi-stream" :not-host) @@ -205,15 +219,15 @@ ;; 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 @@ -230,8 +244,6 @@ ("src/code/misc") ("src/code/room" :not-host) - ("src/code/gc" :not-host) - ("src/code/purify" :not-host) ("src/code/stream" :not-host) ("src/code/print" :not-host) @@ -257,8 +269,6 @@ ("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) @@ -271,6 +281,7 @@ ("src/compiler/early-c") ("src/compiler/policy") + ("src/compiler/policies") ("src/code/typedefs") ;; ("src/code/defbangmacro" was here until sbcl-0.6.7.3.) @@ -331,12 +342,16 @@ ;; defining types ("src/compiler/parse-lambda-list") + ;; The following two files trigger function/macro redefinition + ;; warnings in clisp during make-host-2; as a workaround, we ignore + ;; the failure values from COMPILE-FILE under clisp. + ;; for DEFSTRUCT ALIEN-TYPE, needed by host-type.lisp - ("src/code/host-alieneval") + ("src/code/host-alieneval" #+clisp :ignore-failure-p) ;; can't be done until definition of e.g. DEFINE-ALIEN-TYPE-CLASS in ;; host-alieneval.lisp - ("src/code/host-c-call") + ("src/code/host-c-call" #+clisp :ignore-failure-p) ;; SB!XC:DEFTYPE is needed in order to compile late-type ;; in the host Common Lisp, and in order to run, it needs @@ -420,7 +435,8 @@ ;; (and so that they don't cause lots of annoying compiler warnings ;; about undefined types). ("src/compiler/generic/core") - + ("src/code/cross-thread" :not-target) + ("src/code/thread") ("src/code/load") ("src/code/fop") ; needs macros from code/load.lisp @@ -433,27 +449,12 @@ ;; 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) ("src/compiler/ir1tran") + ("src/compiler/ir1tran-lambda") ("src/compiler/ir1-translators") ("src/compiler/ir1util") ("src/compiler/ir1report") @@ -492,6 +493,7 @@ ("src/compiler/target/insts") ("src/compiler/target/macros") + ("src/compiler/generic/early-type-vops") ("src/assembly/target/support") @@ -519,6 +521,7 @@ ("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 for X86 raises alarming warnings of @@ -535,13 +538,25 @@ ;; 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") @@ -597,7 +612,13 @@ ; from "code/pathname" ("src/code/sharpm" :not-host) ; uses stuff from "code/reader" + #!+sb-thread + ("src/code/target-thread" :not-host) + #!-sb-thread + ("src/code/target-unithread" :not-host) ;; defines SB!DI:DO-DEBUG-FUN-BLOCKS, needed by target-disassem.lisp + ("src/code/gc" :not-host) + ("src/code/purify" :not-host) ("src/code/debug-int" :not-host) ;; target-only assemblerish stuff @@ -619,23 +640,7 @@ ;; 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 @@ -646,6 +651,10 @@ ;; DEFVAR or DEFPARAMETER. ("src/code/cl-specials") + ;; FIXME: here? earlier? can probably be as late as possible. Also + ;; maybe call it FORCE-DELAYED-PROCLAIMS? + ("src/compiler/late-proclaim") + ;; fundamental target macros (e.g. CL:DO and CL:DEFUN) and support ;; for them ("src/code/defboot") @@ -656,11 +665,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"))