X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make-host-2.sh;h=e266d770161f6af1462e7dc67427bb411ee332c3;hb=148e3820ad314a9b59d0133c1d60eaac4af9118b;hp=303ec017c064d3ab52f074ba14e808a9b6b3f60b;hpb=7c07a6f965c51828d8f452b47e0620d8e6cf2959;p=sbcl.git diff --git a/make-host-2.sh b/make-host-2.sh index 303ec01..e266d77 100644 --- a/make-host-2.sh +++ b/make-host-2.sh @@ -29,7 +29,7 @@ rm -f output/after-xc.core # that we used to compile it: # (1) It reduces the chance that the cross-compilation process # inadvertently comes to depend on some weird compile-time -# side-effect. +# side effect. # (2) It reduces peak memory demand (because definitions wrapped in # (EVAL-WHEN (:COMPILE-TOPLEVEL :EXECUTE) ..) aren't defined # in the fresh image). @@ -41,6 +41,10 @@ rm -f output/after-xc.core # an enormously important disadvantage, either.) echo //running cross-compiler to create target object files $SBCL_XC_HOST <<-'EOF' || exit 1 + + ;;; + ;;; Set up the cross-compiler. + ;;; (setf *print-level* 5 *print-length* 5) (load "src/cold/shared.lisp") (in-package "SB-COLD") @@ -54,24 +58,24 @@ $SBCL_XC_HOST <<-'EOF' || exit 1 (sb-xc:proclaim `(optimize (compilation-speed 1) (debug ,debug) (sb!ext:inhibit-warnings 2) - (safety 3) + ;; SAFETY = SPEED (and < 3) should + ;; reasonable safety, but might skip + ;; some unreasonably expensive stuff + ;; (e.g. %DETECT-STACK-EXHAUSTION + ;; in sbcl-0.7.2). + (safety 2) (space 1) (speed 2))))) (compile 'proclaim-target-optimization) - (defun in-target-cross-compilation-mode (fn) - "Call FN with everything set up appropriately for cross-compiling + (defun in-target-cross-compilation-mode (fun) + "Call FUN with everything set up appropriately for cross-compiling a target file." - (let (;; Life is simpler at genesis/cold-load time if we - ;; needn't worry about byte-compiled code. - (sb!ext:*byte-compile-top-level* nil) - ;; In order to increase microefficiency of the target Lisp, + (let (;; In order to increase microefficiency of the target Lisp, ;; enable old CMU CL defined-function-types-never-change ;; optimizations. (ANSI says users aren't supposed to ;; redefine our functions anyway; and developers can ;; fend for themselves.) #!-sb-fluid (sb!ext:*derive-function-types* t) - ;; FIXME: *TOP-LEVEL-LAMBDA-MAX* should go away altogether. - (sb!c::*top-level-lambda-max* 1) ;; Let the target know that we're the cross-compiler. (*features* (cons :sb-xc *features*)) ;; We need to tweak the readtable.. @@ -86,13 +90,21 @@ $SBCL_XC_HOST <<-'EOF' || exit 1 (proclaim-target-optimization) ;; Specify where target machinery lives. (with-additional-nickname ("SB-XC" "SB!XC") - (funcall fn)))) + (funcall fun)))) (compile 'in-target-cross-compilation-mode) - (setf *target-compile-file* 'sb-xc:compile-file) - (setf *target-assemble-file* 'sb!c:assemble-file) + (setf *target-compile-file* #'sb-xc:compile-file) + (setf *target-assemble-file* #'sb!c:assemble-file) (setf *in-target-compilation-mode-fn* #'in-target-cross-compilation-mode) + + ;;; + ;;; Run the cross-compiler to produce cold fasl files. + ;;; (load "src/cold/compile-cold-sbcl.lisp") + + ;;; + ;;; miscellaneous tidying up and saving results + ;;; (let ((filename "output/object-filenames-for-genesis.lisp-expr")) (ensure-directories-exist filename :verbose t) (with-open-file (s filename :direction :output) @@ -111,6 +123,7 @@ $SBCL_XC_HOST <<-'EOF' || exit 1 #+cmu (ext:save-lisp "output/after-xc.core" :load-init-file nil) #+sbcl (sb-ext:save-lisp-and-die "output/after-xc.core") ) + #+cmu (ext:quit) EOF # Run GENESIS (again) in order to create cold-sbcl.core. (The first