From 5240162d56b902da2cde0c69b22a6319a3c516e9 Mon Sep 17 00:00:00 2001
From: Siddharth <siddu.druid@gmail.com>
Date: Mon, 23 Sep 2024 13:31:04 -0500
Subject: [PATCH] feat: bind /tmp/ as a tmpfs for bv_decide to create temp
 files (#38)

* feat: bind /tmp/ to allow LeanSAT to create temp files

* chore: use --tmpdir
---
 server/bubblewrap.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh
index 96d76523..f36a7ea3 100755
--- a/server/bubblewrap.sh
+++ b/server/bubblewrap.sh
@@ -12,6 +12,7 @@ if command -v bwrap >/dev/null 2>&1; then
     --ro-bind "$LEAN_ROOT" /lean \
     --ro-bind /usr /usr \
     --dev /dev \
+    --tmpfs /tmp \
     --proc /proc \
     --symlink usr/lib /lib\
     --symlink usr/lib64 /lib64\