From 9a76a33e356c12f3bcc0720a19ef1fa6157063dd Mon Sep 17 00:00:00 2001 From: Guillaume Maudoux Date: Mon, 28 May 2018 13:10:14 +0200 Subject: [PATCH 1/2] dotnetPackages.Boogie: use a recent NUnit --- pkgs/top-level/dotnet-packages.nix | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index ca4469e9e99..ed34f798418 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -309,7 +309,17 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { sha256 = "1mjnf96hbn9abgzyvmrfxlhnm213290xb9wca7rnnl12i4fa4ahl"; }; - buildInputs = [ dotnetPackages.NUnitRunners ]; + # emulate `nuget restore Source/Boogie.sln` + # which installs in $srcdir/Source/packages + preBuild = '' + mkdir -p Source/packages/NUnit.2.6.3 + ln -sn ${dotnetPackages.NUnit}/lib/dotnet/NUnit Source/packages/NUnit.2.6.3/lib + ''; + + buildInputs = [ + dotnetPackages.NUnit + dotnetPackages.NUnitRunners + ]; xBuildFiles = [ "Source/Boogie.sln" ]; From c8cb9a92d4fc1cd708b32278fcaa2074433ddf33 Mon Sep 17 00:00:00 2001 From: Guillaume Maudoux Date: Mon, 28 May 2018 13:10:36 +0200 Subject: [PATCH 2/2] dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28 --- pkgs/top-level/dotnet-packages.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index ed34f798418..37d468997cf 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -299,14 +299,14 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { Boogie = buildDotnetPackage rec { baseName = "Boogie"; - version = "2017-01-03"; + version = "2018-05-28"; name = "${baseName}-unstable-${version}"; src = fetchFromGitHub { owner = "boogie-org"; repo = "boogie"; - rev = "5e42f0dd2891b2b85a9198052e55592a2943b7ef"; - sha256 = "1mjnf96hbn9abgzyvmrfxlhnm213290xb9wca7rnnl12i4fa4ahl"; + rev = "fc97aac639505f46cda7904dae95c9557716d037"; + sha256 = "1hjksc5sapw1shxjwg0swja5afman8i15wnv5b6rzkqd4mg8y6nz"; }; # emulate `nuget restore Source/Boogie.sln`