From d62d0a6400bf0adb78dfd2c39da81f3f2e122b92 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Fri, 21 Oct 2022 12:14:56 +0200 Subject: [PATCH] libsel4bench: add sanity check for configuration Signed-off-by: Axel Heider --- libsel4bench/CMakeLists.txt | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt index fb3f27568..fef8b64f1 100644 --- a/libsel4bench/CMakeLists.txt +++ b/libsel4bench/CMakeLists.txt @@ -8,6 +8,18 @@ cmake_minimum_required(VERSION 3.7.2) project(libsel4bench C) +# Do a fail-safe check that all required configuration variables are set up +set(CHECK_CFG_VARS "KernelArch;KernelSel4Arch;KernelWordSize") +if(KernelArchARM) + list(APPEND CHECK_CFG_VARS "KernelArmArmV;KernelArmCPU") +endif() +foreach(cfg_var IN LISTS CHECK_CFG_VARS) + if((NOT DEFINED ${cfg_var}) OR (NOT ${cfg_var})) + message(FATAL "${PROJECT_NAME} requires setting ${cfg_var}") + endif() + message("${PROJECT_NAME} ${cfg_var}: ${${cfg_var}}") +endforeach() + file( GLOB deps