X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make-host-2.sh;h=580af2f55182f416d0107f596e210b533c3abd45;hb=ef3fa440db906a78b377d694313b2ef9aedda33a;hp=1f1a1b9b2190a6f940a0377ca0e6aedab4081b9c;hpb=dec94b039e8ec90baf21463df839a6181de606f6;p=sbcl.git

diff --git a/make-host-2.sh b/make-host-2.sh
index 1f1a1b9..580af2f 100644
--- a/make-host-2.sh
+++ b/make-host-2.sh
@@ -15,6 +15,9 @@
 
 echo //entering make-host-2.sh
 
+LANG=C
+export LANG
+
 # In some cases, a debugging build of the system will creates a core
 # file output/after-xc.core in the next step. In cases where it
 # doesn't, it's confusing and basically useless to have any old copies
@@ -29,7 +32,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 +44,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")
@@ -51,15 +58,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
@@ -67,8 +86,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: *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..
@@ -83,16 +100,24 @@ $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)
+	  (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
@@ -107,7 +132,11 @@ $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)
+        #+abcl (ext:quit)
 	EOF
 
 # Run GENESIS (again) in order to create cold-sbcl.core. (The first