[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 #1 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
    - git clone --depth 1 -b cvc5-1.0.0 https://github.com/cvc5/cvc5.git cvc5
    - pushd cvc5
    - git rev-parse HEAD
    - ./configure.sh --poly --auto-download
-DCMAKE_CXX_COMPILER=/usr/lib/ccache/g++ -DCMAKE_C_COMPILER=/usr/lib/ccache/gcc
    - cd build
    - make -j$(nproc)
    - make install
    - popd

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