try another fix

project-everest · Jan 23, 2025 · 15ec21e · 15ec21e
1 parent 63dd6cc
commit 15ec21e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/package/package.sh b/src/package/package.sh
@@ -131,7 +131,9 @@ make_everparse() {
             # build from a source package
             dune_sandbox_opt=
             if $is_windows ; then
-                dune_sandbox_opt=DUNE_SANDBOX=none
+		# Dune crashes with "cannot delete sandbox." This fix comes
+		# from https://github.com/ocaml/dune/issues/8228#issuecomment-1642104172
+                dune_sandbox_opt=DUNE_CONFIG__BACKGROUND_SANDBOXES=disabled
             fi
             env $dune_sandbox_opt $MAKE -C $FSTAR_SRC_PKG_ROOT "$@" ADMIT=1
             mkdir -p "$FSTAR_PKG_ROOT"