From bb381fe2815a977edb70b6a56f263a234af1c5e1 Mon Sep 17 00:00:00 2001
From: Germain Chazot <germain@edited.com>
Date: Sun, 15 Dec 2024 03:25:59 +0100
Subject: [PATCH] Install Z3 when running 2023 tests

---
 .github/workflows/run_tests.yml |  8 ++++++++
 year_2023/Cargo.lock            | 19 -------------------
 year_2023/Cargo.toml            |  2 +-
 3 files changed, 9 insertions(+), 20 deletions(-)

diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml
index e25db8d..ccae114 100644
--- a/.github/workflows/run_tests.yml
+++ b/.github/workflows/run_tests.yml
@@ -54,6 +54,14 @@ jobs:
         if: ${{ matrix.language == 'python'}}
         run: python -m unittest discover -t . -s ${{ matrix.folder }} -p "*.py"
 
+      - name: Setup Z3
+        if: ${{ matrix.folder == 'year_2023' }}
+        id: z3
+        uses: cda-tum/setup-z3@v1
+        with:
+          add_to_library_path: true
+          version: 4.11.2
+
       - name: Setup Rust
         if: ${{ matrix.language == 'rust' }}
         uses: dtolnay/rust-toolchain@stable
diff --git a/year_2023/Cargo.lock b/year_2023/Cargo.lock
index b02ad8b..950a512 100644
--- a/year_2023/Cargo.lock
+++ b/year_2023/Cargo.lock
@@ -50,15 +50,6 @@ version = "2.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "b048fb63fd8b5923fc5aa7b340d8e156aec7ec02f0c78fa8a6ddc2613f6f71de"
 
-[[package]]
-name = "cc"
-version = "1.2.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "27f657647bcff5394bf56c7317665bbf790a137a50eaaa5c6bfbb9e27a518f2d"
-dependencies = [
- "shlex",
-]
-
 [[package]]
 name = "cexpr"
 version = "0.6.0"
@@ -85,15 +76,6 @@ dependencies = [
  "libloading",
 ]
 
-[[package]]
-name = "cmake"
-version = "0.1.52"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c682c223677e0e5b6b7f63a64b9351844c3f1b1678a68b7ee617e30fb082620e"
-dependencies = [
- "cc",
-]
-
 [[package]]
 name = "glob"
 version = "0.3.1"
@@ -336,5 +318,4 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "d7cf70fdbc0de3f42b404f49b0d4686a82562254ea29ff0a155eef2f5430f4b0"
 dependencies = [
  "bindgen",
- "cmake",
 ]
diff --git a/year_2023/Cargo.toml b/year_2023/Cargo.toml
index 03c55d1..4c4cc79 100644
--- a/year_2023/Cargo.toml
+++ b/year_2023/Cargo.toml
@@ -7,4 +7,4 @@ edition = "2021"
 
 [dependencies]
 aoc_utils = { path = "../aoc_utils" }
-z3 = { version = "0.12", features = ["static-link-z3"] }
+z3 = "0.12.1"