dafny: fix build with strictDeps

2024-12-06 09:43:59 -04:00
parent e2dabfa5e1
commit 7e3d4971b9
1 changed files with 1 additions and 1 deletions
@@ -42,7 +42,7 @@ buildDotnetModule rec {
    '';

  dotnet-sdk = dotnetCorePackages.sdk_6_0;
-  buildInputs = [ jdk11 ];
+  nativeBuildInputs = [ jdk11 ];
  nugetDeps = ./deps.nix;

  # Build just these projects. Building Source/Dafny.sln includes a bunch of