dafny: move to separate file

1 files changed, 0 insertions, 54 deletions

diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix
index 8789a82ec049a..5445b9cbcb493 100644
--- a/pkgs/top-level/dotnet-packages.nix
+++ b/pkgs/top-level/dotnet-packages.nix
@@ -172,60 +172,6 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
     };
   };
 
-  Dafny = buildDotnetModule rec {
-    pname = "Dafny";
-    version = "4.0.0";
-
-    src = fetchFromGitHub {
-      owner = "dafny-lang";
-      repo = "dafny";
-      rev = "v${version}";
-      sha256 = "sha256-7mVFDORbu9KsJ4IH8PrrpXE7xFrWVTyBmRaL8Kt/ghY=";
-    };
-
-    postPatch = ''
-      cp ${pkgs.writeScript "fake-gradlew-for-dafny" ''
-        mkdir -p build/libs/
-        javac $(find -name "*.java" | grep "^./src/main") -d classes
-        jar cf build/libs/DafnyRuntime.jar -C classes dafny
-      ''} Source/DafnyRuntime/DafnyRuntimeJava/gradlew
-
-      # Needed to fix
-      # "error NETSDK1129: The 'Publish' target is not supported without specifying a target framework. The current project targets multiple frameworks, you must specify the framework for the published application."
-      substituteInPlace Source/DafnyRuntime/DafnyRuntime.csproj \
-        --replace TargetFrameworks TargetFramework \
-        --replace "netstandard2.0;net452" net6.0
-    '';
-
-    buildInputs = [ pkgs.jdk11 ];
-    nugetDeps = ../development/dotnet-modules/dafny-deps.nix;
-
-    # Build just these projects. Building Source/Dafny.sln includes a bunch of
-    # unnecessary components like tests.
-    projectFile = [
-      "Source/Dafny/Dafny.csproj"
-      "Source/DafnyRuntime/DafnyRuntime.csproj"
-      "Source/DafnyLanguageServer/DafnyLanguageServer.csproj"
-    ];
-
-    executables = [ "Dafny" ];
-
-    # Help Dafny find z3
-    makeWrapperArgs = [ "--prefix PATH : ${lib.makeBinPath [ z3 ]}" ];
-
-    postFixup = ''
-      ln -s "$out/bin/Dafny" "$out/bin/dafny" || true
-    '';
-
-    meta = with lib; {
-      description = "A programming language with built-in specification constructs";
-      homepage = "https://research.microsoft.com/dafny";
-      maintainers = with maintainers; [ layus ];
-      license = licenses.mit;
-      platforms = with platforms; (linux ++ darwin);
-    };
-  };
-
   MonoAddins = buildDotnetPackage rec {
     pname = "Mono.Addins";
     version = "1.2";