.travis.yml

dist: trusty
sudo: false
language: generic

# # safelist
# branches:
#   only:
#   - harvard

addons:
  apt:
    packages:
    - iverilog
    - libftdi-dev
    - verilator
    - gperf

cache:
  directories:
    - ~/toolchain
    - ~/src

before_install:
install:
  # check if there's an update
  - make check_latest
  # build updated tools
  - make ci-deps

before_script:
#   - cd verilog
script:
  - PATH=~/toolchain/bin:$PATH make test

after_success:
after_failure:
  # Upload files for debug.
  #  - echo "Uploading up to 4 failure traces for debug" && for FILE in `ls /home/travis/build/stevehoover/warp-v/formal/checks/*/FAIL | head -n 4`; do curl --upload-file `echo $FILE | sed s/FAIL$//`engine_0/trace.vcd https://transfer.sh/`echo $FILE | sed 's/^.*\/\([^\/]*\)\/FAIL$/\1/'`_trace.vcd && echo; done
after_script:
  # Report a message if we didn't use the latest commit of yosys.
  # - if cmp -s yosys_latest_commit_id.txt env/yosys_commit_id.txt; then echo '******** Using the following cached yosys (https://github.com/cliffordwolf/yosys.git) commit ID which is not the latest. Consider clearing Travis cache. **********' && cat env/yosys_commit_id.txt && echo '**********'; fi


notifications:
  webhooks:
    urls:
      - https://webhooks.gitter.im/e/f2cac961208727867d58
    on_success: change  # options: [always|never|change] default: always
    on_failure: always  # options: [always|never|change] default: always
    on_start: never     # options: [always|never|change] default: always