add bitwuzla/cvc5 to hdl-tools-yosys

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 80696905af631686054ff72c4068323ffe4dd5cf..a8f0c15a11f8ce09d36cf5ffb6b1ba26fa17aa86 100755 (executable)
--- 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