From e8f90ba6a864f03c1995dc44d41bc52f49aac560 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Tue, 6 Nov 2018 17:32:39 +0100
Subject: [PATCH] build: configure.

---
 configure | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/configure b/configure
index 2cef0b8..a8f0c51 100755
--- a/configure
+++ b/configure
@@ -12,8 +12,8 @@ if [ -z "$PREFIX" ]; then
 fi
 
 BASH=$(command -v bash)
-GUILE=$(command -v guile)
-GUILE_TOOLS=$(command -v guile-tools)
+GUILE=${GUILE-$(command -v guile)}
+GUILE_TOOLS=${GUILE_TOOLS-$(command -v guile-tools)}
 guile_site_dir=$PREFIX/share/guile/site/$guile_effective_version
 guile_site_ccache_dir=$PREFIX/lib/guile/$guile_effective_version/site-ccache
 guile_effective_version=$(guile -c '(display (effective-version))')
@@ -23,8 +23,7 @@ if [ -d $GEESH_PREFIX ]; then
     GUILE_LOAD_PATH=$GEESH_PREFIX:$GUILE_LOAD_PATH
     GUILE_LOAD_COMPILED_PATH=$GEESH_PREFIX:$GUILE_LOAD_COMPILED_PATH
     if ! $GUILE -c '(use-modules (geesh parser)) (exit (defined? '"'"'read-sh-all))'; then
-        echo "your geesh is too old"
-        exit 1
+        echo "warning: building without Geesh"
     fi
 fi