From e7ff6009a04fb432c1389bd931904be6962af22f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 5 Apr 2025 12:07:46 -0700
Subject: [PATCH] #7605

add case for linux/risc64
---
 src/api/python/setup.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/python/setup.py b/src/api/python/setup.py
index 8cd5afdaa..8fd8ecb0b 100644
--- a/src/api/python/setup.py
+++ b/src/api/python/setup.py
@@ -303,6 +303,7 @@ class bdist_wheel(_bdist_wheel):
                 # linux tags cannot be deployed - they must be auditwheel'd to pick the right compatibility tag based on imported libc symbol versions
                 ("linux", "x86_64"): "linux_x86_64",
                 ("linux", "aarch64"): "linux_aarch64",
+                ('linux', "riscv64"): "linux_riscv64",
                 # windows arm64 is not supported by pypi yet
                 ("win", "x64"): "win_amd64",
                 ("win", "x86"): "win32",