Compilation Awfully slow over NFS
Closed this issue · 0 comments
DmxLarchey commented
This may be unrelated to this particular library or even Coq. But compiling the library over NFS (Network File System) is awfully slow for me, especially parallel compilation which slows things down even more. Opam is also very slow BTW.
My guess is that the web of Import generates too much load on the server but I am not sure of that.
Maybe we should add a warning that compiling over NFS is going to be VERY slow.
D.