From 95ff43e98d30654045927505219fdf60eb56f673 Mon Sep 17 00:00:00 2001
From: Axel Heider <axel.heider@hensoldt.net>
Date: Fri, 10 Mar 2023 15:45:05 +0100
Subject: [PATCH] CMake: allow skipping include of settings.cmake

Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
---
 CMakeLists.txt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9b8b7a1b..2aca579f 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -6,7 +6,10 @@
 
 cmake_minimum_required(VERSION 3.7.2)
 
-include(settings.cmake)
+if(NOT SEL4TEST_DONT_USE_SEL4_DEFAULT_BUILD_SYSTEM)
+    # include the settings from the standard sel4 build system
+    include(settings.cmake)
+endif()
 
 project(sel4test C CXX ASM)