diff options
| author | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2018-05-28 13:10:14 +0200 |
|---|---|---|
| committer | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2018-05-28 13:13:51 +0200 |
| commit | 9a76a33e356c12f3bcc0720a19ef1fa6157063dd (patch) | |
| tree | 145e17d80ded928c0fa0b5e523cc0549713c2628 /pkgs/top-level/dotnet-packages.nix | |
| parent | dfa11da7d6ee3e21f39af883c95d20b4af12b7ae (diff) | |
| download | nixpkgs-9a76a33e356c12f3bcc0720a19ef1fa6157063dd.tar nixpkgs-9a76a33e356c12f3bcc0720a19ef1fa6157063dd.tar.gz nixpkgs-9a76a33e356c12f3bcc0720a19ef1fa6157063dd.tar.bz2 nixpkgs-9a76a33e356c12f3bcc0720a19ef1fa6157063dd.tar.lz nixpkgs-9a76a33e356c12f3bcc0720a19ef1fa6157063dd.tar.xz nixpkgs-9a76a33e356c12f3bcc0720a19ef1fa6157063dd.tar.zst nixpkgs-9a76a33e356c12f3bcc0720a19ef1fa6157063dd.zip | |
dotnetPackages.Boogie: use a recent NUnit
Diffstat (limited to 'pkgs/top-level/dotnet-packages.nix')
| -rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 12 |
1 files changed, 11 insertions, 1 deletions
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" ]; |