diff options
| author | Joachim F <joachifm@users.noreply.github.com> | 2018-02-17 10:14:08 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-17 10:14:08 +0000 |
| commit | e14d24bb4fde9226127e987ebd58d2141b77e9e9 (patch) | |
| tree | e987878ab4de77a930dbac2b09033d7f7a54e489 | |
| parent | 9c9b6874d02491b0e2bdac500a36124e25fa8714 (diff) | |
| parent | e565dd8f2c7ec453ea8bb0bb2cba3a46b33605a9 (diff) | |
| download | nixpkgs-e14d24bb4fde9226127e987ebd58d2141b77e9e9.tar nixpkgs-e14d24bb4fde9226127e987ebd58d2141b77e9e9.tar.gz nixpkgs-e14d24bb4fde9226127e987ebd58d2141b77e9e9.tar.bz2 nixpkgs-e14d24bb4fde9226127e987ebd58d2141b77e9e9.tar.lz nixpkgs-e14d24bb4fde9226127e987ebd58d2141b77e9e9.tar.xz nixpkgs-e14d24bb4fde9226127e987ebd58d2141b77e9e9.tar.zst nixpkgs-e14d24bb4fde9226127e987ebd58d2141b77e9e9.zip | |
Merge pull request #34453 from layus/dafny-update
dafny: 1.9.8 -> 2.1.0
| -rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index 1a37d58c70d..43182b3f2aa 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -331,13 +331,20 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { Dafny = buildDotnetPackage rec { baseName = "Dafny"; - version = "1.9.8"; + version = "2.1.0"; src = fetchurl { url = "https://github.com/Microsoft/dafny/archive/v${version}.tar.gz"; - sha256 = "0n4pk4cv7d2zsn4xmyjlxvpfl9avq79r06c7kzmrng24p3k4qj6s"; + sha256 = "1iyhy0zpi6wvqif7826anzgdipgsy5bk775ds9qqwfw27j7x6fy5"; }; + postPatch = '' + sed -i \ + -e 's/ Visible="False"//' \ + -e "s/Exists(\$(CodeContractsInstallDir))/Exists('\$(CodeContractsInstallDir)')/" \ + Source/*/*.csproj + ''; + preBuild = '' ln -s ${pkgs.z3} Binaries/z3 ''; @@ -345,7 +352,7 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { buildInputs = [ Boogie ]; xBuildFiles = [ "Source/Dafny.sln" ]; - xBuildFlags = [ ]; + xBuildFlags = [ "/p:Configuration=Checked" "/p:Platform=Any CPU" "/t:Rebuild" ]; outputFiles = [ "Binaries/*" ]; |