Bump CxxWrap to v0.17 by blegat · Pull Request #27 · sisl/Spot.jl

blegat · 2026-01-09T08:02:52Z

Needed to support Julia v1.12

mykelk · 2026-01-09T15:11:38Z

It appears that there is a build failure for 1.12?

Failed to precompile CxxWrap [1f15a43c-97ca-5a2a-ae31-89f07a497df4] to "C:\\Users\\runneradmin\\.julia\\compiled\\v1.12\\CxxWrap\\jl_E822.tmp".
C++ exception while wrapping module StdLib: invalid subtyping in definition of StdString with supertype CppBasicString
ERROR: LoadError: invalid subtyping in definition of StdString with supertype CppBasicString
Stacktrace:
  [1] register_julia_module
    @ C:\Users\runneradmin\.julia\packages\CxxWrap\J8Cop\src\CxxWrap.jl:424 [inlined]
  [2] readmodule(so_path_cb::typeof(CxxWrap.StdLib.get_libcxxwrap_julia_stl_path), funcname::Symbol, m::Module, flags::UInt32)
    @ CxxWrap.CxxWrapCore C:\Users\runneradmin\.julia\packages\CxxWrap\J8Cop\src\CxxWrap.jl:815
  [3] wrapmodule(so_path_cb::Function, funcname::Symbol, m::Module, flags::UInt32)
    @ CxxWrap.CxxWrapCore C:\Users\runneradmin\.julia\packages\CxxWrap\J8Cop\src\CxxWrap.jl:825
  [4] include(mapexpr::Function, mod::Module, _path::String)
    @ Base .\Base.jl:307
  [5] include(mod::Module, _path::String)
    @ Base .\Base.jl:306
  [6] 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, UInt128}}, source::Nothing)
    @ Base .\loading.jl:3024
  [7] eval(m::Module, e::Any)
    @ Core .\boot.jl:489
  [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base .\loading.jl:2870
  [9] include_string
    @ .\loading.jl:2880 [inlined]
 [10] exec_options(opts::Base.JLOptions)
    @ Base .\client.jl:315
 [11] _start()
    @ Base .\client.jl:550
in expression starting at C:\Users\runneradmin\.julia\packages\CxxWrap\J8Cop\src\StdLib.jl:1
in expression starting at C:\Users\runneradmin\.julia\packages\CxxWrap\J8Cop\src\CxxWrap.jl:1
in expression starting at stdin:5
in expression starting at D:\a\_actions\julia-actions\julia-runtest\v1\test_harness.jl:62
Error: Process completed with exit code 1.

Updated libcxxwrap_julia_jll version from 0.12.3 to 0.12.7.

blegat · 2026-01-10T08:49:22Z

CxxWrap v0.15 was still being used instead of v0.17, we probably need to also bump libcxxwrap_julia_jll

mykelk · 2026-01-10T16:49:22Z

It works on Julia nightly, but not Julia 1 and 1.6. I think you will need to add multiple version options for the _jll?

blegat · 2026-01-12T07:44:12Z

Oops, I wrote 0.12.7 but the latest is 0.14.7. Let's try 0.14.7 and if it still doesn't work we probably have to try allowing multiple versions

ERROR: LoadError: Unsatisfiable requirements detected for package libcxxwrap_julia_jll [3eaa8342]:
 libcxxwrap_julia_jll [3eaa8342] log:
 ├─possible versions are: 0.6.5 - 0.14.7 or uninstalled
 └─restricted to versions 0.12.7 - 0.12 by Spot [f11abc24] — no versions left

mykelk · 2026-01-12T14:43:49Z

Yeah, works on nightly, but fails on 1 and 1.6:

Failed to precompile Spot [f11abc24-ce50-11e8-2475-af6658d13f2b] to "/home/runner/.julia/compiled/v1.12/Spot/jl_YA1NcS".
C++ exception while wrapping module Spot: invalid subtyping in definition of Formula with supertype Any
fatal: error thrown and no exception handler available.
TypeError(func=:typeassert, context="", expected=Union{Nothing, Core.CodeInfo, Core.CodeInstance, Core.MethodInstance}, got=<?#0x7fffdd7c3c98::
[5432] signal 11 (128): Segmentation fault
in expression starting at none:0
jl_static_is_function_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:819 [inlined]
jl_static_show_x_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1336
jl_static_show_next_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1491
jl_static_show_x_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1427
jl_static_show_next_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1491
jl_static_show_x_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1402
jl_static_show_next_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1491
ijl_no_exc_handler at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/task.c:732
true_main at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/jlapi.c:978
jl_repl_entrypoint at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/jlapi.c:1139
main at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/cli/loader_exe.c:58
unknown function (ip: 0x7f24bc42a1c9) at /lib/x86_64-linux-gnu/libc.so.6
__libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
Allocations: 1289406 (Pool: 1289314; Big: 92); GC: 
in expression starting at /home/runner/work/_actions/julia-actions/julia-runtest/v1/test_harness.jl:62
Error: Process completed with exit code 1.

blegat · 2026-01-13T17:28:27Z

Just updated Spot_julia_jll, might help

mykelk · 2026-01-13T19:04:25Z

Still fails for 1 and 1.6, but passes for nightly:

ailed to precompile Spot [f11abc24-ce50-11e8-2475-af6658d13f2b] to "/home/runner/.julia/compiled/v1.12/Spot/jl_to2OR8".
C++ exception while wrapping module Spot: invalid subtyping in definition of Formula with supertype Any
fatal: error thrown and no exception handler available.
TypeError(func=:typeassert, context="", expected=Union{Nothing, Core.CodeInfo, Core.CodeInstance, Core.MethodInstance}, got=<?#0x7ffd78c0ac18::
[5370] signal 11 (128): Segmentation fault
in expression starting at none:0
jl_static_is_function_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:819 [inlined]
jl_static_show_x_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1336
jl_static_show_next_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1491
jl_static_show_x_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1427
jl_static_show_next_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1491
jl_static_show_x_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1402
jl_static_show_next_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1491
ijl_no_exc_handler at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/task.c:732
true_main at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/jlapi.c:978
jl_repl_entrypoint at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/jlapi.c:1139
main at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/cli/loader_exe.c:58
unknown function (ip: 0x7ff3a662a1c9) at /lib/x86_64-linux-gnu/libc.so.6
__libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
Allocations: 1287728 (Pool: 1287636; Big: 92); GC: 
in expression starting at /home/runner/work/_actions/julia-actions/julia-runtest/v1/test_harness.jl:62
Error: Process completed with exit code 1.

mykelk · 2026-01-16T17:40:53Z

1.6 and nightly both work, but with 1 we have:

Failed to precompile Spot [f11abc24-ce50-11e8-2475-af6658d13f2b] to "/home/runner/.julia/compiled/v1.12/Spot/jl_VJdUNz".
C++ exception while wrapping module Spot: invalid subtyping in definition of Formula with supertype Any
fatal: error thrown and no exception handler available.
TypeError(func=:typeassert, context="", expected=Union{Nothing, Core.CodeInfo, Core.CodeInstance, Core.MethodInstance}, got=<?#0x7ffe8707a2b8::
[5419] signal 11 (128): Segmentation fault
in expression starting at none:0
jl_static_is_function_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:819 [inlined]
jl_static_show_x_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1336
jl_static_show_next_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1491
jl_static_show_x_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1427
jl_static_show_next_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1491
jl_static_show_x_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1402
jl_static_show_next_ at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/rtutils.c:1491
ijl_no_exc_handler at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/task.c:732
true_main at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/jlapi.c:978
jl_repl_entrypoint at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/src/jlapi.c:1139
main at /cache/build/tester-amdci4-14/julialang/julia-release-1-dot-12/cli/loader_exe.c:58
unknown function (ip: 0x7f77a942a1c9) at /lib/x86_64-linux-gnu/libc.so.6
__libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line)
unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S
Allocations: 1286664 (Pool: 1286570; Big: 94); GC: 
in expression starting at /home/runner/work/_actions/julia-actions/julia-runtest/v1/test_harness.jl:62
Error: Process completed with exit code 1.

This reverts commit e031de9.

We're having trouble to make it work in sisl/Spot.jl#27 so I wanted to check whether this work with this package

blegat · 2026-01-17T08:35:09Z

Let's see with laurentbartholdi/Buchi.jl#11
The latest update to the jll was JuliaPackaging/Yggdrasil#11342, sometimes, making a new update to trigger a rebuild helps

mykelk · 2026-01-17T10:28:17Z

Still fails on 1

This reverts commit 6c4040a.

This reverts commit 63f9af6.

mykelk · 2026-01-17T13:05:07Z

Same issue

blegat · 2026-01-17T13:32:53Z

Let's just rebuild it: JuliaPackaging/Yggdrasil#12973

mykelk · 2026-01-18T21:05:22Z

Cool. Let me know when I should retry.

mykelk · 2026-01-19T22:42:11Z

Great! It works for 1 and nightly. For 1.6, I think you just need to add in a satisfying version. See below:

ERROR: LoadError: Unsatisfiable requirements detected for package libcxxwrap_julia_jll [3eaa8342]:
 libcxxwrap_julia_jll [3eaa8342] log:
 ├─possible versions are: 0.6.5-0.14.7 or uninstalled
 ├─restricted by julia compatibility requirements to versions: [0.6.5-0.8.0, 0.8.5-0.8.6, 0.8.8-0.14.4] or uninstalled
 ├─restricted by compatibility requirements with CxxWrap [1f15a43c] to versions: [0.8.0-0.9.7, 0.12.2-0.14.7], leaving only versions: [0.8.0, 0.8.5-0.8.6, 0.8.8-0.9.7, 0.12.2-0.14.4]
 │ └─CxxWrap [1f15a43c] log:
 │   ├─possible versions are: 0.7.0-0.17.4 or uninstalled
 │   ├─restricted to versions [0.11-0.12, 0.15-0.17] by Spot [f11abc24], leaving only versions [0.11.0-0.12.1, 0.15.0-0.17.4]
 │   │ └─Spot [f11abc24] log:
 │   │   ├─possible versions are: 0.2.5 or uninstalled
 │   │   └─Spot [f11abc24] is fixed to version 0.2.5
 │   └─restricted by julia compatibility requirements to versions: 0.7.0-0.17.3 or uninstalled, leaving only versions: [0.11.0-0.12.1, 0.15.0-0.17.3]
 └─restricted by compatibility requirements with Spot_julia_jll [b9ff107b] to versions: 0.14.7 — no versions left
   └─Spot_julia_jll [b9ff107b] log:
     ├─possible versions are: 2.9.7-2.14.5 or uninstalled
     └─restricted to versions 2.14.5-2 by Spot [f11abc24], leaving only versions 2.14.5
       └─Spot [f11abc24] log: see above

blegat · 2026-01-20T08:44:14Z

They dropped support for Julia v1.6 because the new LTS is Julia v1.10, let's do the same

mykelk · 2026-01-20T12:33:46Z

Merged! Thanks!

Bump CxxWrap to v0.17

a88c556

Needed to support Julia v1.12

Update libcxxwrap_julia_jll version

8b5925a

Updated libcxxwrap_julia_jll version from 0.12.3 to 0.12.7.

blegat commented Jan 12, 2026

View reviewed changes

Comment thread Project.toml Outdated

Bump to v0.14.7

55e67b9

blegat commented Jan 13, 2026

View reviewed changes

Comment thread Project.toml Outdated

Update Project.toml

093fd7c

blegat mentioned this pull request Jan 16, 2026

test with Spot dionysos-dev/Dionysos.jl#462

Merged

1 task

Remove compat bounds on libcxxwrap_julia

e031de9

blegat added 2 commits January 17, 2026 09:22

Revert "Remove compat bounds on libcxxwrap_julia"

63f9af6

This reverts commit e031de9.

v0.14.3

6c4040a

blegat added a commit to blegat/Buchi.jl that referenced this pull request Jan 17, 2026

Add 1.12 to ci

68420a2

We're having trouble to make it work in sisl/Spot.jl#27 so I wanted to check whether this work with this package

blegat mentioned this pull request Jan 17, 2026

Add 1.12 to ci laurentbartholdi/Buchi.jl#11

Open

blegat added 2 commits January 17, 2026 12:55

Revert "v0.14.3"

49e656f

This reverts commit 6c4040a.

Reapply "Remove compat bounds on libcxxwrap_julia"

6120d05

This reverts commit 63f9af6.

Bump Spot_jll

66410d4

Drop Julia v1.6

881f5b2

mykelk merged commit dbb837d into sisl:master Jan 20, 2026
10 checks passed

Conversation

blegat commented Jan 9, 2026

Uh oh!

mykelk commented Jan 9, 2026

Uh oh!

blegat commented Jan 10, 2026

Uh oh!

mykelk commented Jan 10, 2026

Uh oh!

Uh oh!

blegat commented Jan 12, 2026

Uh oh!

mykelk commented Jan 12, 2026

Uh oh!

Uh oh!

blegat commented Jan 13, 2026

Uh oh!

mykelk commented Jan 13, 2026

Uh oh!

mykelk commented Jan 16, 2026

Uh oh!

blegat commented Jan 17, 2026

Uh oh!

mykelk commented Jan 17, 2026

Uh oh!

mykelk commented Jan 17, 2026

Uh oh!

blegat commented Jan 17, 2026

Uh oh!

mykelk commented Jan 18, 2026

Uh oh!

mykelk commented Jan 19, 2026

Uh oh!

blegat commented Jan 20, 2026

Uh oh!

Uh oh!

mykelk commented Jan 20, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants