diff options
author | Domen Kožar <domen@dev.si> | 2016-09-13 16:11:37 +0200 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2016-09-13 16:13:05 +0200 |
commit | 01895ff5eabfc95e17c3ff6b650194cbe44ef9d3 (patch) | |
tree | efd3ba54fd59d97ee452476b5234c5d670abe683 /pkgs/development/compilers | |
parent | 0c0188c5d258881b16da49a129ffa406e17f7e89 (diff) | |
download | nixlib-01895ff5eabfc95e17c3ff6b650194cbe44ef9d3.tar nixlib-01895ff5eabfc95e17c3ff6b650194cbe44ef9d3.tar.gz nixlib-01895ff5eabfc95e17c3ff6b650194cbe44ef9d3.tar.bz2 nixlib-01895ff5eabfc95e17c3ff6b650194cbe44ef9d3.tar.lz nixlib-01895ff5eabfc95e17c3ff6b650194cbe44ef9d3.tar.xz nixlib-01895ff5eabfc95e17c3ff6b650194cbe44ef9d3.tar.zst nixlib-01895ff5eabfc95e17c3ff6b650194cbe44ef9d3.zip |
fstar: disable tests https://github.com/FStarLang/FStar/issues/676
(cherry picked from commit feef017564c292e088de69e97db4071bf08c2853) Signed-off-by: Domen Kožar <domen@dev.si>
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index 3f16667d1553..24a4135bde13 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"; |