0.8.1.14:
[sbcl.git] / build-order.lisp-expr
index 508c40f..043e449 100644 (file)
@@ -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.
  ;; 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)
+ ("src/code/cross-make-load-form" :not-target)
 
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;; stuff needed early both in cross-compilation host and in target Lisp
@@ -81,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")
  ("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
  ;; 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.
 
  ("src/code/defbangstruct")
 
+ ("src/code/unportable-float")
  ("src/code/funutils" :not-host)
 
  ;; This needs DEF!STRUCT, and is itself needed early so that structure
  ;; accessors.)
  ("src/code/type-class")
 
+ ("src/code/early-pcounter")
  ("src/code/pcounter" :not-host)
 
  ("src/code/ansi-stream" :not-host)
  
  ;; 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
 
  ("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)
  ("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/compiler/early-c")
  ("src/compiler/policy")
+ ("src/compiler/policies")
  ("src/code/typedefs")
 
  ;; ("src/code/defbangmacro" was here until sbcl-0.6.7.3.)
  ;; 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
  ;; (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
 
  ;; 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")
 
  ("src/compiler/target/insts")
  ("src/compiler/target/macros")
+ ("src/compiler/generic/early-type-vops")
 
  ("src/assembly/target/support")
 
  ("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
   ;; 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")
 
                                           ;   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
  ;; 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
  ;; 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")
  ("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"))