-- Fix CMake 4.x compatibility by raising the minimum required CMake version.
-- CMake 4.0 dropped support for cmake_minimum_required(VERSION < 3.5).

--- CMakeLists.txt.orig	2024-08-23 14:28:52.000000000 -0700
+++ CMakeLists.txt	2026-08-27 15:49:03.057152000 -0700
@@ -5,7 +5,7 @@
 # This file is part of Boolector.
 # See COPYING for more information on using this software.
 #
-cmake_minimum_required(VERSION 3.3)
+cmake_minimum_required(VERSION 3.5)
 
 #-----------------------------------------------------------------------------#