src/ci/scripts/install-ninja.sh

   1 #!/bin/bash
   2 # Note that this is originally from the github releases patch of Ninja
   3
   4 set -euo pipefail
   5 IFS=$'\n\t'
   6
   7 source "$(cd "$(dirname "$0")" && pwd)/../shared.sh"
   8
   9 if isWindows; then
  10     mkdir ninja
  11     curl -o ninja.zip "${MIRRORS_BASE}/2017-03-15-ninja-win.zip"
  12     7z x -oninja ninja.zip
  13     rm ninja.zip
  14     ciCommandSetEnv "RUST_CONFIGURE_ARGS" "${RUST_CONFIGURE_ARGS} --enable-ninja"
  15     ciCommandAddPath "$(pwd)/ninja"
  16 fi