public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #34453 from layus/dafny-update 

dafny: 1.9.8 -> 2.1.0
This commit is contained in:
Joachim F 2018-02-17 10:14:08 +00:00 committed by GitHub
parent 9c9b6874d0 e565dd8f2c
commit e14d24bb4f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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/*" ];