From c316fa467de700ad2cad99cb3c3c2d76c0f32c97 Mon Sep 17 00:00:00 2001
From: Lukas Steiner <lsteiner@rhrk.uni-kl.de>
Date: Thu, 23 Feb 2023 11:28:34 +0100
Subject: [PATCH] Cache CMAKE_CXX_STANDARD for SystemC.

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f0b3490a..e8679d5c 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -86,7 +86,7 @@ option(DRAMSYS_WITH_DRAMPOWER "Build with DRAMPower support enabled." OFF)
 option(DRAMSYS_ENABLE_EXTENSIONS "Enable proprietary DRAMSys extensions." OFF)
 
 ### Compiler settings ###
-set(CMAKE_CXX_STANDARD 17)
+set(CMAKE_CXX_STANDARD 17 CACHE STRING "C++ Standard")
 
 if(DRAMSYS_COVERAGE_CHECK)
     message("== Coverage check enabled")