Fix setup for aarch64-unknown-linux-gnu platform (rust-lang#2864)

adpaco-aws · web-flow · commit 80274132087d · 2023-11-07T11:19:42.000-05:00
Fixes setup for the `aarch64-unknown-linux-gnu` platform by adding its target triple to the list of supported targets in the setup program. Resolves rust-lang#2863
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),
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -194,7 +194,10 @@ fn download_url() -> String {`
`194`	`194`	`fn fail_if_unsupported_target() -> Result<()> {`
`195`	`195`	`// This is basically going to be reduced to a compile-time constant`
`196`	`196`	`match TARGET {`
`197`		`- "x86_64-unknown-linux-gnu" \| "x86_64-apple-darwin" \| "aarch64-apple-darwin" => Ok(()),`
	`197`	`+ "x86_64-unknown-linux-gnu"`
	`198`	`+ \| "x86_64-apple-darwin"`
	`199`	`+ \| "aarch64-unknown-linux-gnu"`
	`200`	`+ \| "aarch64-apple-darwin" => Ok(()),`
`198`	`201`	`_ => bail!("Kani does not support this platform (Rust target {})", TARGET),`
`199`	`202`	`}`
`200`	`203`	`}`