public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fstar: fix build on Darwin

This commit is contained in:
Vincent Laporte 2016-06-30 16:57:32 +01:00
parent dccac25d5f
commit cb3d2d0526
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -50,7 +50,7 @@ stdenv.mkDerivation rec {
-C src/ocaml-output -C src/ocaml-output
''; '';
doCheck = true; doCheck = !stdenv.isDarwin;
preCheck = "ulimit -s unlimited"; preCheck = "ulimit -s unlimited";
@ -75,6 +75,6 @@ stdenv.mkDerivation rec {
description = "ML-like functional programming language aimed at program verification"; description = "ML-like functional programming language aimed at program verification";
homepage = "https://www.fstar-lang.org"; homepage = "https://www.fstar-lang.org";
license = licenses.asl20; license = licenses.asl20;
platforms = with platforms; linux; platforms = with platforms; darwin ++ linux;
}; };
} }