From 80274132087da748b39fdf07720a719982139124 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
Date: Tue, 7 Nov 2023 11:19:42 -0500
Subject: [PATCH] Fix setup for `aarch64-unknown-linux-gnu` platform (#2864)

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 #2863
---
 src/setup.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/setup.rs b/src/setup.rs
index 6c24bf00cce0..747d3435108a 100644
--- 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),
     }
 }