Temporarily exclude crates that require nightly

This is a prelude to immunant#1220 . In
the future, these crates can be split into their own workspace, in order
to build them with nightly. In the meantime, exclude them, move the
rust-toolchain.toml files into them, remove it from the top level, and
start building the rest of the c2rust workspace with stable Rust
instead. This will unblock further changes, such as migrating c2rust to
current dependencies.

Likewise, make CI scripts provision stable.

Author: joshtriplett

Cargo.lock

@@ -1,9 +1,7 @@
 [workspace]
 resolver = "2"
 members = [
-    "analysis/runtime",
     "c2rust",
-    "c2rust-analyze",
     "c2rust-asm-casts",
     "c2rust-ast-builder",
     "c2rust-ast-exporter",
@@ -12,14 +10,16 @@ members = [
     "c2rust-bitfields-derive",
     "c2rust-build-paths",
     "c2rust-transpile",
-    "dynamic_instrumentation",
-    "pdg",
 ]
 exclude = [
+    "analysis/runtime",
     "analysis/tests",
+    "c2rust-analyze",
     "c2rust-macros",
     "c2rust-refactor",
+    "dynamic_instrumentation",
     "examples",
+    "pdg",
     "tests",
 ]
 

Cargo.toml

@@ -0,0 +1,3 @@
+[toolchain]
+channel = "nightly-2022-08-08"
+components = ["rustfmt", "rustc-dev", "rust-src", "miri", "rust-analyzer"]

c2rust-analyze/rust-toolchain.toml

@@ -0,0 +1,3 @@
+[toolchain]
+channel = "nightly-2022-08-08"
+components = ["rustfmt", "rustc-dev", "rust-src", "miri", "rust-analyzer"]

c2rust-analyze/rust-toolchain.toml

@@ -26,10 +26,7 @@ IMAGES["fedora:34"]="1"
 build_image() {
     BASE_IMAGE=${1}
     IMAGE_TAG=$(echo ${BASE_IMAGE} | tr -s :/ - ) # replace colons and slashes with hyphens
-
-    # pull the rust version out of ../rust-toolchain.toml to keep things synced
-    RUST_TOOLCHAIN_FILE="$SCRIPT_DIR/../rust-toolchain.toml"
-    RUST_VER=$($SCRIPT_DIR/query_toml.py toolchain.channel $RUST_TOOLCHAIN_FILE)
+    RUST_VER=stable
 
     docker pull "$BASE_IMAGE"
     docker build -f $SCRIPT_DIR/../docker/Dockerfile \

c2rust-transpile/rust-toolchain.toml

@@ -27,6 +27,4 @@ python3 -m pip install --user --upgrade pip
 python3 -m pip install --user -r "$SCRIPT_DIR/requirements.txt"
 
 # Rust and dependencies
-RUST_TOOLCHAIN_FILE="$SCRIPT_DIR/../rust-toolchain.toml"
-export RUST_VER=$($SCRIPT_DIR/query_toml.py toolchain.channel $RUST_TOOLCHAIN_FILE)
-"$SCRIPT_DIR/provision_rust.sh"
+RUST_VER=stable "$SCRIPT_DIR/provision_rust.sh"

dynamic_instrumentation/rust-toolchain.toml

@@ -31,7 +31,7 @@ source ~/.cargo/env
 
 # rustfmt is required for c2rust-refactor tests
 # rustc-dev was added make sure it is installed on Azure/macOS-10.15
-rustup component add rustfmt-preview rustc-dev rust-src
+rustup component add rustfmt rustc-dev rust-src
 
 # Make rustup directory world-writable so other test users can install new rust
 # versions