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
In that run, OPAMROOT = PIN_DIRECTORY so opam tries to rsync .opam/ into .opam/.../build which obviously fails.
A possible fix for this: add OPAMROOT to the list of exclude files, add a way to add new files to excludes to the opam rsync command, automatically detect cycles and add the right things to the exclude path, ...
A possible workaround: pin using -k git or -k mixed.
The text was updated successfully, but these errors were encountered:
This happens when you try to have a local OPAMROOT per project. See https://travis-ci.org/avsm/opam-boot/jobs/52260430
In that run,
OPAMROOT
=PIN_DIRECTORY
so opam tries to rsync.opam/
into.opam/.../build
which obviously fails.A possible fix for this: add
OPAMROOT
to the list of exclude files, add a way to add new files to excludes to the opam rsync command, automatically detect cycles and add the right things to the exclude path, ...A possible workaround: pin using
-k git
or-k mixed
.The text was updated successfully, but these errors were encountered: