CMake: allow skipping include of settings.cmake

Signed-off-by: Axel Heider <[email protected]>
seL4 · Nov 16, 2022 · 529a68e · 529a68e
1 parent 91d8da8
commit 529a68e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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)