From 4d1c3d85347cc703cf4e21fa5238f86114684842 Mon Sep 17 00:00:00 2001
From: GGG <gggkiller2@gmail.com>
Date: Tue, 17 Dec 2024 22:59:38 -0300
Subject: [PATCH] dafny: upgrade to .NET 8

---
 pkgs/by-name/da/dafny/package.nix | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/pkgs/by-name/da/dafny/package.nix b/pkgs/by-name/da/dafny/package.nix
index 54f88b7b36c6..6ff063fdc4b5 100644
--- a/pkgs/by-name/da/dafny/package.nix
+++ b/pkgs/by-name/da/dafny/package.nix
@@ -65,11 +65,18 @@ buildDotnetModule rec {
       # frameworks, you must specify the framework for the published
       # application."
       substituteInPlace Source/DafnyRuntime/DafnyRuntime.csproj \
-        --replace-warn TargetFrameworks TargetFramework \
-        --replace-warn "netstandard2.0;net452" net6.0
+        --replace-fail TargetFrameworks TargetFramework \
+        --replace-fail "netstandard2.0;net452" net8.0
+
+      for f in Source/**/*.csproj ; do
+        [[ "$f" == "Source/DafnyRuntime/DafnyRuntime.csproj" ]] && continue;
+
+        substituteInPlace $f \
+          --replace-fail net6.0 net8.0
+      done
     '';
 
-  dotnet-sdk = dotnetCorePackages.sdk_6_0;
+  dotnet-sdk = dotnetCorePackages.sdk_8_0;
   nativeBuildInputs = [ jdk11 ];
   nugetDeps = ./deps.json;