Travis: install SymbiYosys and Yices2.
authorwhitequark <cz@m-labs.hk>
Wed, 16 Jan 2019 00:57:09 +0000 (00:57 +0000)
committerwhitequark <cz@m-labs.hk>
Wed, 16 Jan 2019 01:06:51 +0000 (01:06 +0000)
In preparation for adding formal tests.

.travis.yml

index d4dccf41ece443f86bd957cbb1744db790e45add..4bd98bfcbf855ca3418ae8d94ffbb0917bcf1402 100644 (file)
@@ -7,12 +7,18 @@ 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 bitarray
   - 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:
   - coverage run -m unittest discover
   - codecov