Mark cheriot-sim as broken on x86_64-darwin

lowRISC · May 30, 2024 · d4a3f8e · d4a3f8e
1 parent 7fa8e92
commit d4a3f8e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/pkgs/cheriot-sim.nix b/pkgs/cheriot-sim.nix
@@ -72,5 +72,7 @@ in
       homepage = "https://github.com/microsoft/cheriot-sail";
       license = lib.licenses.bsd2;
       mainProgram = "cheriot_sim";
+      # This package is broken on x64 MacOS with SMT solver being killed error.
+      broken = stdenv.system == "x86_64-darwin";
     };
   }