Remove z3 dependency on Darwin

bcc32 · Dec 25, 2023 · 80de27d · 80de27d
1 parent e9cf915
commit 80de27d
Showing 1 changed file with 16 additions and 15 deletions.
diff --git 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"; };
         };
       });