python: fix version of setuptools

sel4-deps have started to fail installation on GitHub CI, although they seem to work fine on clean Ubuntu 22.04. See the saga on pypa/setuptools#4483 Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 27, 2025 · 6a9d2c3 · 6a9d2c3
1 parent 739d8fb
commit 6a9d2c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/install-python.sh b/scripts/install-python.sh
@@ -11,4 +11,4 @@ sudo apt-get install -qq python3.10 > /dev/null
 sudo update-alternatives --install /usr/bin/python python /usr/bin/python3.10 1
 sudo update-alternatives --install /usr/bin/python3 python3 /usr/bin/python3.10 1
 python3 --version
-pip3 install -q --upgrade pip setuptools launchpadlib wheel
+pip3 install -q --upgrade pip setuptools==70.0.0 launchpadlib wheel