CMake: Mark config options as advanced
This is to hide the options in the cmake-gui. Top level applications can
choose to reexpose these options by clearing the advanced setting.
diff --git a/libsel4debug/CMakeLists.txt b/libsel4debug/CMakeLists.txt
index 6a2b1fa..7bf01e9 100644
--- a/libsel4debug/CMakeLists.txt
+++ b/libsel4debug/CMakeLists.txt
@@ -53,7 +53,7 @@
"printf;LibSel4DebugFunctionInstrumentationPrintf;LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_TRACE"
"backtrace;LibSel4DebugFunctionInstrumentationBacktrace;LIBSEL4DEBUG_FUNCTION_INSTRUMENTATION_BACKTRACE"
)
-
+mark_as_advanced(LibSel4DebugAllocBufferEntries LibSel4DebugFunctionInstrumentation)
add_config_library(sel4debug "${configure_string}")
file(
diff --git a/libsel4muslcsys/CMakeLists.txt b/libsel4muslcsys/CMakeLists.txt
index 0f2188a..d52466e 100644
--- a/libsel4muslcsys/CMakeLists.txt
+++ b/libsel4muslcsys/CMakeLists.txt
@@ -53,7 +53,12 @@
DEFAULT
OFF
)
-
+mark_as_advanced(
+ LibSel4MuslcSysMorecoreBytes
+ LibSel4MuslcSysDebugHalt
+ LibSel4MuslcSysCPIOFS
+ LibSel4MuslcSysArchPutcharWeak
+)
add_config_library(sel4muslcsys "${configure_string}")
file(GLOB deps src/*.c)
diff --git a/libsel4platsupport/CMakeLists.txt b/libsel4platsupport/CMakeLists.txt
index a944153..cfbfe6c 100644
--- a/libsel4platsupport/CMakeLists.txt
+++ b/libsel4platsupport/CMakeLists.txt
@@ -45,7 +45,7 @@
DEFAULT
ON
)
-
+mark_as_advanced(LibSel4PlatSupportUseDebugPutChar LibSel4PlatSupportStart LibSel4SupportSel4Start)
add_config_library(sel4platsupport "${configure_string}")
file(
diff --git a/libsel4serialserver/CMakeLists.txt b/libsel4serialserver/CMakeLists.txt
index 5e6ae06..c57cb7b 100644
--- a/libsel4serialserver/CMakeLists.txt
+++ b/libsel4serialserver/CMakeLists.txt
@@ -23,7 +23,7 @@
DEFAULT
ON
)
-
+mark_as_advanced(LibSel4SerialServerColoredOutput)
add_config_library(sel4serialserver "${configure_string}")
file(GLOB deps src/*.c)
diff --git a/libsel4test/CMakeLists.txt b/libsel4test/CMakeLists.txt
index b2bebbd..02ebe28 100644
--- a/libsel4test/CMakeLists.txt
+++ b/libsel4test/CMakeLists.txt
@@ -36,7 +36,7 @@
config_option(LibSel4TestPrintXML PRINT_XML "Print XML output. This will \
buffer the test output and print in <stdout> blocks so that bamboo \
can parse the test logs properly. Turn this off for debugging your test suite" DEFAULT OFF)
-
+mark_as_advanced(LibSel4TestPrinterRegex LibSel4TestPrinterHaltOnTestFailure LibSel4TestPrintXML)
add_config_library(sel4test "${configure_string}")
file(GLOB deps src/*.c)
diff --git a/libsel4utils/CMakeLists.txt b/libsel4utils/CMakeLists.txt
index 7439a75..fc0388a 100644
--- a/libsel4utils/CMakeLists.txt
+++ b/libsel4utils/CMakeLists.txt
@@ -35,7 +35,7 @@
config_option(LibSel4UtilsProfile SEL4UTILS_PROFILE "Profiling tools \
Enables the functionality of a set of profiling tools. When disabled these profiling tools \
will compile down to nothing." DEFAULT OFF)
-
+mark_as_advanced(LibSel4UtilsStackSize LibSel4UtilsCSpaceSizeBits LibSel4UtilsProfile)
add_config_library(sel4utils "${configure_string}")
file(
diff --git a/libsel4vka/CMakeLists.txt b/libsel4vka/CMakeLists.txt
index 68ddb00..2ae880d 100644
--- a/libsel4vka/CMakeLists.txt
+++ b/libsel4vka/CMakeLists.txt
@@ -48,7 +48,7 @@
0
UNQUOTE
)
-
+mark_as_advanced(LibVKAAllowMemoryLeaks LibVKADebugLiveSlotsSZ LibVKADebugLiveObjsSZ)
add_config_library(sel4vka "${configure_string}")
file(GLOB deps src/*.c)
diff --git a/libsel4vmm/CMakeLists.txt b/libsel4vmm/CMakeLists.txt
index f41137e..6f6cabe 100644
--- a/libsel4vmm/CMakeLists.txt
+++ b/libsel4vmm/CMakeLists.txt
@@ -59,7 +59,14 @@
config_option(LibSel4VMMIgnoreEPTViolation VMM_IGNORE_EPT_VIOLATION "Ignore EPT Violations
If set then EPT faults will be ignored and the guest will be resumed" DEFAULT OFF)
-
+mark_as_advanced(
+ LibSel4VMMVESAFrameBuffer
+ LibSel4VMMDebug
+ LibSel4VMMDebugLevel
+ LibSel4VMMVMXTimerDebug
+ LibSel4VMMVMXTimerTimeout
+ LibSel4VMMIgnoreEPTViolation
+)
add_config_library(sel4vmm "${configure_string}")
add_compile_options(-std=gnu99)
