gentoo-ebuilds/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch
Maciej Barć a1744f6171
sci-mathematics/btor2tools: bump cmake_minimum_required
Closes: https://bugs.gentoo.org/951681
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-03-20 23:02:51 +01:00

5 lines
133 B
Diff

--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,1 +1,1 @@
-cmake_minimum_required(VERSION 3.3)
+cmake_minimum_required(VERSION 3.20)