From 84e64add5b081b02c59330dcaf526ad9559c08e1 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 16 Jun 2022 08:52:43 +0100
Subject: [PATCH] clone from libre-soc.org for SymbiYosys

---
 hdl-tools-yosys | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 1e39f5f..175df37 100755
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -18,7 +18,7 @@ mkdir -p hdl_tools
 cd hdl_tools
 
 git clone https://git.libre-soc.org/git/yosys.git
-git clone https://github.com/YosysHQ/SymbiYosys.git sby
+git clone https://git.libre-soc.org/git/SymbiYosys.git sby
 git clone https://github.com/SRI-CSL/yices2.git
 git clone https://github.com/Z3Prover/z3.git
 # XXX see ghdl-install this is really best done with that
-- 
2.30.2