From 3903f42cf6c415f18ba4a7b0f51ee697f2ab1f71 Mon Sep 17 00:00:00 2001
From: topjohnwu <topjohnwu@gmail.com>
Date: Mon, 8 Sep 2025 02:23:49 -0700
Subject: [PATCH] Support specify ABI for clippy

---
 build.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/build.py b/build.py
index 152110038..20c8219c6 100755
--- a/build.py
+++ b/build.py
@@ -529,7 +529,10 @@ def gen_ide():
 def clippy_cli():
     ensure_toolchain()
     args.force_out = True
-    set_archs(default_archs)
+    if args.abi:
+        set_archs({args.abi})
+    else:
+        set_archs(default_archs)
 
     os.chdir(Path("native", "src"))
     cmds = ["clippy", "--no-deps", "--target"]
@@ -836,6 +839,7 @@ def parse_args():
     cargo_parser.add_argument("commands", nargs=argparse.REMAINDER)
 
     clippy_parser = subparsers.add_parser("clippy", help="run clippy on Rust sources")
+    clippy_parser.add_argument("--abi", help="target ABI to generate")
 
     rustup_parser = subparsers.add_parser("rustup", help="setup rustup wrapper")
     rustup_parser.add_argument(