fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3 - #800

Merged

drew merged 16 commits into

mainfrom

fix/docker-add-openshell-prover-skeleton

Apr 11, 2026

Commits on Apr 10, 2026

fix(docker): add openshell-prover to Dockerfile skeleton stages
johntmyers
authored and
drew
committed
18279c5
fix(docker): provide z3 for CLI-building Dockerfiles
johntmyers
authored and
drew
committed
c07612f
fix(docker,ci): use bundled-z3 everywhere and add libclang-dev for bindgen
johntmyers
authored and
drew
committed
c0c0ff2
fix(ci): set CXX for musl targets so z3 bundled cmake can find a C++ compiler
johntmyers
authored and
drew
committed
494ca20
fix(ci): create musl-g++ wrapper so z3 compiles against musl headers
johntmyers
authored and
drew
committed
907a039
fix(ci): simplify musl-g++ wrapper to only disable FORTIFY_SOURCE
johntmyers
authored and
drew
committed
4141c7b
fix(release): build z3 in release artifacts
johntmyers
authored and
drew
committed
e795d55
fix(docker): allow build scripts to dlopen libclang in Alpine musl
drew
committed
92aa156
fix(ci): use zig as musl C/C++ compiler for Linux CLI builds
drew
committed
73721d6
fix(ci): strip --target flags in zig wrappers for cc-rs compatibility
drew
committed
70ddc3d
fix(ci): do not use zig as linker, only as C/C++ compiler
drew
committed
21a0ef1
fix(ci): replace zig with g++ FORTIFY_SOURCE wrapper for musl builds
drew
committed
2b739df
fix(ci): set CC for musl target so cc-rs finds the C compiler
drew
committed
cb32a37
fix(ci): use zig toolchain end-to-end for musl z3 builds
drew
committed
bdeaab6
fix(docker): install C++ cross-compilers for wheel z3 builds
drew
committed
077cddb
fix(docker): bump macOS deployment target for bundled z3 builds
drew
committed
d33f850

Navigation Menu

Uh oh!

fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3 - #800

fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3#800
drew merged 16 commits into
mainfrom
fix/docker-add-openshell-prover-skeleton

Commits on Apr 10, 2026

fix(docker): add openshell-prover to Dockerfile skeleton stages

fix(docker): provide z3 for CLI-building Dockerfiles

fix(docker,ci): use bundled-z3 everywhere and add libclang-dev for bindgen

fix(ci): set CXX for musl targets so z3 bundled cmake can find a C++ compiler

fix(ci): create musl-g++ wrapper so z3 compiles against musl headers

fix(ci): simplify musl-g++ wrapper to only disable FORTIFY_SOURCE

fix(release): build z3 in release artifacts

fix(docker): allow build scripts to dlopen libclang in Alpine musl

fix(ci): use zig as musl C/C++ compiler for Linux CLI builds

fix(ci): strip --target flags in zig wrappers for cc-rs compatibility

fix(ci): do not use zig as linker, only as C/C++ compiler

fix(ci): replace zig with g++ FORTIFY_SOURCE wrapper for musl builds

fix(ci): set CC for musl target so cc-rs finds the C compiler

fix(ci): use zig toolchain end-to-end for musl z3 builds

fix(docker): install C++ cross-compilers for wheel z3 builds

fix(docker): bump macOS deployment target for bundled z3 builds