Fix setup for aarch64-unknown-linux-gnu platform

model-checking · Nov 7, 2023 · f387cc4 · f387cc4
1 parent 985021f
commit f387cc4
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/setup.rs b/src/setup.rs
@@ -194,7 +194,10 @@ fn download_url() -> String {
 fn fail_if_unsupported_target() -> Result<()> {
  // This is basically going to be reduced to a compile-time constant
  match TARGET {
- "x86_64-unknown-linux-gnu" | "x86_64-apple-darwin" | "aarch64-apple-darwin" => Ok(()),
+ "x86_64-unknown-linux-gnu"
+ | "x86_64-apple-darwin"
+ | "aarch64-unknown-linux-gnu"
+ | "aarch64-apple-darwin" => Ok(()),
  _ => bail!("Kani does not support this platform (Rust target {})", TARGET),
  }
 }