Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Build fails #724

Closed
mforets opened this issue Jan 14, 2020 · 0 comments · Fixed by #725
Closed

Build fails #724

mforets opened this issue Jan 14, 2020 · 0 comments · Fixed by #725
Assignees
Labels

Comments

@mforets
Copy link
Member

mforets commented Jan 14, 2020

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.
.
.
.
@mforets mforets added the bug label Jan 14, 2020
@schillic schillic self-assigned this Jan 15, 2020
schillic added a commit that referenced this issue Jan 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants