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
leanprover-community · Sep 23, 2024 · 5240162 · 5240162
1 parent a439335
commit 5240162
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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\