From: Jacob Lifshay <programmerjake@gmail.com>
Date: Mon, 6 Apr 2020 01:02:34 +0000 (-0700)
Subject: add symbiyosys to ci
X-Git-Tag: div_pipeline~1440^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=415b6b426610f06fcf176f1d3d8eeb9c1e6b6885;p=soc.git

add symbiyosys to ci
---

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