X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make-host-2.sh;h=cbbfabed99aed40b8fabbc1e2ce8efbc065f33a9;hb=6e89948ce34d63b35eea687ca7cde0f2876c3062;hp=5e5c8e28e632225283b5460b26dcf4dd8d37097f;hpb=0cfad881b88e03971a2b3ef0c0c0fc2e5f4f1bc8;p=sbcl.git diff --git a/make-host-2.sh b/make-host-2.sh index 5e5c8e2..cbbfabe 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). @@ -55,15 +55,27 @@ $SBCL_XC_HOST <<-'EOF' || exit 1 (load-or-cload-xcompiler #'host-load-stem) (defun proclaim-target-optimization () (let ((debug (if (position :sb-show *shebang-features*) 2 1))) - (sb-xc:proclaim `(optimize (compilation-speed 1) - (debug ,debug) - (sb!ext:inhibit-warnings 2) - (safety 3) - (space 1) - (speed 2))))) + (sb-xc:proclaim + `(optimize + (compilation-speed 1) + (debug ,debug) + ;; CLISP's pretty-printer is fragile and tends to cause + ;; stack corruption or fail internal assertions, as of + ;; 2003-04-20; we therefore turn off as many notes as + ;; possible. + (sb!ext:inhibit-warnings #-clisp 2 + #+clisp 3) + ;; SAFETY = SPEED (and < 3) should provide 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) + (sb!c:insert-step-conditions 0) + (sb!c::stack-allocate-dynamic-extent 3))))) (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 (;; In order to increase microefficiency of the target Lisp, ;; enable old CMU CL defined-function-types-never-change @@ -71,8 +83,6 @@ $SBCL_XC_HOST <<-'EOF' || exit 1 ;; redefine our functions anyway; and developers can ;; fend for themselves.) #!-sb-fluid (sb!ext:*derive-function-types* t) - ;; FIXME: *TOPLEVEL-LAMBDA-MAX* should go away altogether. - (sb!c::*toplevel-lambda-max* 1) ;; Let the target know that we're the cross-compiler. (*features* (cons :sb-xc *features*)) ;; We need to tweak the readtable.. @@ -87,10 +97,10 @@ $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) @@ -104,7 +114,7 @@ $SBCL_XC_HOST <<-'EOF' || exit 1 ;;; (let ((filename "output/object-filenames-for-genesis.lisp-expr")) (ensure-directories-exist filename :verbose t) - (with-open-file (s filename :direction :output) + (with-open-file (s filename :direction :output :if-exists :supersede) (write *target-object-file-names* :stream s :readably t))) ;; Let's check that the type system was reasonably sane. (It's ;; easy to spend a long time wandering around confused trying @@ -119,7 +129,10 @@ $SBCL_XC_HOST <<-'EOF' || exit 1 (when (position :sb-after-xc-core *shebang-features*) #+cmu (ext:save-lisp "output/after-xc.core" :load-init-file nil) #+sbcl (sb-ext:save-lisp-and-die "output/after-xc.core") - ) + #+openmcl (ccl::save-application "output/after-xc.core") + #+clisp (ext:saveinitmem "output/after-xc.core")) + #+cmu (ext:quit) + #+clisp (ext:quit) EOF # Run GENESIS (again) in order to create cold-sbcl.core. (The first