2024-03-07 05:37:18 +01:00
|
|
|
#
|
|
|
|
|
# For a description of the syntax of this configuration file,
|
|
|
|
|
# see the file kconfig-language.txt in the NuttX tools repository.
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
menu "Extra Tools"
|
|
|
|
|
|
|
|
|
|
menu "Wasm Build Options"
|
|
|
|
|
|
|
|
|
|
config TOOLS_WASM_BUILD
|
2024-04-08 14:11:17 +02:00
|
|
|
bool "Enable Wasm build support"
|
|
|
|
|
default n
|
|
|
|
|
---help---
|
|
|
|
|
If enabled, then then build system will trigger the Wasm build
|
|
|
|
|
process. This will require the WASI-SDK to be installed on the
|
|
|
|
|
host system.
|
2024-03-07 05:37:18 +01:00
|
|
|
|
2024-04-08 14:11:17 +02:00
|
|
|
endmenu # Wasm Build Options
|
2024-03-07 05:37:18 +01:00
|
|
|
|
2024-04-08 14:11:17 +02:00
|
|
|
endmenu # Extra Tools
|
