[Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools

[bugzilla-daemon at libre-soc.org]

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

--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
 102         - git clone https://github.com/bitwuzla/bitwuzla.git bitwuzla
 103         - pushd bitwuzla
 104         - git checkout 19dd987a6e246990619751cca07996fac505fd0b
 105         - ./contrib/setup-btor2tools.sh
 106         - ./contrib/setup-symfpu.sh
 107         - ./contrib/setup-cadical.sh
 108         - ./configure.sh
 109         - cd build
 110         - make -j$(nproc)
 111         - make install
 112         - popd

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