From 415b6b426610f06fcf176f1d3d8eeb9c1e6b6885 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Sun, 5 Apr 2020 18:02:34 -0700
Subject: [PATCH] add symbiyosys to ci

---
 .gitlab-ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d077f476..6f06981b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -48,6 +48,11 @@ build:
         - popd
         - yosys -V
 
+        - git clone --depth 1 https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
+        - pushd SymbiYosys
+        - make install
+        - popd
+
         - git clone --depth 1 https://github.com/nmigen/nmigen.git nmigen
         - pushd nmigen
         - python setup.py develop
-- 
2.30.2