From 5ccc2122ce42f5581957bbec998ff308d5b88b29 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Thu, 16 Jul 2020 08:00:10 +0000
Subject: [PATCH] CI: use WASM yosys instead of building our own.

Fixes #434.
---
 .travis.yml | 17 +++++------------
 1 file changed, 5 insertions(+), 12 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index ef89486..5b62d85 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -7,22 +7,15 @@ python:
   - "pypy3"
 cache:
   directories:
-    - "$HOME/.ccache"
     - "$HOME/.local"
-addons:
-  apt:
-    packages:
-      - gperf
+    - "$HOME/.cache/wasmtime"
 before_install:
-  - export PATH="/usr/lib/ccache:$HOME/.local/bin:$PATH"
-install:
-  - pip install coverage codecov pyvcd 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:
+  - pip install coverage codecov pyvcd Jinja2 yowasp-yosys nmigen-yosys
+  - export NMIGEN_USE_YOSYS=builtin YOSYS=yowasp-yosys
+install:
   - python setup.py develop
+script:
   - coverage run -m unittest discover
   - codecov
 matrix:
-- 
2.30.2