From 1de465c474d25273a60b6afe1121b6706e5212da Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 4 Jul 2019 13:28:53 -0600
Subject: [PATCH] add --kernelobj configure option

Although `--kernelobj` is the default, allow it to be specified
explicitly, in case it makes sense eventually to change the default.

original commit: 46813ea67dd115d87924422373ea684b75e2772c
---
 configure | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/configure b/configure
index 8bb12266fd..e3c64f79cd 100755
--- a/configure
+++ b/configure
@@ -247,6 +247,12 @@ while [ $# != 0 ] ; do
           installlz4target=installlz4
       fi
       ;;
+    --kernelobj)
+      Kernel=KernelO
+      installkerneltarget=installkernelobj
+      installzlibtarget=
+      installlz4target=
+      ;;
     CC=*)
       CC=`echo $1 | sed -e 's/^CC=//'`
       ;;
@@ -353,6 +359,7 @@ if [ "$help" = "yes" ]; then
   echo "  --disable-x11                     disable X11 support"
   echo "  --disable-curses                  disable [n]curses support"
   echo "  --libkernel                       build libkernel.a instead of kernel.o"
+  echo "  --kernelobj                       build kernel.o (the default)"
   echo "  --installprefix=<pathname>        final installation root ($installprefix)"
   echo "  --installbin=<pathname>           bin directory ($installbin)"
   echo "  --installlib=<pathname>           lib directory ($installlib)"