diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-05-30 17:08:47 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-05-30 17:08:47 +0000 |
commit | 218c486c1c454f1ef7f2791fa1f1944d28b921e2 (patch) | |
tree | 55522cc19ceabb104c539ec0cfe41d8685d5ff0c /pkgs/development/compilers/fstar | |
parent | 13181204841f151a07d1e75155d24daa641fa0de (diff) |
fstar: fix build on darwin
Diffstat (limited to 'pkgs/development/compilers/fstar')
-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 00714875ffc2..51777f748e30 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -19,7 +19,8 @@ stdenv.mkDerivation rec { ]; preBuild = '' - substituteInPlace src/Makefile --replace "\$(RUNTIME) VS/.nuget/NuGet.exe" "true" + substituteInPlace src/Makefile --replace "\$(RUNTIME) VS/.nuget/NuGet.exe" "true" \ + --replace Darwin xyz substituteInPlace src/VS/.nuget/NuGet.targets --replace "mono" "true" # Fails with bad interpreter otherwise |