diff options
Diffstat (limited to 'ci/install.sh')
| -rw-r--r-- | ci/install.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/ci/install.sh b/ci/install.sh index 9000772..6f8d815 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,17 +1,20 @@ set -euxo pipefail main() { - if [ $TARGET != x86_64-unknown-linux-gnu ]; then - rustup target add $TARGET + if [ $TARGET = x86_64-unknown-linux-gnu ]; then + ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f ) + rustup target add thumbv6m-none-eabi thumbv7m-none-eabi fi + rustup target add $TARGET + mkdir qemu curl -L https://github.com/japaric/qemu-bin/raw/master/14.04/qemu-system-arm-2.12.0 > qemu/qemu-system-arm chmod +x qemu/qemu-system-arm # install mdbook curl -LSfs https://japaric.github.io/trust/install.sh | \ - sh -s -- --git rust-lang-nursery/mdbook --tag v0.2.1 + sh -s -- --git rust-lang-nursery/mdbook --tag v0.3.1 pip install linkchecker --user } |