.travis.yml

   1 dist: bionic
   2 language: python
   3 python:
   4   - "3.6"
   5   - "3.7"
   6   - "3.8"
   7   - "pypy3"
   8 cache:
   9   directories:
  10     - "$HOME/.local"
  11     - "$HOME/.cache/wasmtime"
  12 before_install:
  13   - if ! yices -V; then (git clone https://github.com/SRI-CSL/yices2.git && cd yices2 && autoconf && ./configure --prefix=$HOME/.local && make && make install); fi
  14   - pip install coverage codecov pyvcd Jinja2 yowasp-yosys nmigen-yosys
  15   - export NMIGEN_USE_YOSYS=builtin YOSYS=yowasp-yosys
  16 install:
  17   - python setup.py develop
  18 script:
  19   - coverage run -m unittest discover
  20   - codecov
  21 matrix:
  22   fast_finish: true