search

marxin / cvise

Super-parallel Python port of the C-Reduce
Other
219 stars 25 forks source link

cvise fails to build with LLVM 18.1.0 #127

Closed doko42 closed 5 months ago

doko42 commented 5 months ago

after pulling the one LLVM 18 fix from master, cvise fails to build with errors induced by -Werror (deprecated warnings),

replacing .startswith with .starts_with in the .cpp files avoids that (but don't do that in the .py files).

marxin commented 5 months ago

Sure, I disable the Werror for the warning right now: https://github.com/marxin/cvise/blob/f0e1387872b6959995e81e59d97d89514eebfb92/CMakeLists.txt#L195-L198

Why is it not working for you? What version of C-Vise do you use?

doko42 commented 5 months ago

2.9.0, together with your LLVM-18 fix from the trunk

marxin commented 5 months ago

Then please provide a complete build log (with make VERBOSE=1 output).

doko42 commented 5 months ago

https://launchpad.net/~doko/+archive/ubuntu/toolchain/+sourcepub/15855372/+listing-archive-extra

marxin commented 5 months ago

Please try the just created release: https://github.com/marxin/cvise/releases/tag/v2.10.0.

marxin commented 5 months ago

Does it work now?

doko42 commented 5 months ago

yes, https://buildd.debian.org/status/package.php?p=cvise