;;; instead, so that we could do automated incremental recompilation.
;;; But the dependencies are varied and subtle, and it'd be extremely
;;; difficult to extract them automatically, and it'd be extremely
-;;; tedious and error-prone to extract them manually, so we don't
+;;; tedious and error-prone to extract them manually, so we don't
;;; extract them. (It would be nice to fix this someday. The most
;;; feasible approach that I can think of would be to make the
;;; dependencies work on a package level, not an individual file
(
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; miscellaneous
+ ("src/code/cross-early" :not-target)
;; This comes early because it's useful for debugging everywhere.
("src/code/show")
+ ;; This comes as early as possible, so that we catch the source locations
+ ;; for everything.
+ ("src/code/early-source-location")
+
+ ("src/code/early-constants")
+
;; This comes early because the cross-compilation host's backquote
;; logic can expand into something which can't be executed on the
;; target Lisp (e.g. in CMU CL where it expands into internal
;; 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/parms")
("src/compiler/target/parms")
("src/compiler/generic/early-vm")
("src/compiler/generic/early-objdef")
("src/code/parse-defmacro") ; on host for PARSE-DEFMACRO
("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/early-alieneval") ; for funs and vars needed at build and run time
("src/code/specializable-array")
;; mostly needed by stuff from comcom, but also used by "x86-vm"
("src/code/debug-var-io")
+ ("src/code/early-thread")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 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)
("src/code/sysmacs" :not-host)
("src/code/target-error" :not-host)
("src/compiler/early-backend")
+ ;; "src/code/toplevel.lisp" si the first to need this. It's generated
+ ;; automatically by grovel_headers.c, i.e. it's not in CVS.
+ ("output/stuff-groveled-from-headers" :not-host)
+
;; a comment from classic CMU CL:
;; "These guys can supposedly come in any order, but not really.
;; Some are put at the end so that macros don't run interpreted
("src/code/toplevel" :not-host)
("src/code/cold-error" :not-host)
("src/code/fdefinition" :not-host)
- ;; FIXME: Figure out some way to make the compiler macro for INFO
+ ;; FIXME: Figure out some way to make the compiler macro for INFO
;; available for compilation of "code/fdefinition".
;; In classic CMU CL, code/type was here. I've since split that into
;; This needs DEFINE-ALIEN-ROUTINE from target-alieneval.
("src/code/misc-aliens" :not-host)
+ ("src/compiler/generic/vm-array")
("src/code/array" :not-host)
("src/code/early-float" :not-host)
("src/code/target-sxhash" :not-host) ; needs most-fooative-foo-float constants
("src/code/string" :not-host)
("src/code/mipsstrops" :not-host)
- ;; "src/code/unix.lisp" needs this. It's generated automatically by
- ;; grovel_headers.c, i.e. it's not in CVS.
- ("output/stuff-groveled-from-headers" :not-host)
-
+ ("src/code/early-time" :not-host)
("src/code/unix" :not-host)
-
+ #!+win32 ("src/code/win32" :not-host)
#!+mach ("src/code/mach" :not-host)
+
+ ("src/code/common-os" :not-host)
#!+mach ("src/code/mach-os" :not-host)
#!+sunos ("src/code/sunos-os" :not-host)
#!+hpux ("src/code/hpux-os" :not-host)
#!+irix ("src/code/irix-os" :not-host)
#!+bsd ("src/code/bsd-os" :not-host)
#!+linux ("src/code/linux-os" :not-host)
+ #!+win32 ("src/code/win32-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
#!+sparc ("src/code/sparc-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
+ #!-win32 ("src/code/target-signal" :not-host) ; needs OS-CONTEXT-T from x86-vm
+ #!+win32 ("src/code/target-exception" :not-host)
("src/code/symbol" :not-host)
("src/code/bignum" :not-host)
("src/code/irrat" :not-host)
("src/code/char")
+ ("src/code/huffman")
("src/code/target-char" :not-host)
("src/code/target-misc" :not-host)
("src/code/misc")
("src/code/error-error" :not-host) ; needs WITH-STANDARD-IO-SYNTAX macro
+ ("src/code/deadline" :not-host)
("src/code/serve-event" :not-host)
("src/code/fd-stream" :not-host)
("src/code/sort" :not-host)
("src/code/time" :not-host)
+ ("src/code/timer" :not-host)
("src/code/weak" :not-host)
("src/code/final" :not-host)
;; for e.g. DESCRIPTOR-REG, needed by primtype.lisp
("src/compiler/target/vm")
-
+ ("src/code/xset")
;; for e.g. SPECIFIER-TYPE, needed by primtype.lisp
("src/code/early-type")
;; in class.lisp.
("src/code/condition" :not-host)
- ("src/compiler/generic/vm-array")
("src/compiler/generic/primtype")
;; the implementation of the compiler-affecting part of forms like
;; 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" #+clisp :ignore-failure-p)
+ ("src/code/host-alieneval")
;; can't be done until definition of e.g. DEFINE-ALIEN-TYPE-CLASS in
;; host-alieneval.lisp
- ("src/code/host-c-call" #+clisp :ignore-failure-p)
+ ("src/code/host-c-call")
;; SB!XC:DEFTYPE is needed in order to compile late-type
;; in the host Common Lisp, and in order to run, it needs
;; defines IR1-ATTRIBUTES macro, needed by proclaim.lisp
("src/compiler/knownfun")
+ ("src/compiler/constantp")
;; needs FUN-INFO structure slot setters, defined in knownfun.lisp
("src/compiler/fun-info-funs")
("src/code/class-init")
("src/code/typecheckfuns")
- ;; The DEFSTRUCT machinery needs SB!XC:SUBTYPEP, defined in
+ ;; The DEFSTRUCT machinery needs SB!XC:SUBTYPEP, defined in
;; "code/late-type", and SB!XC:TYPEP, defined in "code/cross-type",
;; and SPECIALIZE-ARRAY-TYPE, defined in "compiler/generic/vm-type",
;; and SB!XC:PROCLAIM, defined in "src/compiler/proclaim"
;; CHECK-FUN-NAME defined in proclaim.lisp.
("src/code/force-delayed-defbangstructs")
+ ;; early-full-eval uses !DEFSTRUCT-WITH-ALTERNATE-METACLASS and
+ ;; DEF!METHOD. It split out from the rest of full-eval because
+ ;; defstruct/metaclass fun makes it unslammable, and to define
+ ;; INTERPRETED-FUNCTION before it is used in compiler/main and in the
+ ;; definition of the COMPILED-FUNCTION type.
+ #!+sb-eval
+ ("src/code/early-full-eval")
+
("src/code/typep" :not-host)
("src/compiler/compiler-error")
+ ("src/code/late-deftypes-for-target")
+
("src/code/type-init")
;; Now that the type system is initialized, fix up UNKNOWN types that
;; have crept in.
("src/compiler/bit-util")
;; This has ASSEMBLY-UNIT-related stuff needed by core.lisp.
- ("src/compiler/early-assem")
+ ("src/compiler/early-assem")
+
+ ;; This has the BARRIER stuff that the threading support needs.
+ ("src/code/barrier")
;; core.lisp contains DEFSTRUCT CORE-OBJECT, and "compiler/main.lisp"
;; does lots of (TYPEP FOO 'CORE-OBJECT), so it's nice to compile this
;; before "compiler/main.lisp" so that those can be coded efficiently
;; (and so that they don't cause lots of annoying compiler warnings
- ;; about undefined types).
+ ;; about undefined types).
("src/compiler/generic/core")
("src/code/thread")
("src/code/load")
#!+linkage-table ("src/code/linkage-table" :not-host)
#!+os-provides-dlopen ("src/code/foreign-load" :not-host)
+ #!+(and os-provides-dlopen (not win32)) ("src/code/unix-foreign-load" :not-host)
+ #!+(and os-provides-dlopen win32) ("src/code/win32-foreign-load" :not-host)
("src/code/foreign")
("src/code/fop") ; needs macros from code/load.lisp
("src/compiler/trace-table") ; needs EMIT-LABEL macro from compiler/assem.lisp
+ ("src/code/debug-info")
;; Compiling this requires fop definitions from code/fop.lisp and
;; trace table definitions from compiler/trace-table.lisp.
("src/compiler/dump")
("src/compiler/main") ; needs DEFSTRUCT FASL-OUTPUT from dump.lisp
+ ("src/compiler/xref")
+ ("src/code/source-location")
("src/compiler/target-main" :not-host)
("src/compiler/ir1tran")
("src/compiler/ir1tran-lambda")
("src/compiler/ir1-translators")
- ("src/compiler/ir1-step")
("src/compiler/ir1util")
("src/compiler/ir1report")
("src/compiler/ir1opt")
("src/compiler/float-tran")
("src/compiler/saptran")
("src/compiler/srctran")
+ ("src/compiler/bitops-derive-type")
("src/compiler/generic/vm-tran")
("src/compiler/locall")
("src/compiler/dfo")
("src/compiler/tn")
("src/compiler/life")
- ("src/code/debug-info")
-
("src/compiler/debug-dump")
("src/compiler/generic/utils")
+ ("src/compiler/fopcompile")
+
("src/assembly/assemfile")
;; Compiling this file requires the macros SB!ASSEM:EMIT-LABEL and
("src/compiler/target/move")
("src/compiler/target/float")
+ #!+sb-simd-pack
+ ("src/compiler/target/simd-pack")
("src/compiler/target/sap")
("src/compiler/target/system")
("src/compiler/target/char")
;; x compilation, for now we blithely ignore them and press on to more
;; x pressing problems. Someday, though, it would be nice to figure out
;; x what the problem is and fix it.
- #!+(or ppc sparc) :ignore-failure-p)
+ #!+(or ppc) :ignore-failure-p)
("src/code/cross-modular" :not-target)
("src/compiler/target/subprim")
("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")
+ ;; normal lisp files, and once by sb-c:assemble-file. We use a
+ ;; different suffix / "file type" for the :assem versions to make
+ ;; sure we don't scribble over anything we shouldn't.
+
+ ("src/assembly/target/assem-rtns")
+ ("src/assembly/target/array")
+ ("src/assembly/target/arith")
+ ("src/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/compiler/copyprop")
("src/compiler/represent")
+ ("src/compiler/ir2opt")
("src/compiler/pack")
("src/compiler/codegen")
("src/compiler/debug")
("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/bignum-random" :not-host) ; needs "code/random" and
+ ; "code/bignum"
("src/code/target-hash-table" :not-host) ; needs "code/hash-table"
("src/code/reader" :not-host) ; needs "code/readtable"
("src/code/target-stream" :not-host) ; needs WHITESPACEP from "code/reader"
("src/code/target-pathname" :not-host) ; needs "code/pathname"
+ ("src/code/unix-pathname" :not-host)
+ ("src/code/win32-pathname" :not-host)
("src/code/filesys" :not-host) ; needs HOST from "code/pathname"
+
("src/code/save" :not-host) ; uses the definition of PATHNAME
; from "code/pathname"
("src/code/sharpm" :not-host) ; uses stuff from "code/reader"
("src/code/alloc" :not-host)
- #!+sb-thread
+ ("src/code/early-step") ; target-thread needs *STEP-OUT*
+
("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" :not-host)
("src/code/octets" :not-host)
+ ("src/code/external-formats/enc-basic" :not-host)
+ ("src/code/external-formats/enc-ebcdic" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-cyr" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-dos" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-iso" :not-host)
#!+sb-unicode
- ("src/code/eucjp" :not-host)
+ ("src/code/external-formats/enc-win" :not-host)
#!+sb-unicode
- ("src/code/koi8-r" :not-host)
+ ("src/code/external-formats/mb-util" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-cn-tbl" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-cn" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-jpn-tbl" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-jpn" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-ucs" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-utf" :not-host)
;; The code here can't be compiled until CONDITION and
;; DEFINE-CONDITION are defined and SB!DEBUG:*STACK-TOP-HINT* is
;; declared special.
("src/code/parse-defmacro-errors")
+ #!+sb-eval
+ ("src/code/full-eval" :not-host) ; uses INFO, ARG-COUNT-ERROR
+
("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)
-
+ ("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
;; 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/macros")
("src/code/loop")
("src/code/late-setf")
+ ("src/code/cas")
+ ("src/code/late-cas")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; other target-code-building stuff which can't be processed until