blargh

Z3Prover · Sep 3, 2024 · d90b626 · d90b626
1 parent c60452b
commit d90b626
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/api/python/setup.py b/src/api/python/setup.py
@@ -257,8 +257,8 @@ def finalize_options(self):
                 # windows arm64 is not supported by pypi yet
                 ("win", "x64"): "win_amd64",
                 ("win", "x86"): "win32",
-                ("darwin", "x86_64"): f"macosx_{BUILD_OS_VERSION}_x86_64",
-                ("darwin", "x86_64"): f"macosx_{BUILD_OS_VERSION}_arm64",
+                ("osx", "x86_64"): f"macosx_{BUILD_OS_VERSION}_x86_64",
+                ("osx", "x86_64"): f"macosx_{BUILD_OS_VERSION}_arm64",
             }  # type: dict[tuple[str, str], str]
             self.plat_name = TAGS[(BUILD_PLATFORM, BUILD_ARCH)]
         return super().finalize_options()