2017-07-17 17:39:10 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
set -x
|
|
|
|
|
|
|
|
|
|
# TODO: This isn't ideal.
|
|
|
|
|
cd externals
|
2018-01-01 16:09:45 +01:00
|
|
|
git clone https://github.com/MerryMage/ext-boost
|
2017-07-17 17:39:10 +02:00
|
|
|
cd ..
|
|
|
|
|
|
|
|
|
|
mkdir -p $HOME/.local
|
2018-01-01 16:09:45 +01:00
|
|
|
curl -L https://cmake.org/files/v3.8/cmake-3.8.0-Linux-x86_64.tar.gz \
|
2017-07-17 17:39:10 +02:00
|
|
|
| tar -xz -C $HOME/.local --strip-components=1
|
