volkm
commented
1 week ago Thanks for letting us know.
For the current master branch, we require either Debian 12 or Ubuntu >= 22.04 because we require CMake >= 3.22. The latest Storm release 1.9.0 still works on Debian 11 and Ubuntu 20.04 though.
I will update the documentation accordingly.
Hi,
Page https://www.stormchecker.org/documentation/obtain-storm/build.html states that "Debian 11 and higher" is a supported operating system.
Having tried Storm 1.9.0 on Debian 11.11, this is no longer true.
The build displays many warnings about Boost version having incorrect or missing dependencies, and finally halts:
CMake Error at CMakeLists.txt:12 (cmake_minimum_required): CMake 3.22 or higher is required. You are running version 3.18.4.
Building Storm 1.9.0 on Debian 12 succeeds.