From 44336b8d0cf8c6d0f6991d31463f6ea76af8e690 Mon Sep 17 00:00:00 2001 From: whitequark Date: Thu, 16 Jul 2020 08:00:10 +0000 Subject: [PATCH] CI: use WASM yosys instead of building our own. Fixes #434. --- .travis.yml | 17 +++++------------ 1 file changed, 5 insertions(+), 12 deletions(-) diff --git a/.travis.yml b/.travis.yml index ef89486..5b62d85 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,22 +7,15 @@ python: - "pypy3" cache: directories: - - "$HOME/.ccache" - "$HOME/.local" -addons: - apt: - packages: - - gperf + - "$HOME/.cache/wasmtime" 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: + - pip install coverage codecov pyvcd Jinja2 yowasp-yosys nmigen-yosys + - export NMIGEN_USE_YOSYS=builtin YOSYS=yowasp-yosys +install: - python setup.py develop +script: - coverage run -m unittest discover - codecov matrix: -- 2.30.2