From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 14 Jun 2022 14:29:48 +0000 (+0100)
Subject: update to 0.13-with-write_jny tag in yosys
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3066663eed414b7577d7dde2efcb62f9d0ca5733;p=dev-env-setup.git

update to 0.13-with-write_jny tag in yosys
---

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 86d1a26..6f83c89 100755
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -17,7 +17,7 @@ cd /home/$SUDO_USER/src
 mkdir -p hdl_tools
 cd hdl_tools
 
-git clone https://github.com/YosysHQ/yosys.git
+git clone https://git.libre-soc.org/git/yosys.git
 git clone https://github.com/YosysHQ/SymbiYosys.git sby
 git clone https://github.com/SRI-CSL/yices2.git
 git clone https://github.com/Z3Prover/z3.git
@@ -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
+git checkout yosys-0.13-with-write_jny
 make config-clang
 make -j$(nproc)
 make install