Issue with Install

[chelseas]

Getting this error on install into a new environment:

(certificate_verification) pkg> add https://github.com/sisl/NeuralVerification.jl#master
    Updating git-repo `https://github.com/sisl/NeuralVerification.jl`
   Resolving package versions...
   Installed SCS ── v0.6.6
   Installed JuMP ─ v0.21.5
    Updating `~/certificates/certificate_verification/Project.toml`
  [146f25fa] + NeuralVerification v0.1.0 `https://github.com/sisl/NeuralVerification.jl#master`
    Updating `~/certificates/certificate_verification/Manifest.toml`
  [79e6a3ab] + Adapt v3.3.3
  [13072b0f] + AxisAlgorithms v1.0.1
  [b99e7846] + BinaryProvider v0.5.10
  [3391f64e] + CDDLib v0.7.0
  [9a962f9c] + DataAPI v1.9.0
  [e2d170a0] + DataValueInterfaces v1.0.0
  [60bf3e95] ↓ GLPK v1.0.1 ⇒ v0.13.0
  [3c7084bd] + GLPKMathProgInterface v0.5.0
  [14197337] + GenericLinearAlgebra v0.2.7
  [5c1252a2] + GeometryBasics v0.4.2
  [cd3eb016] + HTTP v0.9.17
  [83e8ac13] + IniFile v0.5.1
  [a98d9a8b] + Interpolations v0.13.5
  [c8e1da08] + IterTools v1.4.0
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [7d188eb4] + JSONSchema v0.3.4
  [4076af6c] ↓ JuMP v1.0.0 ⇒ v0.21.5
  [b8f27783] ↓ MathOptInterface v1.1.2 ⇒ v0.9.22
  [fdba3010] + MathProgBase v0.7.8
  [739be429] + MbedTLS v1.0.3
  [d8a4904e] ↓ MutableArithmetics v1.0.0 ⇒ v0.2.22
  [146f25fa] + NeuralVerification v0.1.0 `https://github.com/sisl/NeuralVerification.jl#master`
  [6fe1bfb0] + OffsetArrays v1.10.8
  [d96e819e] + Parameters v0.12.3
  [ff2beb65] + PicoSAT v0.3.3
  [67491407] + Polyhedra v0.6.17
  [c84ed2f1] + Ratios v0.4.3
  [c946c3f1] + SCS v0.6.6
  [09ab397b] + StructArrays v0.6.5
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.7.0
  [5c2747f8] + URIs v1.3.0
  [3a884ed6] + UnPack v1.0.2
  [efce3f68] + WoodburyMatrices v0.5.5
  [5ae413db] + EarCut_jll v2.2.3+0
  [e8aa6df9] ↓ GLPK_jll v5.0.1+0 ⇒ v4.64.0+0
  [f07e07eb] + cddlib_jll v0.94.10+1
    Building SCS → `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/936d43feaceae3290472ddf800b496be094d727b/build.log`
ERROR: Error building `SCS`:
[ Info: Downloading https://github.com/JuliaOpt/SCSBuilder/releases/download/v2.1.1/SCSBuilder.v2.1.1.x86_64-linux-gnu-gcc7.tar.gz to /home/csidrane/.julia/packages/SCS/28Svy/deps/u
sr/downloads/SCSBuilder.v2.1.1.x86_64-linux-gnu-gcc7.tar.gz...
ERROR: LoadError: LibraryProduct(nothing, ["libscsindir"], :indirect, "Prefix(/home/csidrane/.julia/packages/SCS/28Svy/deps/usr)") is not satisfied, cannot generate deps.jl!
Stacktrace:
 [1] error(s::String)
   @ Base ./error.jl:33
 [2] write_deps_file(depsjl_path::String, products::Vector{LibraryProduct}; verbose::Bool, isolate::Bool)
   @ BinaryProvider ~/.julia/packages/BinaryProvider/U2dKK/src/Products.jl:419
 [3] top-level scope
   @ ~/.julia/packages/SCS/28Svy/deps/build.jl:94
 [4] include(fname::String)
   @ Base.MainInclude ./client.jl:444
 [5] top-level scope
   @ none:5
in expression starting at /home/csidrane/.julia/packages/SCS/28Svy/deps/build.jl:94
[15:20:03] ######################################################################## 100.0%

Also why are the JuMP, GLPK and MathOptInterface versions so old? Can we bump them to latest?

[odow]

Also why are the JuMP, GLPK and MathOptInterface versions so old? Can we bump them to latest?

@chelseas this is your problem. You can't install the latest version of SCS with an old version of JuMP and GLPK. The correct solution is to update this package.

The reason that Julia doesn't find you a feasible set of packages to install is because NeuralVerification doesn't specify it's compatibility bounds:

NeuralVerification.jl/Project.toml

Lines 27 to 30 in 237f092

	[compat]
	julia = ">= 1.5"

x-ref jump-dev/SCS.jl#254

[odow]

It might be sufficient to just remove

NeuralVerification.jl/Project.toml

Line 8 in 237f092

GLPKMathProgInterface = "3c7084bd-78ad-589a-b5bb-dbd673274bea"

from Project.toml.

[chelseas]

Ohhhh! It wasn't a mysterious solution to SCS -- I updated JuMP to 0.21.10.

Wait I don't understand -- if NeuralVerification.jl is fine with any version of JuMP and GLPK why can't Julia find a feasible set of packages to install?

[odow]

1. You're trying to install https://github.com/JuliaOpt/GLPKMathProgInterface.jl
2. Which limits GLPK to v0.13 https://github.com/JuliaOpt/GLPKMathProgInterface.jl/blob/26f755770f8b70a81ade83cd1e6d85fa8c8254c9/Project.toml#L12-L13
3. Which limits MOI to v0.9 https://github.com/jump-dev/GLPK.jl/blob/a92bcc69814c9613a338e02f159a6ea31bd57f7c/Project.toml#L16
4. Which means you're forced to install an old version of SCS

Ideally the SCS would still install, but the BinaryProvider infrastructure is brittle, particularly on new machines (are you on a Mac? Julia 1.7?). It's one reason why we changed from BinaryProvider to the JLL packages, and now we never have these issues 😄.

[tomerarnon]

Hi @chelseas, does this mean you solved the problem? I could take a look at whether we need GLPKMathProgInterface anymore if need be, since it sounds like removing it would resolve the issue as well.

[chelseas]

Yea if you could take a look that would be great.

…

On Wed, Apr 13, 2022, 3:26 PM tomerarnon ***@***.***> wrote: Hi @chelseas <https://github.com/chelseas>, does this mean you solved the problem? I could take a look at whether we need GLPKMathProgInterface anymore if need be, since it sounds like removing it would resolve the issue as well. — Reply to this email directly, view it on GitHub <#201 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ADRQXSRSTZZGFSA6GRA6JBLVE5CZNANCNFSM5TIWUBAQ> . You are receiving this because you were mentioned.Message ID: ***@***.***>