# Disable bors on the bors temp branch
branches:
  except:
    - staging.tmp
    - trying.tmp

language: rust
rust:
  - nightly-2020-04-06

os:
  - linux

cache: cargo

# Once Travis supports a version of Ubuntu that inlcudes QEMU 5.1+
#    we can apt install QEMU for RISC-V.
# Until then we need to build it ourselves
before_install:
  #   - sudo apt-get -y install qemu-system-misc
  # addons:
  #   apt:
  #     update: true
  - git clone https://github.com/alistair23/qemu.git -b riscv-tock.next
  - pushd qemu
  - ./configure --target-list=riscv32-softmmu
  - make -j8
  - sudo ln -s $PWD/riscv32-softmmu/qemu-system-riscv32 /usr/bin/
  - popd

install:
  - make setup
  # Build Tock, it needs to be outside of the libtock-rs source
  - pushd ../
  - git clone https://github.com/tock/tock.git
  - cd tock/boards/hifive1
  # Use a known working version of Tock
  - git checkout 152189fe077aea955332ee3c28ccbee519d8b072
  - make
  - popd

script:
  - make test
  # Run a QEMU instance of the HiFive1 app
  - PLATFORM=hifive1 cargo rrv32imac --example libtock_test --features=alloc --features=__internal_disable_gpio_in_integration_test
  - pushd test-runner
  - cargo run
  - popd