diffblue/cbmc

Build with system CaDiCaL

kotopesutility opened this issue · 4 comments

kotopesutility commented

Could you add CMake option to build cbmc with system installed CaDiCaL?

CBMC version: 5.95.1
Operating system: ALT Linux
Exact command line resulting in the issue:
What behaviour did you expect: Build with system CaDiCaL
What happened instead: it tries to download CaDiCaL last release

tautschnig commented

Would you have some pointers as to where/which CaDiCaL files can be found? A pointer to pre-built RPMs would also work. Thank you!

tautschnig commented

Could you please give #8159 a try and let us know whether this works as expected? Thank you!

  • 👍1
kotopesutility commented

Could you please give #8159 a try and let us know whether this works as expected? Thank you!

It works! Cool! Thank you!