From 01895ff5eabfc95e17c3ff6b650194cbe44ef9d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Domen=20Ko=C5=BEar?= <domen@dev.si>
Date: Tue, 13 Sep 2016 16:11:37 +0200
Subject: [PATCH] fstar: disable tests
 https://github.com/FStarLang/FStar/issues/676
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

(cherry picked from commit feef017564c292e088de69e97db4071bf08c2853)
Signed-off-by: Domen Kožar <domen@dev.si>
---
 pkgs/development/compilers/fstar/default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix
index 3f16667d155..24a4135bde1 100644
--- a/pkgs/development/compilers/fstar/default.nix
+++ b/pkgs/development/compilers/fstar/default.nix
@@ -50,7 +50,8 @@ stdenv.mkDerivation rec {
         -C src/ocaml-output
   '';
 
-  doCheck = !stdenv.isDarwin;
+  # https://github.com/FStarLang/FStar/issues/676
+  doCheck = false;
 
   preCheck = "ulimit -s unlimited";