@@ -210,21 +210,10 @@ urbit
210210# Bash
211211
212212sudo apt-get update
213−sudo apt-get install g++ git libcurl4-gnutls-dev libgmp3-dev libncurses5-dev libsigsegv-dev libssl-dev make openssl pkg-config python python3 python3-pip zlib1g-dev
213+sudo apt-get install g++ git libcurl4-gnutls-dev libgmp3-dev libncurses5-dev libsigsegv-dev libssl-dev make openssl pkg-config python python3 python3-pip zlib1g-dev ninja-build
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