tools/provision: Bump required pip version from >=9.0 to >=10.
pip 10 was the first release to support PEP 518. Using pip<10
can lead to errors when installing dependencies.
Thanks to for suggesting this fix!
@@ -97,7 +97,7 @@ the Python version this command is executed with."""
def install_dependencies(requirements_filename):
pip_path = os.path.join(venv_dir, venv_exec_dir, "pip")
# We first install a modern version of pip that supports --prefix
- subprocess.call([pip_path, "install", "pip>=9.0"])
+ subprocess.call([pip_path, "install", "pip>=10"])
if subprocess.call(
[
pip_path,
