# Common functions to include in multiple scripts

function error() {
    echo "Error: $1"
    exit 1
}

function ensure_cheriot_rtos_root () {
    [ -d sdk ] || error "Please run this script from the root of the cheriot-rtos repository."
}

function find_sdk () {
    if [ -n "$1" ]; then
        SDK="$(readlink -f $1)"
    elif [ -d "/cheriot-tools/bin" ]; then
        SDK=/cheriot-tools
    else
        error "No SDK found, please provide as first argument."
    fi
}