search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Build fails #724

Closed mforets closed 4 years ago

mforets commented 4 years ago 
Resolving package versions...
 Installed ColorTypes ──────── v0.9.0
 Installed FixedPointNumbers ─ v0.7.1
 Installed CDDLib ──────────── v0.5.3
 Installed ParameterJuMP ───── v0.1.2
 Installed Polyhedra ───────── v0.5.7
 Installed GeometryTypes ───── v0.7.7
  Building CDDLib → `~/.julia/packages/CDDLib/AcD7T/deps/build.log`
ERROR: LoadError: LoadError: LoadError: UndefVarError: CacheMinkowskiSum not defined
Stacktrace:
 [1] include at ./boot.jl:328 [inlined]
 [2] include_relative(::Module, ::String) at ./loading.jl:1094
 [3] include at ./Base.jl:31 [inlined]
 [4] include(::String) at /home/travis/build/JuliaReach/Reachability.jl/src/ReachSets/ReachSets.jl:5
 [5] top-level scope at /home/travis/build/JuliaReach/Reachability.jl/src/ReachSets/ReachSets.jl:53
 [6] include at ./boot.jl:328 [inlined]
 [7] include_relative(::Module, ::String) at ./loading.jl:1094
 [8] include at ./Base.jl:31 [inlined]
 [9] include(::String) at /home/travis/build/JuliaReach/Reachability.jl/src/Reachability.jl:5
 [10] top-level scope at /home/travis/build/JuliaReach/Reachability.jl/src/Reachability.jl:22
 [11] include at ./boot.jl:328 [inlined]
 [12] include_relative(::Module, ::String) at ./loading.jl:1094
 [13] include(::Module, ::String) at ./Base.jl:31
 [14] top-level scope at none:2
 [15] eval at ./boot.jl:330 [inlined]
 [16] eval(::Expr) at ./client.jl:432
 [17] top-level scope at ./none:3
in expression starting at /home/travis/build/JuliaReach/Reachability.jl/src/ReachSets/ContinuousPost/BFFPSV18/check_property.jl:1
in expression starting at /home/travis/build/JuliaReach/Reachability.jl/src/ReachSets/ReachSets.jl:53
in expression starting at /home/travis/build/JuliaReach/Reachability.jl/src/Reachability.jl:22
ERROR: LoadError: Failed to precompile Reachability [774a0091-654f-5c65-bbdc-ad5b67b45832] to /home/travis/.julia/compiled/v1.2/Reachability/CHV4V.ji.
.
.
.