diff options
author | xeji <36407913+xeji@users.noreply.github.com> | 2018-05-29 14:25:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-29 14:25:39 +0200 |
commit | 510efa72488827937fb59763dae8e86735850679 (patch) | |
tree | 10abb76c46d55a27ed6dab1fe6b54a4c3ecf758a /pkgs/top-level | |
parent | e89414ff699ddd0689a696db7889b6e5654c847d (diff) | |
parent | c8cb9a92d4fc1cd708b32278fcaa2074433ddf33 (diff) | |
download | nixlib-510efa72488827937fb59763dae8e86735850679.tar nixlib-510efa72488827937fb59763dae8e86735850679.tar.gz nixlib-510efa72488827937fb59763dae8e86735850679.tar.bz2 nixlib-510efa72488827937fb59763dae8e86735850679.tar.lz nixlib-510efa72488827937fb59763dae8e86735850679.tar.xz nixlib-510efa72488827937fb59763dae8e86735850679.tar.zst nixlib-510efa72488827937fb59763dae8e86735850679.zip |
Merge pull request #41169 from layus/boogie-update
Boogie: update to 2018-05-28
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index ca4469e9e998..37d468997cfd 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -299,17 +299,27 @@ 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"; }; - 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" ]; |