amaranth/.travis.yml

dist: bionic
language: python
python:
  - "3.6"
  - "3.7"
  - "3.8"
  - "pypy3"
cache:
  directories:
    - "$HOME/.ccache"
    - "$HOME/.local"
addons:
  apt:
    packages:
      - gperf
before_install:
  - export PATH="/usr/lib/ccache:$HOME/.local/bin:$PATH"
install:
  - pip install coverage codecov pyvcd Jinja2
  - git clone https://github.com/YosysHQ/yosys
  - (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)
  - (git clone https://github.com/YosysHQ/SymbiYosys && cd SymbiYosys && make PREFIX=$HOME/.local install)
  - if ! yices -V; then (git clone https://github.com/SRI-CSL/yices2.git && cd yices2 && autoconf && ./configure --prefix=$HOME/.local && make && make install); fi
script:
  - python setup.py develop
  - coverage run -m unittest discover
  - codecov
matrix:
  fast_finish: true
Travis: upgrade to bionic. 2020-04-13 03:40:00 -06:00			`dist: bionic`
Set up Travis CI. 2018-12-13 00:50:12 -07:00			`language: python`
			`python:`
Lower Python version requirement to 3.6. 2018-12-15 10:03:23 -07:00			`- "3.6"`
Set up Travis CI. 2018-12-13 00:50:12 -07:00			`- "3.7"`
Travis: test on Python 3.8. 2020-02-13 23:33:08 -07:00			`- "3.8"`
tracer: add PyPy support to get_var_name(). Fixes #141. 2019-07-09 01:29:01 -06:00			`- "pypy3"`
Travis: build and cache Yosys. 2018-12-17 08:51:55 -07:00			`cache:`
			`directories:`
			`- "$HOME/.ccache"`
Travis: cache Yosys installation explicitly. 2018-12-17 16:46:46 -07:00			`- "$HOME/.local"`
Travis: install SymbiYosys and Yices2. In preparation for adding formal tests. 2019-01-15 17:57:09 -07:00			`addons:`
			`apt:`
			`packages:`
			`- gperf`
Travis: build and cache Yosys. 2018-12-17 08:51:55 -07:00			`before_install:`
Travis: cache Yosys installation explicitly. 2018-12-17 16:46:46 -07:00			`- export PATH="/usr/lib/ccache:$HOME/.local/bin:$PATH"`
Set up Travis CI. 2018-12-13 00:50:12 -07:00			`install:`
Travis: prune dependencies. bitarray is not required since commit 7df70059. 2020-02-13 23:34:28 -07:00			`- pip install coverage codecov pyvcd Jinja2`
Travis: cache Yosys installation explicitly. 2018-12-17 16:46:46 -07:00			`- git clone https://github.com/YosysHQ/yosys`
			`- (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)`
Travis: install SymbiYosys and Yices2. In preparation for adding formal tests. 2019-01-15 17:57:09 -07:00			`- (git clone https://github.com/YosysHQ/SymbiYosys && cd SymbiYosys && make PREFIX=$HOME/.local install)`
			`- if ! yices -V; then (git clone https://github.com/SRI-CSL/yices2.git && cd yices2 && autoconf && ./configure --prefix=$HOME/.local && make && make install); fi`
Set up Travis CI. 2018-12-13 00:50:12 -07:00			`script:`
test: fix Travis. 2019-07-08 04:20:24 -06:00			`- python setup.py develop`
Set up Travis CI. 2018-12-13 00:50:12 -07:00			`- coverage run -m unittest discover`
			`- codecov`
tracer: add PyPy support to get_var_name(). Fixes #141. 2019-07-09 01:29:01 -06:00			`matrix:`
			`fast_finish: true`