CMAKE version error

[nbooster]

System:

Operating System: Ubuntu 24.04.2 LTS
Kernel: Linux 6.8.0-57-generic
Architecture: x86-64
Hardware Vendor: QEMU
Hardware Model: Standard PC i440FX + PIIX, 1996
Firmware Version: rel-1.16.2-0-gea1b7a073390-prebuilt.qemu.org
Firmware Date: Tue 2014-04-01

CMake Version: 4.0.1

Error:

...
$ brew install nasa-sw-vnv/core/ikos
==> Fetching nasa-sw-vnv/core/ikos
==> Downloading https://files.pythonhosted.org/packages/7e/ae/26808275fc76bf2832deb10d3a3ed3107bc4de01b85dcccbe525f2cd6d1e/Pygments-2.4.2.tar.gz
Already downloaded: /home/nkazantzis2/.cache/Homebrew/downloads/6ca94f739e0ce8b61064d8fa84dcd6adf34e71e1a606f1ec9403a187965de88c--Pygments-2.4.2.tar.gz
==> Downloading https://github.com/NASA-SW-VnV/ikos/archive/refs/tags/v3.5.tar.gz
Already downloaded: /home/nkazantzis2/.cache/Homebrew/downloads/0007d4570945158cea010f0bc2a88c86c5d222e6a87afde320e0c53fa4d77fd9--ikos-3.5.tar.gz
==> Installing ikos from nasa-sw-vnv/core
==> python3 -m venv --system-site-packages --without-pip /home/linuxbrew/.linuxbrew/Cellar/ikos/3.5_1/libexec
==> python3 -m pip --python=/home/linuxbrew/.linuxbrew/Cellar/ikos/3.5_1/libexec/bin/python install /tmp/ikos--Pygments-20250422-37006-5qhjix/Pygments-2.4.2
==> cmake -G Unix Makefiles -DGMP_ROOT=/home/linuxbrew/.linuxbrew/opt/gmp -DMPFR_ROOT=/home/linuxbrew/.linuxbrew/opt/mpfr -DPPL_ROOT=/home/linuxbrew/.linuxbrew/opt/ppl -DAPRON_ROOT=/home/linuxbrew/.linuxbrew/opt/apron -DCUSTOM_BOOST_ROOT=/home/linuxbrew/.linuxbrew/opt/boost -DPYTHON_EXECUTABLE=/home/linuxbrew/.linuxbrew/Cellar/ikos/3.5_1/libexec/bin/python -DLLVM_CONFIG_EXECUTABLE=/home/linuxbrew/.linuxbrew/opt/llvm@14/bin/llvm-config -DINSTALL_PYTHON_VIRTUALENV=OFF -DPYTHON_VENV_EXECUTABLE=/home/linuxbrew/.linuxbrew/Cellar/ikos/3.5_1/libexec/bin/python ..
Last 15 lines from /home/nkazantzis2/.cache/Homebrew/Logs/ikos/03.cmake:
-DINSTALL_PYTHON_VIRTUALENV=OFF
-DPYTHON_VENV_EXECUTABLE=/home/linuxbrew/.linuxbrew/Cellar/ikos/3.5_1/libexec/bin/python
..

CMake Error at CMakeLists.txt:41 (cmake_minimum_required):
Compatibility with CMake < 3.5 has been removed from CMake.

Update the VERSION argument value. Or, use the ... syntax
to tell CMake that the project requires at least but has been updated
to work with policies introduced by or earlier.

Or, add -DCMAKE_POLICY_VERSION_MINIMUM=3.5 to try configuring anyway.

-- Configuring incomplete, errors occurred!

If reporting this issue please do so at (not Homebrew/* repositories):
https://github.com/nasa-sw-vnv/homebrew-core/issues

These open issues may also help:
Getting error while installing IKOS #19

[arthaud]

@ivanperez-keera I have seen this problem in other repositories. We need to change our CMakeLists.txt
Right now I see: cmake_minimum_required(VERSION 3.4.3 FATAL_ERROR)
I think this should work: cmake_minimum_required(VERSION 3.4.3...4.0 FATAL_ERROR)

[nbooster]

Because I tried to installed it with brew (as the instructions were saying),
and not clone the repository, can you tell me where is the CMakeLists.txt located ?
Thanks.

[arthaud]

Until we fix this, you would have to build from source, following thees instructions: https://github.com/NASA-SW-VnV/ikos?tab=readme-ov-file#build-from-source
Obviously, use git clone https://github.com/NASA-SW-VnV/ikos.git to clone the repository first.

You can also find instructions for specific operating systems here: https://github.com/NASA-SW-VnV/ikos/tree/master/doc/install/3.0 (those might be slightly out of date)