#!/bin/bash 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 "v") export KRANCVERBOSE=yes ;; esac done shift $(expr $OPTIND - 1) if [ $# -eq 0 ] then echo "Usage: $0 [-v]