From 218c486c1c454f1ef7f2791fa1f1944d28b921e2 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 30 May 2017 17:08:47 +0000 Subject: [PATCH] fstar: fix build on darwin --- pkgs/development/compilers/fstar/default.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index 00714875ffc..51777f748e3 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