Fail fast if riscv toolchain is missing

Author: lrettig

build.sh

@@ -4,6 +4,10 @@ set -euo pipefail
 
 source config.sh
 
+# Fail fast if these tools aren't properly installed and in the path
+need_cmd riscv64-unknown-elf-gcc
+need_cmd riscv64-unknown-elf-g++
+
 # Rust requires a custom target file to exist for our custom target as part of the bootstrap build,
 # but it doesn't actually look at the contents.
 touch /tmp/riscv32em-athena-zkvm-elf.json

config.sh

@@ -17,3 +17,26 @@ export ARTIFACT_NAME=athena-rust-toolchain-$TOOLCHAIN_HOST_TRIPLET
 if [ "$param1" == "-artifact_name" ]; then
     echo "ARTIFACT_NAME=$ARTIFACT_NAME" >> $GITHUB_ENV
 fi
+
+need_cmd() {
+  if ! check_cmd "$1"; then
+    err "need '$1' (command not found)"
+  fi
+}
+
+check_cmd() {
+  command -v "$1" &>/dev/null
+}
+
+say() {
+  printf "rustc-rv32e-toolchain: %s\n" "$1"
+}
+
+warn() {
+  say "warning: ${1}" >&2
+}
+
+err() {
+  say "$1" >&2
+  exit 1
+}