Merge pull request #41169 from layus/boogie-update

Boogie: update to 2018-05-28
This commit is contained in:
xeji 2018-05-29 14:25:39 +02:00 committed by GitHub
commit 510efa7248
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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" ];