.travis.yml

sudo: required
dist: trusty
os: linux
language: python
cache: pip
stage:
  - docs
  - core

jobs:
  include:
    - stage: docs
      env: TESTING=docs
      python: 3.6
      before_install:
        - sudo apt-get update -qq
      install:
        - sudo apt-get install cscope
      before_script:
        - cd docs
        - pip install sphinx
      script:
        - make check
        - make html
    - &core-stage
      stage: core
      python: 3.5
      env: TESTING=Piko/RT
      before_install:
        - sudo add-apt-repository -y ppa:team-gcc-arm-embedded/ppa
        - sudo apt-get update -qq
      install:
        - sudo apt install build-essential
        - sudo apt-get install -y gcc-arm-embedded
        # QEMU deps
        - sudo apt install libxenstore3.0
        - sudo apt install libxen-dev
        - sudo apt install genromfs
        - wget https://github.com/PikoRT/tools/raw/master/bin/x86_64-linux/qemu-system-arm
        - chmod 777 qemu-system-arm
        - export PATH=$PWD:$PATH
      before_script:
        - arm-none-eabi-gcc --version
        - python --version
      script:
        - make PLAT=stm32p103
        - make PLAT=stm32p103 check
    - <<: *core-stage
      python: 3.6