pip install ninja
my_env = os.environ.copy()
my_env["PATH"] = "/home/path/to/bin" + my_env["PATH"]
os.environ.update(my_env)
wget https://github.com/ninja-build/ninja/releases/download/v1.10.2/ninja-linux.zip
sudo unzip ninja-linux.zip -d /usr/local/bin/
sudo update-alternatives --install /usr/bin/ninja ninja /usr/local/bin/ninja 1 --force
https://forum.ixbt.com/users.cgi?id=info:%3E1889367