@@ -210,21 +210,10 @@ urbit
212sudo apt-get update
212sudo 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
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