From d9b3d774486f76dfa4c930b86e9a912e454e2220 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 5 Aug 2022 16:16:58 -0700
Subject: [PATCH] Some minor fixes, cleanup installed binaries for dafny

---
 pkgs/top-level/dotnet-packages.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix
index 53459daaa1f..effdaf726c9 100644
--- a/pkgs/top-level/dotnet-packages.nix
+++ b/pkgs/top-level/dotnet-packages.nix
@@ -184,7 +184,7 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
     };
 
     preBuild = ''
-      ln -s ${z3} Binaries/z3
+      ln -s ${pkgs.z3} Binaries/z3
     '';
 
     buildInputs = [ Boogie pkgs.jdk11 ];
@@ -205,7 +205,8 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
 
       rm -f "$out/bin"/System.* "$out/bin"/Microsoft.*
       rm -f "$out/bin"/NUnit3.* "$out/bin"/coverlet.*
-      rm -f "$out/bin"/*.Test
+      rm -f "$out/bin"/ThirdPartyNotices.txt
+      rm -f "$out/bin"/XUnitExtensions
     '';
 
     meta = with lib; {