add z3 package

[zooko]

Looks like the z3 package is needed for the z3 test:

---- 1: z3

run 1: z3 sys: SYSMALLOC=1 z3 -smt2 /home/usern/playground/mimalloc-bench-upstream/bench/z3/test1.smt2
/usr/bin/env: ‘z3’: No such file or directory
Command exited with non-zero status 127
z3          sys   0:00.00 2112 0.00 0.00 0 85

This patch makes it work on Ubuntu:

diff --git a/build-bench-env.sh b/build-bench-env.sh
index bc5a5a7..e040fd1 100755
--- a/build-bench-env.sh
+++ b/build-bench-env.sh
@@ -450,7 +450,7 @@ if test "$setup_packages" = "1"; then
     aptinstall "build-essential git gpg g++ clang lld llvm-dev unzip dos2unix linuxinfo bc libgmp-dev wget \
       cmake python3 ruby ninja-build libtool autoconf sed ghostscript time \
       curl automake libatomic1 libgflags-dev libsnappy-dev zlib1g-dev libbz2-dev \
-      liblz4-dev libzstd-dev libreadline-dev pkg-config gawk util-linux"
+      liblz4-dev libzstd-dev libreadline-dev pkg-config gawk util-linux z3"
     aptinstallbazel
   elif grep -q -e 'ID=alpine' /etc/os-release 2>/dev/null; then
     echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories

[mjp41]

Would you be able to submit this as a PR?

[zooko]

Maybe! I haven't figured out a quick and painless way to do that with git+github yet...

[mjp41]

If you push a branch to your fork, then you should just be able to create a PR. That can just cherry-pick the change you have in your repo.

[zooko]

Hm, I tried this, but it didn't work -- it submitted a PR with all of my patches that I've made to my fork. I might try again at some point, but no promises! :-)