包安装不成功问题

请问大家,我安装 Dierckx 和 JLD2 为什么不成功。看上去是同样的原因。
版本 julia 1.4 平台 linux。使用了社区置顶帖里大佬给的服务器连接。

(v1.4) pkg> add Dierckx
  Resolving package versions...
  Installed Dierckx ─ v0.4.1
   Updating `/project/xxx/.julia/environments/v1.4/Project.toml`
  [39dd38d3] + Dierckx v0.4.1
   Updating `/project/xxx/.julia/environments/v1.4/Manifest.toml`
  [39dd38d3] + Dierckx v0.4.1
   Building Dierckx → `~/project/.julia/packages/Dierckx/9SY4A/deps/build.log`
┌ Error: Error building `Dierckx`:
└ @ Pkg.Operations /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Operations.jl:892

(v1.4) pkg> add JLD2
    Cloning default registries into `~/project/.julia`
######################################################################## 100.0%
      Added registry `General` to `~/project/.julia/registries/General`
  Resolving package versions...
  Installed OrderedCollections ─ v1.1.0
  Installed DataStructures ───── v0.17.11
  Installed JLD2 ─────────────── v0.1.12
  Installed BinaryProvider ───── v0.5.8
  Installed CodecZlib ────────── v0.6.0
  Installed TranscodingStreams ─ v0.9.5
  Installed FileIO ───────────── v1.2.4
   Updating `/project/xxx/.julia/environments/v1.4/Project.toml`
  [033835bb] + JLD2 v0.1.12
   Updating `/project/xxx/.julia/environments/v1.4/Manifest.toml`
  [b99e7846] + BinaryProvider v0.5.8
  [944b1d66] + CodecZlib v0.6.0
  [864edb3b] + DataStructures v0.17.11
  [5789e2e9] + FileIO v1.2.4
  [033835bb] + JLD2 v0.1.12
  [bac558e1] + OrderedCollections v1.1.0
  [3bb67fe8] + TranscodingStreams v0.9.5
  [2a0f44e3] + Base64
  [ade2ca70] + Dates
  [8ba89e20] + Distributed
  [b77e0a4c] + InteractiveUtils
  [76f85450] + LibGit2
  [8f399da3] + Libdl
  [56ddb016] + Logging
  [d6f4376e] + Markdown
  [a63ad114] + Mmap
  [44cfe95a] + Pkg
  [de0858da] + Printf
  [3fa0cd96] + REPL
  [9a3f8284] + Random
  [ea8e919c] + SHA
  [9e88b42a] + Serialization
  [6462fe0b] + Sockets
  [8dfed614] + Test
  [cf7118a7] + UUIDs
  [4ec0a83e] + Unicode
   Building CodecZlib → `~/project/.julia/packages/CodecZlib/5t9zO/deps/build.log`
┌ Error: Error building `CodecZlib`:
│ ERROR: LoadError: Failed to precompile BinaryProvider [b99e7846-7c00-51b0-8f62-c81ae34c0232] to /home/xxx/project/.julia/compiled/v1.4/BinaryProvider/ek6V
Z_WdglG.ji.
│ Stacktrace:
│  [1] error(::String) at ./error.jl:33
│  [2] compilecache(::Base.PkgId, ::String) at ./loading.jl:1272
│  [3] _require(::Base.PkgId) at ./loading.jl:1029
│  [4] require(::Base.PkgId) at ./loading.jl:927
│  [5] require(::Module, ::Symbol) at ./loading.jl:922
│  [6] include(::String) at ./client.jl:439
│  [7] top-level scope at none:5
│ in expression starting at /home/xxx/project/.julia/packages/CodecZlib/5t9zO/deps/build.jl:1
└ @ Pkg.Operations /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.4/Pkg/src/Operations.jl:892

我也是Julia 1.4, Linux, 我没有问题。我猜测是因为你没有挂代理,在build 的时候有时候需要下东西,这一部分还是不会从pkgserver 下载。
你可以在~/.julia/config/startup.jl 中设置代理

ENV["HTTP_PROXY"] = "http://127.0.0.1:12333"
ENV["HTTPS_PROXY"] = "http://127.0.0.1:12333"