Merge pull request #54 from input-output-hk/fix/rust-build

Updated aarch64-unknown-linux-gnu rustflags, updated rust Earthly targets

earthly/rust/Earthfile

@@ -74,9 +74,6 @@ RUST_SETUP:
 
     # Install tools we use commonly with `cargo`.
     RUN cargo install cargo-nextest --locked && \
-        cargo install cargo-chef --locked && \
-        cargo install kani-verifier --locked && \
-        cargo kani setup && \
         cargo install refinery_cli --locked && \
         cargo install cargo-machete --locked
 
@@ -94,10 +91,6 @@ check:
         cargo clippy --version && \
         cargo +nightly clippy --version && \
         cargo nextest --version && \
-        cargo chef --version && \
-        cargo kani --version && \
+        cargo machete --version \
         refinery --version && \
         mold --version
-
-
-

earthly/rust/config.toml

@@ -13,14 +13,14 @@ rustflags = [
 linker = "clang"
 rustflags = [
     "-C", "link-arg=-fuse-ld=/usr/bin/mold",
-    # "-C", "target-feature=+crt-static" - Doesn't work for nextest.
+    # "-C", "target-feature=+crt-static" - proc-macro doesn't work with it. `https://github.com/rust-lang/rust/issues/78210`
 ]
 
 [target.aarch64-unknown-linux-gnu]
 linker = "clang"
 rustflags = [
     "-C", "link-arg=-fuse-ld=/usr/bin/mold",
-    "-C", "target-feature=+crt-static"
+    # "-C", "target-feature=+crt-static" - proc-macro doesn't work with it. `https://github.com/rust-lang/rust/issues/78210`
 ]
 
 [target.aarch64-unknown-linux-musl]