back.rtlil: fix Array regression in 32446831.

[nmigen.git] / .travis.yml

diff --git a/.travis.yml b/.travis.yml
index 15f1c4228eda166a1c6daa096462750369832cc2..b2e101fb419e464f7142e0618716775877a96752 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,9 +1,24 @@
 dist: xenial
 language: python
 python:
+  - "3.6"
   - "3.7"
+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
+  - pip install coverage codecov pyvcd bitarray 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:
   - coverage run -m unittest discover
   - codecov