# 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 Disco or newer 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
  - wget https://download.qemu.org/qemu-4.2.0.tar.xz
  - tar xJf qemu-4.2.0.tar.xz
  - pushd qemu-4.2.0
  - ./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 c94059d3e25dc635e682facff4894ef43b9aca0e
  - 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