add libz3

2025-09-24 04:40:05 +00:00 · 2022-03-10 22:19:03 +01:00 · 2022-03-10 22:19:03 +01:00 · b504b729ae
commit b504b729ae
parent 4509885164
1 changed files with 1 additions and 0 deletions
--- a/Dockerfile.env
+++ b/Dockerfile.env
@ -24,6 +24,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
        libgmp3-dev \
        libprocps-dev \
        libssl-dev \
+        libz3-dev \
        pkg-config \
        clang-format \
        python3 \