@@ -214,17 +214,6 @@ sudo apt-get install g++ git libcurl4-gnutls-dev libgmp3-dev libncurses5-dev lib
214sudo -H pip3 install --upgrade pip
214sudo -H pip3 install --upgrade pip
215sudo -H pip3 install meson==0.29
215sudo -H pip3 install meson==0.29
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
221−git clone git://github.com/ninja-build/ninja.git
223− git checkout release
224− ./configure.py --bootstrap
225− sudo cp ./ninja /usr/local/bin
228git clone https://github.com/urbit/urbit
217git clone https://github.com/urbit/urbit
230./scripts/bootstrap
219./scripts/bootstrap