diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix
index 0b4ea9a18239..70aa22569a32 100644
--- a/pkgs/development/compilers/fstar/default.nix
+++ b/pkgs/development/compilers/fstar/default.nix
@@ -50,7 +50,7 @@ stdenv.mkDerivation rec {
         -C src/ocaml-output
   '';
 
-  doCheck = true;
+  doCheck = !stdenv.isDarwin;
 
   preCheck = "ulimit -s unlimited";
 
@@ -75,6 +75,6 @@ stdenv.mkDerivation rec {
     description = "ML-like functional programming language aimed at program verification";
     homepage = "https://www.fstar-lang.org";
     license = licenses.asl20;
-    platforms = with platforms; linux;
+    platforms = with platforms; darwin ++ linux;
   };
 }