The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

Le 09/08/2020 à 14:03, Michael Soegtrop a écrit :

> But I would think that the opam sandbox is much more restricted, so the
> access right differences between MacPorts and homebrew shouldn't matter.
> Anyway I can't imagine remake is creating files in a folder like
> /usr/local, homebrew makes writable.

To make things clearer, the above failure is primarily encountered when
remake tries to bind a unix socket inside the temporary directory. To
investigate the issue, have a look at the sandbox logs to see which
system call macOS denied and why.

Perhaps homebrew and macports are using different temporary directories
and opam does not enable the one advertised by macports.

Best regards,

Guillaume