nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-28 09:53:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Domen Kožar 2016-09-13 16:11:37 +02:00
parent eb25ce7fbf
commit feef017564
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/development/compilers/fstar/default.nix
View File

@ -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";