From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 16 Jun 2022 07:52:43 +0000 (+0100)
Subject: clone from libre-soc.org for SymbiYosys
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=84e64add5b081b02c59330dcaf526ad9559c08e1;p=dev-env-setup.git

clone from libre-soc.org for SymbiYosys
---

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