* update symbiyosys dev-env-setup scripts to include cvc5 https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=hdl-tools-yosys;hb=HEAD https://github.com/cvc5/cvc5/blob/main/INSTALL.rst https://gitlab.com/programmerjake/nmigen/-/blob/smtlib2-expr-support/.gitlab-ci.yml * also include bitwuzla git clone https://github.com/bitwuzla/bitwuzla
- 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
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
(In reply to Luke Kenneth Casson Leighton from comment #2) official build instructions: https://github.com/bitwuzla/bitwuzla#linux-and-unix-like-os > 110 - make -j$(nproc) > 111 - make install note that make install requires sudo, none of the other commands require it. > 112 - popd
Added initial support for cvc5 and bitwuzla. uri: https://git.libre-soc.org/?p=dev-env-setup.git;a=commitdiff;h=31c0963eec1866251e343b40ec0f527577c5b932 Kindly review.
cvc5 builds fine in PowerPC64 machine but does not runs fine. Ran "make check" for cvc5 and got: 1% tests passed, 2936 tests failed out of 2966 Looked at running log: In most of the tests cvc5 segfaults Currently Supported Operating Systems: cvc5 can be built natively on Linux and macOS, cross-compilation is possible for Windows using Mingw-w64. cvc5 also supports cross-compilation for ARM64 systems. They generally recommend a 64-bit operating system. Support for x86_64 has been checked as working.
(In reply to Veera from comment #5) > cvc5 builds fine in PowerPC64 machine but does not runs fine. > > Ran "make check" for cvc5 and got: 1% tests passed, 2936 tests failed out of > 2966 > Looked at running log: In most of the tests cvc5 segfaults adding -fpermissive just hid the actual problem, I figured out that antlr was being built with options making it think pointers are 32-bit because cvc5 botched their 64-bit detection logic in their cmake scripts. I created a PR with the fix (it passed make check, but I didn't try nmigen yet) https://github.com/cvc5/cvc5/pull/8955 fixed branch: https://github.com/programmerjake/cvc5/tree/fix-ppc64le lkcl, if you can create a cvc5 repo, I can push the fixed branch there too.
(In reply to Jacob Lifshay from comment #6) > adding -fpermissive just hid the actual problem, I figured out that antlr > was being built with options making it think pointers are 32-bit because > cvc5 botched their 64-bit detection logic in their cmake scripts. niiiice. > lkcl, if you can create a cvc5 repo, I can push the fixed branch there too. done. have to put this under a separate bugreport (with budget), this one's done (and closed)