add symbiyosys to ci

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d077f4765183386ff5018be38e92427eb4337988..6f06981b9891343f9073906710a9876aeeb49a84 100644 (file)
--- 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