[Libre-soc-bugs] [Bug 891] fix cvc5 on ppc64le

[bugzilla-daemon at libre-soc.org]

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

Jacob Lifshay <programmerjake at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|IN_PROGRESS                 |RESOLVED

--- Comment #3 from Jacob Lifshay <programmerjake at gmail.com> ---
cvc5 1.0.1 was released a few days ago, it includes the ppc64le build fixes. I
updated dev-env-setup.git to use that version after some testing on the talos
and my desktop.

https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=hdl-tools-yosys;h=5b54555e527669039e32d945d15236f39b04629f;hb=HEAD

unrelated: i noticed other repos (yices, z3) installed by hdl-tools-yosys use
whatever is the latest commit on the upstream repos, rather than picking a
particular commit/tag for reproducibility -- imho that should probably be
fixed.

-- 
You are receiving this mail because:
You are on the CC list for the bug.