From 80de27d3f8ca29d6755483e3611920fcf4b37289 Mon Sep 17 00:00:00 2001
From: "Aaron L. Zeng" <me@bcc32.com>
Date: Mon, 25 Dec 2023 01:40:41 -0500
Subject: [PATCH] Remove z3 dependency on Darwin

---
 flake.nix | 31 ++++++++++++++++---------------
 1 file changed, 16 insertions(+), 15 deletions(-)

diff --git a/flake.nix b/flake.nix
index 6040fd0..c877d3a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -43,21 +43,22 @@
           version = "0.1.0";
           useDune2 = true;
           src = ./.;
-          buildInputs = with ocamlPackages; [
-            angstrom
-            async
-            bignum
-            cmdliner
-            core
-            core_bench
-            delimited_parsing
-            expect_test_helpers_async
-            re
-            topological_sort
-            yojson
-            z3
-          ];
-          nativeBuildInputs = [ z3 ];
+          buildInputs = with ocamlPackages;
+            [
+              angstrom
+              async
+              bignum
+              cmdliner
+              core
+              core_bench
+              delimited_parsing
+              expect_test_helpers_async
+              re
+              topological_sort
+              yojson
+            ] ++ lib.optionals (!stdenv.isDarwin) [ z3 ];
+          nativeBuildInputs = lib.optionals (!stdenv.isDarwin) [ z3 ];
+          # TODO: ocamlPackages.z3 build is currently broken on Darwin
           meta = { homepage = "https://github.com/bcc32/advent-of-code"; };
         };
       });