Merge branch 'push-krsqnqkxrmxm' into 'develop'

Hide compilation of tools behind CMake flag

See merge request ems/astdm/modeling.dram/dram.sys.5!126

CMakeLists.txt

@@ -66,6 +66,7 @@ endif()
 option(DRAMSYS_BUILD_TESTS "Build DRAMSys unit tests" OFF)
 option(DRAMSYS_BUILD_BENCHMARKS "Build DRAMSys benchmarks" OFF)
 option(DRAMSYS_BUILD_CLI "Build DRAMSys Command Line Tool" ${PROJECT_IS_TOP_LEVEL})
+option(DRAMSYS_BUILD_TOOLS "Build DRAMSys Tools" OFF)
 option(DRAMSYS_BUILD_TRACE_ANALYZER "Build DRAMSys Trace Analyzer" OFF)
 
 # Use sane defaults for FetchContent:
@@ -159,7 +160,9 @@ find_package(DRAMPower REQUIRED)
 add_subdirectory(src/configuration)
 add_subdirectory(src/libdramsys)
 
-add_subdirectory(tools)
+if(DRAMSYS_BUILD_TOOLS)
+    add_subdirectory(tools)
+endif()
 
 if(DRAMSYS_BUILD_CLI)
     add_subdirectory(src/simulator)