From f62f6bfa6c4427f47bf819d6dcf575c23d075114 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Thu, 15 Feb 2018 14:28:40 -0500
Subject: [PATCH 2/5] Add `LIB_REL_BIN` customizable variable to
 `./bin/mlton-script`

---
 bin/mlton-script | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bin/mlton-script b/bin/mlton-script
index 146b9efba..c51febaed 100644
--- a/bin/mlton-script
+++ b/bin/mlton-script
@@ -3,6 +3,8 @@
 # This script calls MLton.
 
 
+LIB_REL_BIN="../lib/mlton"
+
 EXE=
 
 CC="gcc"
@@ -16,7 +18,7 @@ GMP_LIB_DIR=
 set -e
 
 dir=`dirname "$0"`
-lib=`cd "$dir/../lib/mlton" && pwd`
+lib=`cd "$dir/$LIB_REL_BIN" && pwd`
 
 declare -a rargs
 case "$1" in
-- 
2.14.3