test: Install setuptools in coverage job

flintlib · Feb 8, 2025 · 6cad4d9 · 6cad4d9
1 parent c1b2b2d
commit 6cad4d9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bin/coverage_setuptools.sh b/bin/coverage_setuptools.sh
@@ -10,6 +10,7 @@ RC="--rcfile=.coveragerc.setuptools"
 # Needed for Python 3.13 only
 pip uninstall -y cython
 pip install git+https://github.com/cython/cython.git@fdbca99
+pip install setuptools
 
 touch src/*/*/*.pyx
 PYTHON_FLINT_COVERAGE=1 python setup.py build_ext --inplace