From 7f86707c5bfc9a3368085da0f249c2006a53bd5e Mon Sep 17 00:00:00 2001
From: Thomas Spriggs <thomas.spriggs@diffblue.com>
Date: Tue, 4 Oct 2022 14:50:03 +0100
Subject: [PATCH] Bump cmake version to 3.8

Because this is the minimum cmake version which supports a value of `17`
for `CXX_STANDARD`. This enables moving the C++ standard version we use
for compiling cbmc to C++17 based on setting this setting rather than
setting compiler flags.
---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index ebd3ad7f41f..38807e9c5c2 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,4 +1,4 @@
-cmake_minimum_required(VERSION 3.2)
+cmake_minimum_required(VERSION 3.8)
 
 # Compile with /usr/bin/clang on MacOS
 # See https://github.com/diffblue/cbmc/issues/4956