From 362edb00de58560f3c9067d737f91dc452a21042 Mon Sep 17 00:00:00 2001
From: Paulo Matos <pmatos@linki.tools>
Date: Wed, 22 Apr 2020 23:22:19 +0200
Subject: [PATCH] Check that file specified by --enable-racket exists (#3118)

---
 racket/src/cfg-racket          | 9 +++++++--
 racket/src/racket/configure.ac | 9 +++++++--
 2 files changed, 14 insertions(+), 4 deletions(-)

diff --git a/racket/src/cfg-racket b/racket/src/cfg-racket
index 8ff7d1e52f..fb875a897a 100755
--- a/racket/src/cfg-racket
+++ b/racket/src/cfg-racket
@@ -3337,9 +3337,14 @@ fi
 
 if test "${enable_racket}" != "" ; then
   if test "${enable_racket}" = "auto" ; then
-     echo "=== Creating and using local Racket executable"
+    echo "=== Creating and using local Racket executable"
   else
-     echo "=== Using Racket executable ${enable_racket}"
+    if test ! -f "${enable_racket}"; then
+      echo "cannot find racket executable in ${enable_racket}"
+      exit 1
+    else
+      echo "=== Using Racket executable ${enable_racket}"
+    fi
   fi
 fi
 
diff --git a/racket/src/racket/configure.ac b/racket/src/racket/configure.ac
index eec4e369f0..6d24ce52dc 100644
--- a/racket/src/racket/configure.ac
+++ b/racket/src/racket/configure.ac
@@ -237,9 +237,14 @@ m4_include(../ac/sdk_show.m4)
 
 if test "${enable_racket}" != "" ; then
   if test "${enable_racket}" = "auto" ; then
-     echo "=== Creating and using local Racket executable"
+    echo "=== Creating and using local Racket executable"
   else
-     echo "=== Using Racket executable ${enable_racket}"
+    if test ! -f "${enable_racket}"; then
+      echo "cannot find racket executable in ${enable_racket}"
+      exit 1
+    else
+      echo "=== Using Racket executable ${enable_racket}"
+    fi	
   fi 
 fi