New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
dafny: 1.9.8 -> 2.1.0 #34453
dafny: 1.9.8 -> 2.1.0 #34453
Conversation
@GrahamcOfBorg build dafny |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Success on x86_64-linux (full log)
Partial log (click to expand)
Created /nix/store/irk0nllv87hzs3j1ri1579ycnai32il1-Dafny-2.1.0/lib/pkgconfig/DafnyPipeline.pc
Created /nix/store/irk0nllv87hzs3j1ri1579ycnai32il1-Dafny-2.1.0/lib/pkgconfig/DafnyRuntime.pc
Created /nix/store/irk0nllv87hzs3j1ri1579ycnai32il1-Dafny-2.1.0/lib/pkgconfig/System.Collections.Immutable.pc
glibPreFixupPhase
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/irk0nllv87hzs3j1ri1579ycnai32il1-Dafny-2.1.0
patching script interpreter paths in /nix/store/irk0nllv87hzs3j1ri1579ycnai32il1-Dafny-2.1.0
/nix/store/irk0nllv87hzs3j1ri1579ycnai32il1-Dafny-2.1.0/lib/dotnet/Dafny/dafny: interpreter directive changed from "/usr/bin/env bash" to "/nix/store/i0ay05pqkbnvpfijm52mmlrp6kmkl80c-bash-4.4-p12/bin/bash"
/nix/store/irk0nllv87hzs3j1ri1579ycnai32il1-Dafny-2.1.0/lib/dotnet/Dafny/dafny-server: interpreter directive changed from "/usr/bin/env bash" to "/nix/store/i0ay05pqkbnvpfijm52mmlrp6kmkl80c-bash-4.4-p12/bin/bash"
checking for references to /tmp/nix-build-Dafny-2.1.0.drv-0 in /nix/store/irk0nllv87hzs3j1ri1579ycnai32il1-Dafny-2.1.0...
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Failure on aarch64-linux (full log)
Partial log (click to expand)
Package ‘mono-4.0.4.1’ in /var/lib/gc-of-borg/nix-test-rs-1/repo/38dca4e3aa6bca43ea96d2fcc04e8229/builder/grahamc-aarch64-community-1/pkgs/development/compilers/mono/generic.nix:90 is not supported on ‘aarch64-linux’, refusing to evaluate.
a) For `nixos-rebuild` you can set
{ nixpkgs.config.allowBroken = true; }
in configuration.nix to override this.
b) For `nix-env`, `nix-build`, `nix-shell` or any other Nix command you can add
{ allowBroken = true; }
to ~/.config/nixpkgs/config.nix.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Failure on x86_64-darwin (full log)
Partial log (click to expand)
MCS [net_4_5] System.Design.dll
System.Data.Design/TypedDataSetSchemaImporterExtension.cs(50,50): warning CS0436: The type `System.Data.Design.TypedDataSetGenerator' conflicts with the imported type of same name'. Ignoring the imported type definition
System.Data.Design/TypedDataSetGenerator.cs(47,22): (Location of the symbol related to previous warning)
./../../class/lib/net_4_5/System.Web.dll (Location of the symbol related to previous warning)
building of '/nix/store/fmbw6islb5zz52cy6i863iw5hbfg6m39-mono-4.0.4.1.drv' timed out after 1800 seconds
cannot build derivation '/nix/store/ffhd3m4cqpgiadffdhfvd8naww65wfqb-dotnetbuildhelpers.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/3z8f5gdm2d4plz3m8js9zn4j4q5li8af-NUnit.Runners-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/8zmyc063miccwnd17bnsydl3vbxam6s1-Boogie-unstable-2017-01-03.drv': 3 dependencies couldn't be built
cannot build derivation '/nix/store/mrksvfhq3srxazkz62psarmmdd8xj36g-Dafny-2.1.0.drv': 3 dependencies couldn't be built
error: build of '/nix/store/mrksvfhq3srxazkz62psarmmdd8xj36g-Dafny-2.1.0.drv' failed
aarch64-linux -> mono is not supported @grahamc Not too sure what to do about these ? |
See https://github.com/Microsoft/dafny/releases/tag/v2.1.0