Update Makefile

This commit is contained in:
Giovanni Mazzeo 2025-04-25 14:35:31 +02:00 committed by GitHub
parent e07859026d
commit 7daf2d346d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -12,7 +12,7 @@ SPEC_TEST ?= 0
# These variables are automatically set by CMakeLists.txt
WAMR_BUILD_SGX_IPFS = 0
WAMR_BUILD_LIB_RATS = 1
WAMR_BUILD_LIB_RATS = 0
WAMR_BUILD_GLOBAL_HEAP_POOL = 0
WAMR_BUILD_GLOBAL_HEAP_SIZE = 10485760
WAMR_BUILD_STATIC_PGO = 0