rustup-toolchain

   1 #!/bin/bash
   2 set -e
   3 # Manages a rustup toolchain called "miri".
   4 #
   5 # All commands set "miri" as the override toolchain for the current directory,
   6 # and make the `rust-version` file match that toolchain.
   7 #
   8 # USAGE:
   9 #
  10 # ./rustup-toolchain: Update "miri" toolchain to match `rust-version` (the known-good version for this commit).
  11 #
  12 # ./rustup-toolchain HEAD: Update "miri" toolchain and `rust-version` file to latest rustc HEAD.
  13 #
  14 # ./rustup-toolchain $COMMIT: Update "miri" toolchain and `rust-version` file to match that commit.
  15
  16 # Make sure rustup-toolchain-install-master is installed.
  17 if ! which rustup-toolchain-install-master >/dev/null; then
  18     echo "Please install rustup-toolchain-install-master by running 'cargo install rustup-toolchain-install-master'"
  19     exit 1
  20 fi
  21
  22 # Determine new commit.
  23 if [[ "$1" == "" ]]; then
  24     NEW_COMMIT=$(cat rust-version)
  25 elif [[ "$1" == "HEAD" ]]; then
  26     NEW_COMMIT=$(git ls-remote https://github.com/rust-lang/rust/ HEAD | cut -f 1)
  27 else
  28     NEW_COMMIT="$1"
  29 fi
  30 echo "$NEW_COMMIT" > rust-version
  31
  32 # Check if we already are at that commit.
  33 CUR_COMMIT=$(rustc +miri --version -v 2>/dev/null | egrep "^commit-hash: " | cut -d " " -f 2)
  34 if [[ "$CUR_COMMIT" == "$NEW_COMMIT" ]]; then
  35     echo "miri toolchain is already at commit $CUR_COMMIT."
  36     rustup override set miri
  37     exit 0
  38 fi
  39
  40 # Install and setup new toolchain.
  41 rustup toolchain uninstall miri
  42 rustup-toolchain-install-master -n miri -c rust-src -c rustc-dev -c llvm-tools -- "$NEW_COMMIT"
  43 rustup override set miri
  44
  45 # Cleanup.
  46 cargo clean