Install Issue

[castrong]

When installing NeuralVerification.jl, I get the following output and error:

(castrong) pkg> add https://github.com/sisl/NeuralVerification.jl
    Updating git-repo `https://github.com/sisl/NeuralVerification.jl`
    Updating registry at `~/.julia/registries/General`
   Resolving package versions...
   Installed SCS_GPU_jll ────── v2.1.4+0
   Installed CDDLib ─────────── v0.5.3
   Installed SpecialFunctions ─ v1.8.5
   Installed GLPK ───────────── v0.12.1
   Installed Polyhedra ──────── v0.5.8
   Installed Ratios ─────────── v0.4.3
   Installed ParameterJuMP ──── v0.1.2
   Installed LazySets ───────── v1.35.0
   Installed JuMP ───────────── v0.20.1
   Installed Interpolations ─── v0.13.6
    Updating `~/Project.toml`
  [146f25fa] + NeuralVerification v0.1.0 `https://github.com/sisl/NeuralVerification.jl#master`
    Updating `~/Manifest.toml`
  [79e6a3ab] + Adapt v3.3.3
  [13072b0f] + AxisAlgorithms v1.0.1
  [6e4b80f9] + BenchmarkTools v0.4.3
  [b99e7846] + BinaryProvider v0.5.10
  [3391f64e] + CDDLib v0.5.3
  [96374032] + CRlibm v0.8.0
  [49dc2e85] + Calculus v0.5.1
  [d360d2e6] + ChainRulesCore v1.15.0
  [9e997f8a] + ChangesOfVariables v0.1.3
  [3da002f7] + ColorTypes v0.9.1
  [bbf7d656] + CommonSubexpressions v0.3.0
  [34da2185] + Compat v2.2.1
  [864edb3b] + DataStructures v0.17.20
  [163ba53b] + DiffResults v1.0.3
  [b552c78f] + DiffRules v1.11.0
  [ffbed154] + DocStringExtensions v0.8.6
  [90fa49ef] + ErrorfreeArithmetic v0.5.2
  [fa42c844] + FastRounding v0.2.0
  [53c48c17] + FixedPointNumbers v0.7.1
  [f6369f11] + ForwardDiff v0.10.30
  [60bf3e95] + GLPK v0.12.1
  [3c7084bd] + GLPKMathProgInterface v0.4.4
  [4d00f742] + GeometryTypes v0.7.10
  [a98d9a8b] + Interpolations v0.13.6
  [d1acc4aa] + IntervalArithmetic v0.16.7
  [3587e190] + InverseFunctions v0.1.4
  [92d709cd] + IrrationalConstants v0.1.1
  [692b3bcd] + JLLWrappers v1.4.1
  [682c06a0] + JSON v0.21.3
  [4076af6c] + JuMP v0.20.1
  [b4f0291d] + LazySets v1.35.0
  [2ab3a3ac] + LogExpFunctions v0.3.15
  [1914dd2f] + MacroTools v0.5.9
  [b8f27783] + MathOptInterface v0.9.7
  [fdba3010] + MathProgBase v0.7.8
  [77ba4419] + NaNMath v0.3.7
  [146f25fa] + NeuralVerification v0.1.0 `https://github.com/sisl/NeuralVerification.jl#master`
  [6fe1bfb0] + OffsetArrays v1.12.1
  [bac558e1] + OrderedCollections v1.4.1
  [774612a8] + ParameterJuMP v0.1.2
  [d96e819e] + Parameters v0.12.3
  [69de0a69] + Parsers v2.3.1
  [ff2beb65] + PicoSAT v0.3.3
  [67491407] + Polyhedra v0.5.8
  [21216c6a] + Preferences v1.3.0
  [c84ed2f1] + Ratios v0.4.3
  [3cdcf5f2] + RecipesBase v0.7.0
  [189a3867] + Reexport v0.2.0
  [ae029012] + Requires v1.3.0
  [c946c3f1] + SCS v0.7.1
  [3cc68bcd] + SetRounding v0.2.1
  [276daf66] + SpecialFunctions v1.8.5
  [90137ffa] + StaticArrays v0.12.5
  [3a884ed6] + UnPack v1.0.2
  [efce3f68] + WoodburyMatrices v0.5.5
  [efe28fd5] + OpenSpecFun_jll v0.5.5+0
  [af6e375f] + SCS_GPU_jll v2.1.4+0
  [f4f2fc5b] + SCS_jll v2.1.4+0
  [0dad84c5] + ArgTools
  [56f22d72] + Artifacts
  [2a0f44e3] + Base64
  [ade2ca70] + Dates
  [8bb1440f] + DelimitedFiles
  [8ba89e20] + Distributed
  [f43a241f] + Downloads
  [b77e0a4c] + InteractiveUtils
  [b27032c2] + LibCURL
  [76f85450] + LibGit2
  [56ddb016] + Logging
  [d6f4376e] + Markdown
  [a63ad114] + Mmap
  [ca575930] + NetworkOptions
  [44cfe95a] + Pkg
  [de0858da] + Printf
  [3fa0cd96] + REPL
  [ea8e919c] + SHA
  [1a1011a3] + SharedArrays
  [6462fe0b] + Sockets
  [fa267f1f] + TOML
  [a4e569a6] + Tar
  [8dfed614] + Test
  [cf7118a7] + UUIDs
  [4ec0a83e] + Unicode
  [e66e0078] + CompilerSupportLibraries_jll
  [deac9b47] + LibCURL_jll
  [29816b5a] + LibSSH2_jll
  [c8ffd9c3] + MbedTLS_jll
  [14a3606d] + MozillaCACerts_jll
  [4536629a] + OpenBLAS_jll
  [05823500] + OpenLibm_jll
  [83775a58] + Zlib_jll
  [8e850ede] + nghttp2_jll
  [3f19e933] + p7zip_jll
    Building GLPK ──→ `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/3420033e843e140d9237238d69937a5bc7292e5a/build.log`
ERROR: A dependency was named twice in target `test`

(castrong) pkg> 

Rerunning in a fresh environment, I got

ERROR: The following 1 direct dependency failed to precompile:

NeuralVerification [146f25fa-00e7-11e9-3ae5-fdbac6e12fa7]

Failed to precompile NeuralVerification [146f25fa-00e7-11e9-3ae5-fdbac6e12fa7] to /Users/castrong/.julia/compiled/v1.6/NeuralVerification/jl_bNstN1.
ERROR: LoadError: CDDLib not properly installed. Please run Pkg.build("CDDLib")
Stacktrace:
 [1] error(s::String)
   @ Base ./error.jl:33
 [2] top-level scope
   @ ~/.julia/packages/CDDLib/AcD7T/src/CDDLib.jl:8
 [3] include
   @ ./Base.jl:386 [inlined]
 [4] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt64}}, source::String)
   @ Base ./loading.jl:1235
 [5] top-level scope
   @ none:1
 [6] eval
   @ ./boot.jl:360 [inlined]
 [7] eval(x::Expr)
   @ Base.MainInclude ./client.jl:446
 [8] top-level scope
   @ none:1
in expression starting at /Users/castrong/.julia/packages/CDDLib/AcD7T/src/CDDLib.jl:1
ERROR: LoadError: Failed to precompile CDDLib [3391f64e-dcde-5f30-b752-e11513730f60] to /Users/castrong/.julia/compiled/v1.6/CDDLib/jl_B6APqs.
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:33
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IOContext{Base.PipeEndpoint}, internal_stdout::IOContext{IOStream}, ignore_loaded_modules::Bool)
    @ Base ./loading.jl:1385
  [3] compilecache(pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1329
  [4] _require(pkg::Base.PkgId)
    @ Base ./loading.jl:1043
  [5] require(uuidkey::Base.PkgId)
    @ Base ./loading.jl:936
  [6] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:923
  [7] include
    @ ./Base.jl:386 [inlined]
  [8] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt64}}, source::Nothing)
    @ Base ./loading.jl:1235
  [9] top-level scope
    @ none:1
 [10] eval
    @ ./boot.jl:360 [inlined]
 [11] eval(x::Expr)
    @ Base.MainInclude ./client.jl:446
 [12] top-level scope
    @ none:1
in expression starting at /Users/castrong/.julia/packages/NeuralVerification/o1sqx/src/NeuralVerification.jl:1
Stacktrace:
 [1] pkgerror(msg::String)
   @ Pkg.Types /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.6/Pkg/src/Types.jl:55
 [2] precompile(ctx::Pkg.Types.Context; internal_call::Bool, strict::Bool, kwargs::Base.Iterators.Pairs{Union{}, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
   @ Pkg.API /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.6/Pkg/src/API.jl:1265
 [3] precompile
   @ /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.6/Pkg/src/API.jl:921 [inlined]
 [4] #precompile#196
   @ /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.6/Pkg/src/API.jl:919 [inlined]
 [5] precompile()
   @ Pkg.API /Users/julia/buildbot/worker/package_macos64/build/usr/share/julia/stdlib/v1.6/Pkg/src/API.jl:919
 [6] top-level scope
   @ REPL[6]:1

[castrong]

It seems to potentially be an issue with CDDLib:

Pkg.build("CDDLib")
ERROR: A dependency was named twice in target `test`

They mention the error JuliaPolyhedra/CDDLib.jl#60, perhaps it is a CDDLib and/or LazySets versioning issue?

[mykelk]

We should actually have a compat section in NeuralVerification that specifies compatible versions. That should be added.

[castrong]

I resolved the issue by running
]update

and then could successfully do
using NeuralVerification

without an error

[castrong]

@mykelk would that go in the src/NeuralVerification.jl file?

[mykelk]

It would go here:
https://github.com/sisl/NeuralVerification.jl/blob/master/Project.toml

See the Project.toml in https://github.com/sisl/OVERT.jl for an example.