X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make-target-1.sh;h=8d44f4bab41720c08b0f9e916621db24a11af28d;hb=50f728671defadb8f7b1e8691c984cb0e6aba17c;hp=3a46164e8909686eaf675f641a6ffccd38fddecc;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git

diff --git a/make-target-1.sh b/make-target-1.sh
index 3a46164..8d44f4b 100644
--- a/make-target-1.sh
+++ b/make-target-1.sh
@@ -15,6 +15,25 @@
 
 echo //entering make-target-1.sh
 
+# the GNU dialect of "make" -- easier to find or port it than to
+# try to figure out how to port to the local dialect...
+if [ "$GNUMAKE" != "" ] ; then
+  # The user is evidently trying to tell us something.
+  gnumake="$GNUMAKE"
+elif [ -x `which gmake` ] ; then
+  # "gmake" is the preferred name in *BSD.
+  gnumake=gmake
+else
+  # All the world's a Linux, and all its users weary of cautious
+  # BSDish worries that "make" might not be GNU make; and at this
+  # point we've already spent quite a while in make-host-1.sh, so
+  # they're naturally unamused when we bail out complaining we don't
+  # know where GNU make is. So since it's not really any worse to guess
+  # wrong here than to fail by not trying, just guess that "make" is
+  # GNU make and hope for the best.
+  gnumake=make
+fi
+
 # Build the runtime system and symbol table (.nm) file.
 #
 # (This C build has to come after the first genesis in order to get
@@ -24,6 +43,14 @@ echo //entering make-target-1.sh
 # doesn't matter.)
 echo //building runtime system and symbol table file
 cd src/runtime
-${GNUMAKE:-gmake} clean  || exit 1
-${GNUMAKE:-gmake} depend || exit 1
-${GNUMAKE:-gmake} all    || exit 1
+$gnumake clean  || exit 1
+$gnumake depend || exit 1
+$gnumake all    || exit 1
+cd ../..
+
+# Use a little C program to grab stuff from the C header files and
+# smash it into Lisp source code.
+cd tools-for-build
+$gnumake grovel_headers || exit 1
+cd ..
+tools-for-build/grovel_headers > output/stuff-groveled-from-headers.lisp