From c36f889940a312771b844e89865c7ef009f5e5de Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Fri, 22 Jul 2022 15:13:27 -0700 Subject: [PATCH] update to released version of cvc5 that includes powerpc64le fixes https://bugs.libre-soc.org/show_bug.cgi?id=891 --- hdl-tools-yosys | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.30.2