tests/lean: disable lean tests on x86_64-darwin

NixOS/nixpkgs#371275
nix-community · Jan 9, 2025 · 67de848 · 67de848
1 parent bca43a2
commit 67de848
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/tests/test-sources/plugins/by-name/lean/default.nix b/tests/test-sources/plugins/by-name/lean/default.nix
@@ -1,4 +1,12 @@
-{
+{ lib, pkgs, ... }:
+let
+  platform = pkgs.stdenv.hostPlatform;
+
+  # TODO: `cadical`, one of `lean4`'s dependencies is broken on x86_64-darwin
+  # https://github.com/NixOS/nixpkgs/pull/371275
+  doRun = !(platform.isDarwin && platform.isx86_64);
+in
+lib.optionalAttrs doRun {
   empty = {
     plugins.lean.enable = true;
   };