From: whitequark Date: Mon, 8 Jul 2019 10:20:24 +0000 (+0000) Subject: test: fix Travis. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c16f3124cb832a2cf0436f67affeff066e3813bb;p=nmigen.git test: fix Travis. --- diff --git a/.travis.yml b/.travis.yml index b2e101f..fea7d80 100644 --- a/.travis.yml +++ b/.travis.yml @@ -20,5 +20,6 @@ install: - (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