usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Travis: install SymbiYosys and Yices2.

Browse source 
In preparation for adding formal tests.
This commit is contained in:
whitequark 2019-01-16 00:57:09 +00:00
parent 6191760c30
commit bfe246a127
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.travis.yml
View file

@ -7,12 +7,18 @@ cache:
directories: directories:
- "$HOME/.ccache" - "$HOME/.ccache"
- "$HOME/.local" - "$HOME/.local"
addons:
apt:
packages:
- gperf
before_install: before_install:
- export PATH="/usr/lib/ccache:$HOME/.local/bin:$PATH" - export PATH="/usr/lib/ccache:$HOME/.local/bin:$PATH"
install: install:
- pip install coverage codecov pyvcd bitarray - pip install coverage codecov pyvcd bitarray
- git clone https://github.com/YosysHQ/yosys - 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) - (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: script:
- coverage run -m unittest discover - coverage run -m unittest discover
- codecov - codecov