Remove some binaries installed with Boogie that conflict with Dafny

2022-08-05 16:08:49 -07:00 · 2022-08-05 16:08:49 -07:00 · d9f812d2fc
parent d7fa40f31e
commit d9f812d2fc
1 changed files with 3 additions and 0 deletions
--- a/pkgs/top-level/dotnet-packages.nix
+++ b/pkgs/top-level/dotnet-packages.nix
@ -154,6 +154,9 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {

    postFixup = ''
        ln -s "$out/bin/BoogieDriver" "$out/bin/boogie"
+        rm -f "$out/bin"/System.* "$out/bin"/Microsoft.*
+        rm -f "$out/bin"/NUnit3.*
+        rm -f "$out/bin"/*Tests
    '';

    meta = with lib; {