From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 22 Jul 2022 22:13:27 +0000 (-0700)
Subject: update to released version of cvc5 that includes powerpc64le fixes
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c36f889940a312771b844e89865c7ef009f5e5de;p=dev-env-setup.git

update to released version of cvc5 that includes powerpc64le fixes

https://bugs.libre-soc.org/show_bug.cgi?id=891
---

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 77b086d..5b54555 100755
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -7,7 +7,7 @@ fi
 # this is a bit of a cheat, by relying on debian to pull in all the
 # build dependencies.  saves time researching how to get and list them
 # by hand.
-apt-get update -y 
+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
@@ -28,7 +28,7 @@ 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
-git clone -b cvc5-1.0.0 https://github.com/cvc5/cvc5.git cvc5
+git clone -b cvc5-1.0.1 https://github.com/cvc5/cvc5.git cvc5
 
 # yosys 0.13 has been found to be stable...
 cd yosys
@@ -53,7 +53,7 @@ make install
 # ... cvc5
 cd ../cvc5
 git rev-parse HEAD
-./configure.sh --poly --auto-download -DCMAKE_CXX_FLAGS=-fpermissive
+./configure.sh --poly --auto-download
 cd build
 make -j$(nproc)
 make install