From c54439831daaf8261914213378c0162090c8f47b Mon Sep 17 00:00:00 2001
From: Matthieu Gautier <mgautier@kymeria.fr>
Date: Mon, 19 Mar 2018 20:10:23 +0100
Subject: [PATCH] Use already compiled ninja binary instead of building one.

---
 travis/install_extra_deps.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/travis/install_extra_deps.sh b/travis/install_extra_deps.sh
index 1d7c544..997f11a 100755
--- a/travis/install_extra_deps.sh
+++ b/travis/install_extra_deps.sh
@@ -10,10 +10,8 @@ pip3 install --user --upgrade pip wheel
 pip3 install --user pillow meson==0.43.0
 
 # ninja
-git clone git://github.com/ninja-build/ninja.git
-cd ninja
-git checkout release
-./configure.py --bootstrap
+wget https://github.com/ninja-build/ninja/releases/download/v1.8.2/ninja-linux.zip
+unzip ninja-linux.zip ninja
 sudo cp ninja /bin
 
 cd $orig_dir