I’m building Julia 1.0.3 (and probably 0.7.0) for deployment on a KNL cluster which sits behind a proxy. Cross-compilation succeeds and julia repl runs, as long as there is no need to load dependencies (e.g. MPI) at run-time. We are able to run git and curl from command line on these systems, but julia appears to be installing it’s own versions of these, and they are unable to navigate the proxy; support is explicitly disabled in curl. The error returned in the repl is:
(v1.0) pkg> add MPI Cloning default registries into /home/willmore/.julia/registries Cloning registry General from "https://github.com/JuliaRegistries/General.git" ERROR: failed to clone from https://github.com/JuliaRegistries/General.git, error: GitError(Code:ERROR, Class:Net, curl error: error:140770FC:SSL routines:SSL23_GET_SERVER_HELLO:unknown protocol )
Is there a way to configure julia installation so that it will build a curl which respects the proxy?