You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently Opam's sandboxing prevent dune caching mechanism from working, as sandboxing removes write access to most of the filesystem.
The currently proposed solution would be to simply add the cache directory to the list of rw directiories in sandbox.sh. The value on Unix and OSX would be $XDG_CACHE_HOME/dune if set, $HOME/.cache/dune otherwise. Windows would be $AppData/Local Settings/Cache, although I'm not sure sandboxing works there.
The text was updated successfully, but these errors were encountered:
Currently Opam's sandboxing prevent dune caching mechanism from working, as sandboxing removes write access to most of the filesystem.
The currently proposed solution would be to simply add the cache directory to the list of rw directiories in
sandbox.sh
. The value on Unix and OSX would be$XDG_CACHE_HOME/dune
if set,$HOME/.cache/dune
otherwise. Windows would be$AppData/Local Settings/Cache
, although I'm not sure sandboxing works there.The text was updated successfully, but these errors were encountered: