.travis.yml

   1 dist: xenial
   2 language: python
   3 python:
   4   - "3.6"
   5   - "3.7"
   6   - "3.8"
   7   - "pypy3"
   8 cache:
   9   directories:
  10     - "$HOME/.ccache"
  11     - "$HOME/.local"
  12 addons:
  13   apt:
  14     packages:
  15       - gperf
  16 before_install:
  17   - export PATH="/usr/lib/ccache:$HOME/.local/bin:$PATH"
  18 install:
  19   - pip install coverage codecov pyvcd bitarray Jinja2
  20   - git clone https://github.com/YosysHQ/yosys
  21   - (cd yosys && if ! yosys -V || [ $(git rev-parse HEAD $(yosys -V | awk 'match($0,/sha1 ([0-9a-f]+)/,m) { print m[1] }') | uniq | wc -l) != 1 ]; then make CONFIG=gcc ENABLE_ABC=0 PREFIX=$HOME/.local install; fi)
  22   - (git clone https://github.com/YosysHQ/SymbiYosys && cd SymbiYosys && make PREFIX=$HOME/.local install)
  23   - if ! yices -V; then (git clone https://github.com/SRI-CSL/yices2.git && cd yices2 && autoconf && ./configure --prefix=$HOME/.local && make && make install); fi
  24 script:
  25   - python setup.py develop
  26   - coverage run -m unittest discover
  27   - codecov
  28 matrix:
  29   fast_finish: true
  30   allow_failures:
  31   - python: "pypy3"