From 31c0963eec1866251e343b40ec0f527577c5b932 Mon Sep 17 00:00:00 2001
From: R Veera Kumar <vklr@vkten.in>
Date: Tue, 12 Jul 2022 17:27:21 +0530
Subject: [PATCH] Add initial support for cvc5 and bitwuzla

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

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index a8f0c15..77b086d 100755
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -11,6 +11,8 @@ apt-get update -y
 apt-get build-dep yosys -y
 apt-get remove yosys -y
 apt-get build-dep ghdl -y # this is sort-of what ghdl-install does, hmmm
+apt-get install -y default-jre-headless python3-pip curl
+python3 -m pip install toml
 
 mkdir -p /home/$SUDO_USER/src
 cd /home/$SUDO_USER/src
@@ -25,8 +27,8 @@ git clone https://github.com/Z3Prover/z3.git
 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
+git clone https://github.com/bitwuzla/bitwuzla.git
+git clone -b cvc5-1.0.0 https://github.com/cvc5/cvc5.git cvc5
 
 # yosys 0.13 has been found to be stable...
 cd yosys
@@ -48,9 +50,27 @@ git checkout c9b05e481423c55ffcbb856fd5296701f670808c
 make
 make install
 
-# symbiyosys should be fine though
+# ... cvc5
+cd ../cvc5
+git rev-parse HEAD
+./configure.sh --poly --auto-download -DCMAKE_CXX_FLAGS=-fpermissive
+cd build
+make -j$(nproc)
+make install
 
-cd ../sby
+# ... bitwuzla
+cd ../../bitwuzla
+git checkout 19dd987a6e246990619751cca07996fac505fd0b
+./contrib/setup-cadical.sh
+./contrib/setup-btor2tools.sh
+./contrib/setup-symfpu.sh
+./configure.sh
+cd build
+make -j$(nproc)
+make install
+
+# symbiyosys should be fine though
+cd ../../sby
 make install
 
 cd ../yices2
-- 
2.30.2