Getting error while installing IKOS

[YASHASDG7]

Last 15 lines from /home/builduser/.cache/Homebrew/Logs/ikos/03.cmake:
make[1]: Leaving directory
'/tmp/ikos-20241004-31860-5ado95/ikos-3.4/build/analyzer/CMakeFiles/CMakeTmp'

Makefile:127: recipe for target 'cmTC_8796a/fast' failed

make: *** [cmTC_8796a/fast] Error 2

Call Stack (most recent call first):
analyzer/CMakeLists.txt:102 (find_package)

-- Configuring incomplete, errors occurred!

[ivanperez-keera]

OS and version?

[YASHASDG7]

Hi Ivanperez,
Thanks for the quick response.

Currently we are using Ubuntu 18.04.

[ivanperez-keera]

Thanks. Let me build a docker image and see if I can replicate the issue.