Merge branch opencl into master

1 files changed, 14 insertions, 1 deletions

diff --git a/Bin/kranc b/Bin/kranc
index 9f16432..e82e75a 100755
--- a/Bin/kranc
+++ b/Bin/kranc
@@ -1,9 +1,22 @@
 #!/bin/bash
 
-# Assume that this script is called from the Kranc/Bin directory
+set -e
+
+# Assume that this script is called from the Kranc/Bin directory.
+# This will not work if someone creates a symlink to the kranc script
+# somewhere else
 export KRANCDIR=$(dirname $0)/..
+
+if [ ! -r "$KRANCDIR/Tools/CodeGen" ]; then
+    echo "Cannot find Kranc (the kranc script must be run directly from the Kranc/Bin directory - symbolic links are not currently allowed)"
+    exit 1
+fi
+
 export KRANCVERBOSE=no
 
+echo "Using Kranc installation at $KRANCDIR"
+# It would be good to find a portable way to canonicalise KRANCDIR.
+
 while getopts "v" flag
 do
   case $flag in