search

ahumenberger / Z3.jl

Julia interface to Z3
MIT License
57 stars 7 forks source link

Build fails #21

Closed nsajko closed 9 months ago

nsajko commented 2 years ago 
(@v1.9) pkg> add Z3
   Resolving package versions...
    Updating `~/.julia/environments/v1.9/Project.toml`
  [06b161dc] + Z3 v0.4.2
    Updating `~/.julia/environments/v1.9/Manifest.toml`
  [1f15a43c] + CxxWrap v0.12.1
  [06b161dc] + Z3 v0.4.2
  [3eaa8342] + libcxxwrap_julia_jll v0.9.2+0
  [1bc4e1ec] + z3_jll v4.8.14+0
Precompiling project...
  ✗ Z3
  0 dependencies successfully precompiled in 2 seconds. 51 already precompiled. 1 skipped during auto due to previous errors.
  1 dependency errored. To see a full report either run `import Pkg; Pkg.precompile()` or load the package

julia> using Z3
[ Info: Precompiling Z3 [06b161dc-0161-11ea-0f74-41f836f4024b]
C++ exception while wrapping module Z3: invalid subtyping in definition of Config with supertype Any
ERROR: LoadError: invalid subtyping in definition of Config with supertype Any
Stacktrace:
 [1] register_julia_module
   @ ~/.julia/packages/CxxWrap/IdOJa/src/CxxWrap.jl:405 [inlined]
 [2] readmodule(so_path::String, funcname::Symbol, m::Module, flags::Nothing)
   @ CxxWrap.CxxWrapCore ~/.julia/packages/CxxWrap/IdOJa/src/CxxWrap.jl:734
 [3] wrapmodule(so_path::String, funcname::Symbol, m::Module, flags::Nothing)
   @ CxxWrap.CxxWrapCore ~/.julia/packages/CxxWrap/IdOJa/src/CxxWrap.jl:738
 [4] include
   @ ./Base.jl:439 [inlined]
 [5] 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:1651
in expression starting at /home/nsajko/.julia/packages/Z3/ev2u5/src/Z3.jl:1
in expression starting at stdin:1
ERROR: Failed to precompile Z3 [06b161dc-0161-11ea-0f74-41f836f4024b] to /home/nsajko/.julia/compiled/v1.9/Z3/jl_kAfR9S.
Stacktrace:
 [1] error(s::String)
   @ Base ./error.jl:35
 [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool)
   @ Base ./loading.jl:1804
 [3] compilecache
   @ ./loading.jl:1748 [inlined]
 [4] _require(pkg::Base.PkgId, env::String)
   @ Base ./loading.jl:1434
 [5] _require_prelocked(uuidkey::Base.PkgId, env::String)
   @ Base ./loading.jl:1298
 [6] macro expansion
   @ ./loading.jl:1278 [inlined]
 [7] macro expansion
   @ ./lock.jl:267 [inlined]
 [8] require(into::Module, mod::Symbol)
   @ Base ./loading.jl:124