From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 6 Jul 2022 19:13:39 +0000 (+0100)
Subject: add bitwuzla/cvc5 to hdl-tools-yosys
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=031594b20e06e00b9805b8e01819d33d35bdab93;p=dev-env-setup.git

add bitwuzla/cvc5 to hdl-tools-yosys
---

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 8069690..a8f0c15 100755
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -24,6 +24,9 @@ git clone https://github.com/Z3Prover/z3.git
 # XXX see ghdl-install this is really best done with that
 git clone https://github.com/ghdl/ghdl
 git clone https://github.com/ghdl/ghdl-yosys-plugin
+# both of these need adding https://bugs.libre-soc.org/show_bug.cgi?id=883
+git clone https://github.com/bitwuzla/bitwuzla
+git clone https://github.com/cvc5/cvc5 -b cvc5-1.0.0
 
 # yosys 0.13 has been found to be stable...
 cd yosys