mCRL2org/mCRL2

CMake 3.27.7 does not work with rpmbuild 4.19, causing packaging to fail on Fedora

mlaveaux opened this issue · 1 comments

On the current latest version of Fedora 39 packages cmake and rpmbuild have incompatible versions that cause cpack -G RPM to fail, see upstream issue. This should be fixed when cmake 3.28(.1) is released on Fedora. If this takes too long a bootleg cmake can be installed on the build server temporarily.

Updated to Fedora 40 Beta, which is scheduled to be released at the end of April, and that resolved this issue.