@@ -214,17 +214,6 @@ sudo apt-get install g++ git libcurl4-gnutls-dev libgmp3-dev libncurses5-dev lib
214214sudo -H pip3 install --upgrade pip
215215sudo -H pip3 install meson==0.29
216216
217−# we need ninja 1.5.1
218−# 'apt-get install ninja-build' gives us 0.1.3
219−# 'apt-get install ninja-build' gives us 1.3.4
220−#
221−git clone git://github.com/ninja-build/ninja.git
222−pushd ninja
223− git checkout release
224− ./configure.py --bootstrap
225− sudo cp ./ninja /usr/local/bin
226−popd
227−
228217git clone https://github.com/urbit/urbit
229218cd urbit
230219./scripts/bootstrap