update to 0.13-with-write_jny tag in yosys

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 86d1a26f1598c65f0941c9d2ce6465cb815eb377..6f83c89e0d30f2f17bc959f854cf27c60c4a7a59 100755 (executable)
--- 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