From 3066663eed414b7577d7dde2efcb62f9d0ca5733 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 14 Jun 2022 15:29:48 +0100
Subject: [PATCH] update to 0.13-with-write_jny tag in yosys

---
 hdl-tools-yosys | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.30.2