#! /bin/bash
#
# Copyright 2020 Google LLC
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     https://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

# Script for running Shodan cargo outside the build; useful
# for doing things like kcargo tree or kcargo clippy.

if [[ -z "${ROOTDIR}" ]]; then
    echo "Source build/setup.sh first"
    exit 1
fi

# HACK: sel4-config needs a path to the kernel build which could be
#   in debug or release
export SEL4_OUT_DIR=${SEL4_OUT_DIR:-"$ROOTDIR/out/kata/riscv32-unknown-elf/debug/kernel/"}
if [[ ! -d "${SEL4_OUT_DIR}/gen_config" ]]; then
    echo "No kernel build found at ${SEL4_OUT_DIR}; build a kernel first"
    exit 2
fi

CARGO="${CARGO_HOME}/bin/cargo +${KATA_RUST_VERSION}"
CARGO_TARGET="--target riscv32imac-unknown-none-elf"
CARGO_OPTS='-Z unstable-options -Z avoid-dev-deps'

export RUSTFLAGS='-Z tls-model=local-exec'

cmd=${1:-build}
case "$1" in
fmt)
      ${CARGO} $*;;
""|-*)
      # TODO(sleffler): maybe set --target-dir to avoid polluting the src tree
      ${CARGO} build ${CARGO_OPTS} ${CARGO_TARGET};;
*)
      ${CARGO} $* ${CARGO_OPTS} ${CARGO_TARGET};;
esac