From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 16 Jun 2022 07:53:48 +0000 (+0100)
Subject: update yosys tag
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=70b0c32a13869633f6ec91938482b4e0cebaf417;p=dev-env-setup.git

update yosys tag
---

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 175df37..8069690 100755
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -27,7 +27,7 @@ git clone https://github.com/ghdl/ghdl-yosys-plugin
 
 # yosys 0.13 has been found to be stable...
 cd yosys
-git checkout yosys-0.13-with-write_jny
+git checkout smtlib2-expr-support-on-0.13
 make config-clang
 make -j$(nproc)
 make install