diff options
| author | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2018-01-31 13:49:12 +0100 |
|---|---|---|
| committer | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2018-01-31 13:52:43 +0100 |
| commit | e565dd8f2c7ec453ea8bb0bb2cba3a46b33605a9 (patch) | |
| tree | 0492e37c904191d2aa7736d7419ab0cb172bbe0e /pkgs/top-level/dotnet-packages.nix | |
| parent | fefa9ef756298e6863ece2e93bd057124b78452f (diff) | |
| download | nixlib-e565dd8f2c7ec453ea8bb0bb2cba3a46b33605a9.tar nixlib-e565dd8f2c7ec453ea8bb0bb2cba3a46b33605a9.tar.gz nixlib-e565dd8f2c7ec453ea8bb0bb2cba3a46b33605a9.tar.bz2 nixlib-e565dd8f2c7ec453ea8bb0bb2cba3a46b33605a9.tar.lz nixlib-e565dd8f2c7ec453ea8bb0bb2cba3a46b33605a9.tar.xz nixlib-e565dd8f2c7ec453ea8bb0bb2cba3a46b33605a9.tar.zst nixlib-e565dd8f2c7ec453ea8bb0bb2cba3a46b33605a9.zip | |
dafny: 1.9.8 -> 2.1.0
Diffstat (limited to 'pkgs/top-level/dotnet-packages.nix')
| -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 1a37d58c70d1..43182b3f2aaa 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/*" ]; |