christoph/wamr
1
Fork 0
Code Releases Activity

platforms/nuttx: Add support for custom name sections & configurable heap pool (#407)

Browse Source 
Co-authored-by: Huang Qi <huangqi3@xiaomi.com>
This commit is contained in:
Huang Qi
2020-09-28 18:38:58 +08:00
committed by GitHub
parent c13746c22c
commit 78c525d21c
2 changed files with 22 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
product-mini/platforms/nuttx/wamr.mk
View File

@ -113,6 +113,19 @@ else
CFLAGS += -DWASM_DISABLE_HW_BOUND_CHECK=0
endif
ifeq ($(CONFIG_INTERPRETERS_WAMR_CUSTOM_NAME_SECTIONS),y)
CFLAGS += -DWASM_ENABLE_CUSTOM_NAME_SECTION=1
else
CFLAGS += -DWASM_ENABLE_CUSTOM_NAME_SECTION=0
endif
ifeq ($(CONFIG_INTERPRETERS_WAMR_GLOBAL_HEAP_POOL),y)
CFLAGS += -DWASM_ENABLE_GLOBAL_HEAP_POOL=1
CFLAGS += -DWASM_GLOBAL_HEAP_SIZE=$(CONFIG_INTERPRETERS_WAMR_GLOBAL_HEAP_POOL_SIZE)
else
CFLAGS += -DWASM_ENABLE_GLOBAL_HEAP_POOL=0
endif
CFLAGS += -DBH_ENABLE_MEMORY_PROFILING=0
CFLAGS += -Wno-strict-prototypes -Wno-shadow -Wno-unused-variable