test: fix Travis.
authorwhitequark <cz@m-labs.hk>
Mon, 8 Jul 2019 10:20:24 +0000 (10:20 +0000)
committerwhitequark <cz@m-labs.hk>
Mon, 8 Jul 2019 10:22:47 +0000 (10:22 +0000)
.travis.yml

index b2e101fb419e464f7142e0618716775877a96752..fea7d808bc762f2eced71409c3edf8ed544ff84c 100644 (file)
@@ -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