From 2d88ebef11bdc03a405ef27739c4bb45d5564db9 Mon Sep 17 00:00:00 2001
From: Sirui Lu <siruilu@cs.washington.edu>
Date: Fri, 12 Jan 2024 09:45:30 -0800
Subject: [PATCH] Add grisette

---
 build-constraints.yaml      |  3 +++
 docker/03-custom-install.sh | 10 ++++++++++
 2 files changed, 13 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 6b8bc90df..10b659368 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -13,6 +13,9 @@ packages:
     "Dominick Samperi <djsamperi@gmail.com> @djsamperi":
         - mathlist
 
+    "Sirui Lu <lsrcz@outlook.com> @lsrcz":
+        - grisette
+
     "Alexey Tochin <Alexey.Tochin@gmail.com> @alexeytochin":
         - simple-expr
         - inf-backprop
diff --git a/docker/03-custom-install.sh b/docker/03-custom-install.sh
index 3698a2e6f..e14933711 100755
--- a/docker/03-custom-install.sh
+++ b/docker/03-custom-install.sh
@@ -75,6 +75,16 @@ wget -qO - https://packages.confluent.io/deb/5.2/archive.key | apt-key add -
 add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"
 apt-get update && apt install -y librdkafka-dev
 
+# Install z3, for grisette test suite
+Z3_VER=4.12.4
+(
+  cd /usr/local \
+    && wget https://github.com/Z3Prover/z3/releases/download/z3-${Z3_VER}/z3-${Z3_VER}-x64-glibc-2.35.zip \
+    && unzip z3-${Z3_VER}-x64-glibc-2.35.zip \
+    && rm z3-${Z3_VER}-x64-glibc-2.35.zip \
+    && ln -s /usr/local/z3-${Z3_VER}-x64-glibc-2.35/bin/z3 /usr/bin/z3
+)
+
 LIBJWT_VER=1.12.1
 (
 pushd /tmp \