slam.sh

   1 #!/bin/sh
   2 set -e
   3
   4 # a quick and dirty way of partially rebuilding the system after a
   5 # change
   6 #
   7 # ("smooth duct tape: the mark of a true craftsman":-)
   8
   9 # This software is part of the SBCL system. See the README file for
  10 # more information.
  11 #
  12 # This software is derived from the CMU CL system, which was
  13 # written at Carnegie Mellon University and released into the
  14 # public domain. The software is in the public domain and is
  15 # provided with absolutely no warranty. See the COPYING and CREDITS
  16 # files for more information.
  17
  18 #######################################################################
  19 # You probably don't want to be using this script unless you
  20 # understand the ordinary system build process pretty well already.
  21 #
  22 # This script is not a reliable way to build the system, but it is
  23 # fast.:-| It can be useful if you are trying to debug a low-level
  24 # problem, e.g. a problem in src/runtime/*.c or in
  25 # src/code/cold-init.lisp. Soon, you'll find yourself wanting to
  26 # test a small change in a file compiled into cold-sbcl.core without
  27 # redoing the entire rebuild-the-system-from-scratch process. You may be
  28 # able to avoid a complete make-host-2.sh by just letting this script
  29 # rebuild only files that have changed. On the other hand, it might
  30 # not work...
  31 #
  32 # It's not anywhere rigorously correct for all small changes, much
  33 # less for all large changes. It can't be, unless we either solve the
  34 # halting problem or totally rearchitect the SBCL sources to support
  35 # incremental recompilation. Beyond that fundamental limitation, even
  36 # an easy special case might not work unless someone's paid attention
  37 # to making it work. Here are some highlights to help you understand
  38 # when it will work:
  39 #  * It will rebuild a .fasl file when the corresponding
  40 #    .lisp file is out of date.
  41 #  * It rebuilds the src/runtime/ files completely, since that
  42 #    doesn't take very long anyway.
  43 #  * Apparently it will not rebuild assembly-code-in-.lisp files
  44 #    even when the sources are out of date. This is probably not a
  45 #    fundamental limitation, it's just that I (WHN 2002-01-16)
  46 #    have made vanishingly nontrivial changes to assembler files,
  47 #    so I'm not motivated. If you're motivated, please send a patch.
  48 #  * It will not notice when you change something in one .lisp file
  49 #    which should affect the compilation of code in another .lisp
  50 #    file. E.g.
  51 #    ** changing the definition of a macro used in another file (or a
  52 #       function or a variable which is used at macroexpansion time)
  53 #    ** changing the value of a DEFCONSTANT used in another file
  54 #    ** changing the layout of a structure used in another file
  55 #    ** changing the PROCLAIMed type of something used in another
  56 #       file
  57 #    Mostly it looks as though such limitations aren't fixable without
  58 #    the aforementioned rearchitecting or solving the halting problem.
  59 #
  60 # To make this work, you need an after-xc.core file. To cause the
  61 # system to generate an after-xc.core file, you need
  62 # :SB-AFTER-XC-CORE in target features during an ordinary build.
  63 # See the comments in base-target-features.lisp-expr for the
  64 # recommended way to make that happen.
  65 #######################################################################
  66
  67 HOST_TYPE="${1:-sbcl}"
  68
  69 echo //HOST_TYPE=\"$HOST_TYPE\"
  70
  71 # We don't try to be general about this in this script the way we are
  72 # in make.sh, since the idiosyncrasies of SBCL command line argument
  73 # order dependence, the meaninglessness of duplicate --core arguments,
  74 # and the SBCL-vs-CMUCL dependence of --core/-core argument syntax
  75 # make it too messy to try deal with arbitrary SBCL_XC_HOST variants.
  76 # So you have no choice:
  77 case "$HOST_TYPE" in
  78     cmucl) LISP="lisp -batch"
  79            INIT="-noinit"
  80            CORE="-core"
  81            ;;
  82     sbcl)  LISP="sbcl"
  83            INIT="--sysinit /dev/null --userinit /dev/null"
  84            CORE="--core"
  85            ;;
  86     clisp) LISP="clisp"
  87            INIT="-norc"
  88            CORE="-M"
  89            ;;
  90     openmcl)
  91            LISP="openmcl"
  92            INIT="-b"
  93            CORE="-I"
  94            ;;
  95     *)     echo unknown host type: "$HOST_TYPE"
  96            echo should be one of "sbcl", "cmucl", or "clisp"
  97            exit 1
  98 esac
  99
 100 SBCL_XC_HOST="$LISP $INIT"
 101 export SBCL_XC_HOST
 102
 103 # (We don't do make-host-1.sh at all. Hopefully nothing relevant has
 104 # changed.)
 105
 106 . ./find-gnumake.sh
 107 find_gnumake
 108
 109 sh make-target-1.sh
 110
 111 # Instead of doing the full make-host-2.sh, we (1) use after-xc.core
 112 # to rebuild only obviously-out-of-date Lisp files, then (2) run
 113 # GENESIS.
 114 $LISP $CORE output/after-xc.core $INIT <<'EOF'
 115   (load "src/cold/slam.lisp")
 116 EOF
 117 # (This ^ used to be
 118 #   for f in $*; do echo "(target-compile-stem \"$f\")"; done \
 119 #     | sbcl --core output/after-xc.core || exit 1
 120 # and perhaps we do something like this again, allowing explicit
 121 # rebuild-this-stem requests on the command line to supplement
 122 # the rebuild-obviously-outdated-stems logic above.)
 123 #
 124 sh make-genesis-2.sh
 125
 126 sh make-target-2.sh
 127
 128 echo //ordinary termination of slam.sh
 129 date