From 58e2f1211cfaccd0f17c5bc2c7891b2c8551a385 Mon Sep 17 00:00:00 2001
From: Guillaume Endignoux <guillaumee@google.com>
Date: Fri, 10 Jul 2020 10:41:01 +0200
Subject: [PATCH] Update deploy.py to the new libtock.

---
 deploy.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/deploy.py b/deploy.py
index d9661c0..d959a71 100755
--- 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),