From f072fe536e4c45216ac0b0ad5db446e711024c7e Mon Sep 17 00:00:00 2001
From: David McFarland <corngood@gmail.com>
Date: Sun, 8 Sep 2024 23:09:25 -0300
Subject: [PATCH] boogie: disable parallel builds

---
 pkgs/by-name/bo/boogie/package.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/by-name/bo/boogie/package.nix b/pkgs/by-name/bo/boogie/package.nix
index 7cb676ae742e..75d089c0aab2 100644
--- a/pkgs/by-name/bo/boogie/package.nix
+++ b/pkgs/by-name/bo/boogie/package.nix
@@ -14,6 +14,9 @@ buildDotnetModule rec {
   projectFile = [ "Source/Boogie.sln" ];
   nugetDeps = ./deps.nix;
 
+  # [...]Microsoft.NET.Publish.targets(248,5): error MSB3021: Unable to copy file "[...]/NUnit3.TestAdapter.pdb" to "[...]/NUnit3.TestAdapter.pdb". Access to the path '[...]/NUnit3.TestAdapter.pdb' is denied. [[...]/ExecutionEngineTests.csproj]
+  enableParallelBuilding = false;
+
   executables = [ "BoogieDriver" ];
 
   makeWrapperArgs = [
@@ -54,4 +57,3 @@ buildDotnetModule rec {
     platforms = with platforms; (linux ++ darwin);
   };
 }
-