From 8091b370c7b97793347dcd87f6b8764a54e3ca42 Mon Sep 17 00:00:00 2001 From: Bilel Ghorbel Date: Thu, 26 Mar 2026 13:57:17 +0100 Subject: [PATCH] third_party/setup.py: fix wabt platform detection on Linux wabt changed its release asset naming convention in 1.0.39. On Linux, the old name 'ubuntu' no longer matches the new names 'linux-x64' and 'linux-arm64', causing setup.py to silently fail with an empty download URL. --- third_party/setup.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/third_party/setup.py b/third_party/setup.py index c93487c7a4a..7f9c48f724a 100755 --- a/third_party/setup.py +++ b/third_party/setup.py @@ -174,13 +174,13 @@ def v8_main(): def wabt_determine_platform(): if sys.platform.startswith('linux'): - return 'ubuntu' + return 'linux' if sys.platform == 'darwin': return 'macos' if sys.platform == 'win32': return 'windows' - print('Cannot determine platform, assuming \'ubuntu\'') - return 'ubuntu' + print('Cannot determine platform, assuming \'linux\'') + return 'linux' def wabt_determine_release(platform):