Update deploy.py to the new libtock.

2020-07-10 10:41:01 +02:00
parent 3c5e0c9cf1
commit 58e2f1211c
1 changed files with 1 additions and 0 deletions
--- a/deploy.py
+++ b/deploy.py
@@ -373,6 +373,7 @@ class OpenSKInstaller:
    ]
    env = os.environ.copy()
    env["RUSTFLAGS"] = " ".join(rust_flags)
+    env["APP_HEAP_SIZE"] = str(APP_HEAP_SIZE)

    command = [
        "cargo", "build", "--release", "--target={}".format(props.arch),