From fa56b7f58ef3c4824977d253d89bba2bea1593c7 Mon Sep 17 00:00:00 2001
From: Anton Khirnov <anton@khirnov.net>
Date: Thu, 29 Dec 2011 20:29:48 +0100
Subject: runmath: configurable path to kranc via KRANC_PATH env var

---
 m/runmath.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/m/runmath.sh b/m/runmath.sh
index 18196d1..6943950 100755
--- a/m/runmath.sh
+++ b/m/runmath.sh
@@ -11,13 +11,18 @@ if test -z "$script"; then
     exit 2
 fi
 
+if [ -z "${KRANC_PATH}" ]; then
+    echo "Path to Kranc not set. Set the KRANC_PATH env var."
+    exit 3
+fi
+
 error=$(basename $script .m).err
 output=$(basename $script .m).out
 
 rm -f $output
 
 # Run Kranc to regenerate the code
-../../../repos/Kranc/Bin/kranc $script | tee $error
+${KRANC_PATH} $script | tee $error
 [ $PIPESTATUS -eq 0 ] || exit $PIPESTATUS
 
 mv $error $output
-- 
cgit v1.2.3