Skip to content

Commit 077cddb

Browse files
committed
fix(docker): install C++ cross-compilers for wheel z3 builds
Python wheel cross-builds now compile bundled z3, which invokes CMake with CXX_<target>. The cross toolchain setup installed only gcc, so aarch64-linux- gnu-g++/x86_64-linux-gnu-g++ were missing and z3-sys failed at configure time. Install matching g++ cross compilers alongside gcc.
1 parent bdeaab6 commit 077cddb

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

deploy/docker/cross-build.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -50,11 +50,11 @@ install_cross_toolchain() {
5050
arm64)
5151
dpkg --add-architecture arm64
5252
apt-get update && apt-get install -y --no-install-recommends \
53-
gcc-aarch64-linux-gnu libc6-dev-arm64-cross ;;
53+
gcc-aarch64-linux-gnu g++-aarch64-linux-gnu libc6-dev-arm64-cross ;;
5454
amd64)
5555
dpkg --add-architecture amd64
5656
apt-get update && apt-get install -y --no-install-recommends \
57-
gcc-x86-64-linux-gnu libc6-dev-amd64-cross ;;
57+
gcc-x86-64-linux-gnu g++-x86-64-linux-gnu libc6-dev-amd64-cross ;;
5858
esac
5959
rm -rf /var/lib/apt/lists/*
6060
}

0 commit comments

Comments
 (0)