diff options
-rwxr-xr-x | Bin/kranc | 15 |
1 files changed, 14 insertions, 1 deletions
@@ -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 |