diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-06-30 16:57:32 +0100 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-06-30 16:57:32 +0100 |
commit | cb3d2d05263ba1c3a08362d22b39950c0ad91b90 (patch) | |
tree | 1d3c0d522e916b5d7ca104af88f1fbea47c32a17 /pkgs/development/compilers | |
parent | dccac25d5f993f1d261db0f3968379e323fc572c (diff) | |
download | nixlib-cb3d2d05263ba1c3a08362d22b39950c0ad91b90.tar nixlib-cb3d2d05263ba1c3a08362d22b39950c0ad91b90.tar.gz nixlib-cb3d2d05263ba1c3a08362d22b39950c0ad91b90.tar.bz2 nixlib-cb3d2d05263ba1c3a08362d22b39950c0ad91b90.tar.lz nixlib-cb3d2d05263ba1c3a08362d22b39950c0ad91b90.tar.xz nixlib-cb3d2d05263ba1c3a08362d22b39950c0ad91b90.tar.zst nixlib-cb3d2d05263ba1c3a08362d22b39950c0ad91b90.zip |
fstar: fix build on Darwin
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
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; }; } |