dafny: upgrade to .NET 8

2025-01-04 01:34:55 +01:00
parent 9255bc2d41
commit 4d1c3d8534
1 changed files with 10 additions and 3 deletions
@@ -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;