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
It would be very helpful if an environment variable could be used to configure the location of the $OPAMROOT/download-cache. Currently, download-cache is hardcoded.
In obuilder, we persist the opam cache between jobs by mounting a file system on the download-cache location. This works well under Linux/FreeBSD/macOS, but under Windows mounting is more problematic. Windows provides the mountvol command to do this. mountvol requires an empty directory where we typically don't have one; it also requires the volume to be specified in the \\?\Volume{guid} format, which is an additional overhead to calculate. It would be great to be able to have an environment variable like OPAMDOWNLOADCACHE=d:\download-cache.
The text was updated successfully, but these errors were encountered:
It would be very helpful if an environment variable could be used to configure the location of the
$OPAMROOT/download-cache
. Currently,download-cache
is hardcoded.opam/src/repository/opamRepositoryPath.ml
Line 18 in d5d6ddd
In
obuilder
, we persist the opam cache between jobs by mounting a file system on thedownload-cache
location. This works well under Linux/FreeBSD/macOS, but under Windows mounting is more problematic. Windows provides themountvol
command to do this.mountvol
requires an empty directory where we typically don't have one; it also requires the volume to be specified in the\\?\Volume{guid}
format, which is an additional overhead to calculate. It would be great to be able to have an environment variable likeOPAMDOWNLOADCACHE=d:\download-cache
.The text was updated successfully, but these errors were encountered: