From b70702a3e6e78aa94345b4bf63ae749fd370e7c8 Mon Sep 17 00:00:00 2001 From: Mic Bowman Date: Fri, 14 Jun 2024 13:25:09 -0700 Subject: [PATCH] replace WASM_MEM_CONFIG with PDO_MEMORY_CONFIG in docker tools Signed-off-by: Mic Bowman --- docker/pdo_client.dockerfile | 3 --- docker/pdo_services.dockerfile | 4 ++-- docker/tools/environment.sh | 2 +- 3 files changed, 3 insertions(+), 6 deletions(-) diff --git a/docker/pdo_client.dockerfile b/docker/pdo_client.dockerfile index 9e697440..1f70a2b7 100644 --- a/docker/pdo_client.dockerfile +++ b/docker/pdo_client.dockerfile @@ -51,9 +51,6 @@ ENV PDO_LEDGER_TYPE=${PDO_LEDGER_TYPE} ARG PDO_INTERPRETER=wawaka ENV PDO_INTERPRETER=${PDO_INTERPRETER} -ARG WASM_MEM_CONFIG=MEDIUM -ENV WASM_MEM_CONFIG=${WASM_MEM_CONFIG} - ARG PDO_LOG_LEVEL=info ENV PDO_LOG_LEVEL=${PDO_LOG_LEVEL} diff --git a/docker/pdo_services.dockerfile b/docker/pdo_services.dockerfile index f8c8c05e..f1b1889a 100644 --- a/docker/pdo_services.dockerfile +++ b/docker/pdo_services.dockerfile @@ -39,8 +39,8 @@ ENV PDO_LEDGER_TYPE=${PDO_LEDGER_TYPE} ARG PDO_INTERPRETER=wawaka ENV PDO_INTERPRETER=${PDO_INTERPRETER} -ARG WASM_MEM_CONFIG=MEDIUM -ENV WASM_MEM_CONFIG=${WASM_MEM_CONFIG} +ARG PDO_MEMORY_CONFIG=MEDIUM +ENV PDO_MEMORY_CONFIG=${PDO_MEMORY_CONFIG} ARG PDO_LOG_LEVEL=info ENV PDO_LOG_LEVEL=${PDO_LOG_LEVEL} diff --git a/docker/tools/environment.sh b/docker/tools/environment.sh index da47bb95..41c83e86 100755 --- a/docker/tools/environment.sh +++ b/docker/tools/environment.sh @@ -24,7 +24,7 @@ export SGX_MODE=${SGX_MODE:-SIM} export PDO_LEDGER_TYPE=${PDO_LEDGER_TYPE:-ccf} export PDO_INTERPRETER=${PDO_INTERPRETER:-wawaka} -export WASM_MEM_CONFIG=${WASM_MEM_CONFIG:-MEDIUM} +export PDO_MEMORY_CONFIG=${PDO_MEMORY_CONFIG:-MEDIUM} export PDO_DEBUG_BUILD=${PDO_DEBUG_BUILD:-1} # these variables are internal to the layout of the container and immutable