;;; 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
;; 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-boole" :not-target)
("src/code/cross-float" :not-target)
("src/code/cross-io" :not-target)
("src/code/cross-sap" :not-target)
+ ("src/code/cross-thread" :not-target)
("src/code/cross-make-load-form" :not-target)
+ ("src/code/cross-condition" :not-target)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; stuff needed early both in cross-compilation host and in target Lisp
("src/code/uncross")
+ ("src/code/primordial-type")
("src/code/early-defbangmethod")
("src/code/defbangtype")
("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/parms")
+ ("src/compiler/target/parms")
("src/compiler/generic/early-vm")
("src/compiler/generic/early-objdef")
- ("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
+ ("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/cold-init-helper-macros")
-
+ ("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/target-extensions" :not-host)
+ ;; Needed before the first use of WITH-SINGLE-PACKAGE-LOCKED-ERROR.
+ ("src/code/early-package" :not-host)
+
("src/code/early-defstructs" :not-host) ; gotta-be-first DEFSTRUCTs
("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/target-sxhash" :not-host)
+ ("src/code/early-float" :not-host)
+ ("src/code/target-sxhash" :not-host) ; needs most-fooative-foo-float constants
("src/code/list" :not-host)
("src/code/seq" :not-host) ; "code/seq" should come after "code/list".
("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)
#!+hppa ("src/code/hppa-vm" :not-host)
#!+x86 ("src/code/x86-vm" :not-host)
+ #!+x86-64("src/code/x86-64-vm" :not-host)
#!+ppc ("src/code/ppc-vm" :not-host)
#!+alpha ("src/code/alpha-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
+ #!-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/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/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)
- #!+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.)
;; 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")
;; 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/cross-type" :not-target)
("src/compiler/generic/vm-type")
("src/compiler/proclaim")
+
+ ("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/fixup-type")
;; These define target types needed by fndb.lisp.
("src/code/package")
("src/code/hash-table")
("src/code/readtable")
("src/code/pathname")
+ ("src/code/host-pprint")
("src/compiler/lexenv")
;; KLUDGE: Much stuff above here is the type system and/or the INFO
("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/ctype")
("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/ir1util")
("src/compiler/ir1report")
("src/compiler/ir1opt")
+ ("src/compiler/loop")
("src/compiler/ir1final")
("src/compiler/array-tran")
("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/checkgen")
("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")
("src/compiler/target/memory")
("src/compiler/target/static-fn")
("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")
+ ;; KLUDGE: for ppc and sparc this appears to be necessary, as it
+ ;; used to be for array VOPs for X86 until ca. 0.8.5.24 when CSR's
+ ;; patch for that architecture was finally committed
+ ;;
+ ;; old (0.8.5.23) comment on the array-VOP hack for X86:
+ ;; x Compiling this file for X86 raises alarming warnings of
+ ;; x the form
+ ;; x Argument FOO to VOP CHECK-BOUND has SC restriction
+ ;; x DESCRIPTOR-REG which is not allowed by the operand type:
+ ;; x (:OR POSITIVE-FIXNUM)
+ ;; x This seems not to be something that I broke, but rather a "feature"
+ ;; x inherited from classic CMU CL. (Debian cmucl_2.4.8.deb compiling
+ ;; x Debian cmucl_2.4.8.tar.gz raises the same warning). Thus, even though
+ ;; x these warnings are severe enough that they would ordinarily abort
+ ;; 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) :ignore-failure-p)
+ ("src/code/cross-modular" :not-target)
+
+ ("src/compiler/target/type-vops")
+ ("src/compiler/target/subprim")
("src/compiler/target/debug")
;; src/compiler/sparc/c-call contains a deftransform for
;; %ALIEN-FUNCALL -- CSR
("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
- ;; the form
- ;; Argument FOO to VOP CHECK-BOUND has SC restriction
- ;; DESCRIPTOR-REG which is not allowed by the operand type:
- ;; (:OR POSITIVE-FIXNUM)
- ;; This seems not to be something that I broke, but rather a "feature"
- ;; inherited from classic CMU CL. (Debian cmucl_2.4.8.deb compiling
- ;; Debian cmucl_2.4.8.tar.gz raises the same warning). Thus, even though
- ;; 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. (See the comments in
- ;; src/compiler/x86/array for a candidate patch.) -- WHN 19990323
- :ignore-failure-p)
+ ("src/compiler/target/array")
+ ("src/compiler/generic/array")
("src/compiler/target/pred")
- ("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")
+ ;; 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/generic/vm-tran")
+ ("src/compiler/ir2opt")
("src/compiler/pack")
+ ("src/compiler/pack-iterative")
("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"
+ #!-win32
+ ("src/code/unix-pathname" :not-host)
+ #!+win32
+ ("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)
+
+ ("src/code/early-step") ; target-thread needs *STEP-OUT*
+
+ ("src/code/target-thread" :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
("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/external-formats/enc-win" :not-host)
+ #!+sb-unicode
+ ("src/code/external-formats/enc-mac" :not-host)
+ #!+sb-unicode
+ ("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
;; 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/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
;; 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"))
projects / sbcl.git / blobdiff