fstar: disable tests https://github.com/FStarLang/FStar/issues/676

(cherry picked from commit feef017564c292e088de69e97db4071bf08c2853) Signed-off-by: Domen Kožar <domen@dev.si>
2016-09-13 16:11:37 +02:00 · 2016-09-13 16:11:37 +02:00 · 01895ff5ea
commit 01895ff5ea
parent 0c0188c5d2
1 changed files with 2 additions and 1 deletions
--- 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";