Travis: cache Yosys installation explicitly.

diff --git a/.travis.yml b/.travis.yml
index 2fd2ffb1bfde5bd191ce0dbf59d5a286fc322eab..bb32baed806f0a045a24b3e68d34fdd809d48147 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,11 +6,13 @@ python:
 cache:
   directories:
     - "$HOME/.ccache"
+    - "$HOME/.local"
 before_install:
-  - export PATH="/usr/lib/ccache:$PATH"
+  - export PATH="/usr/lib/ccache:$HOME/.local/bin:$PATH"
 install:
   - pip install coverage codecov pyvcd
-  - git clone https://github.com/YosysHQ/yosys && (cd yosys && make CONFIG=gcc ENABLE_ABC=0)
+  - 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)
 script:
   - coverage run -m unittest discover
   - codecov