mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 21:50:55 +00:00
Code Issues Wiki Activity

dafny: 1.9.8 -> 2.1.0

Browse source
This commit is contained in:
Guillaume Maudoux 2018-01-31 13:49:12 +01:00
parent fefa9ef756
commit e565dd8f2c
1 changed files with 10 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
pkgs/top-level/dotnet-packages.nix
View file

@ -331,13 +331,20 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
Dafny = buildDotnetPackage rec { Dafny = buildDotnetPackage rec {
baseName = "Dafny"; baseName = "Dafny";
version = "1.9.8"; version = "2.1.0";
src = fetchurl { src = fetchurl {
url = "https://github.com/Microsoft/dafny/archive/v${version}.tar.gz"; 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 = '' preBuild = ''
ln -s ${pkgs.z3} Binaries/z3 ln -s ${pkgs.z3} Binaries/z3
''; '';
@ -345,7 +352,7 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
buildInputs = [ Boogie ]; buildInputs = [ Boogie ];
xBuildFiles = [ "Source/Dafny.sln" ]; xBuildFiles = [ "Source/Dafny.sln" ];
xBuildFlags = [ ]; xBuildFlags = [ "/p:Configuration=Checked" "/p:Platform=Any CPU" "/t:Rebuild" ];
outputFiles = [ "Binaries/*" ]; outputFiles = [ "Binaries/*" ];