diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-08 11:01:47 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-10-25 16:08:31 +0200 |
| commit | bc9a0dc1b347d5d2ff361d0d501e3836f30affe0 (patch) | |
| tree | 5c1a11377c651c606ad7ffaadcf79282117fcf73 /src/ci/scripts | |
| parent | e55059a5e6ef0bec7fdf76ce6bd80b2034815cb3 (diff) | |
| download | rust-bc9a0dc1b347d5d2ff361d0d501e3836f30affe0.tar.gz rust-bc9a0dc1b347d5d2ff361d0d501e3836f30affe0.zip | |
ci: extract installing ninja into a script
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/install-ninja.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/ci/scripts/install-ninja.sh b/src/ci/scripts/install-ninja.sh new file mode 100755 index 00000000000..c3d0217706a --- /dev/null +++ b/src/ci/scripts/install-ninja.sh @@ -0,0 +1,16 @@ +#!/bin/bash +# Note that this is originally from the github releases patch of Ninja + +set -euo pipefail +IFS=$'\n\t' + +source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" + +if isWindows; then + mkdir ninja + curl -o ninja.zip https://rust-lang-ci-mirrors.s3-us-west-1.amazonaws.com/rustc/2017-03-15-ninja-win.zip + 7z x -oninja ninja.zip + rm ninja.zip + ciCommandSetEnv "RUST_CONFIGURE_ARGS" "${RUST_CONFIGURE_ARGS} --enable-ninja" + ciCommandAddPath "$(pwd)/ninja" +fi |