Boogie: update to 2018-05-28

[layus]

The package failed. I fixed it and updated.

• Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-sandbox in nix.conf on non-NixOS)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Fits CONTRIBUTING.md.

---

[xeji]

@GrahamcOfBorg build boogie

[GrahamcOfBorg]

Failure on aarch64-linux (full log)

Attempted: boogie

Partial log (click to expand)

make[1]: *** [Makefile:374: all-recursive] Error 1
make[1]: Leaving directory '/build/libgdiplus-2.10.9'
make: *** [Makefile:279: all] Error 2
builder for '/nix/store/wzf9bkwxpjapah449vdidix247p7nk5h-libgdiplus-2.10.9.drv' failed with exit code 2
cannot build derivation '/nix/store/k0qqm5bvmb6m72lrviv1kmcwn3pdjl6j-mono-5.8.0.108.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/87l2nbh6d4frz2cb68kvixylzkgnh6kh-dotnetbuildhelpers.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/w2845c7yf7vcd47r9m1siqn5zz0x39d0-NUnit-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/ppk6cv7fzza4zkzyvzd3czq8rmsaxbn5-NUnit.Runners-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/vbc2zn9w3kjc0nb71ir52g463s938b4d-Boogie-unstable-2018-05-28.drv': 4 dependencies couldn't be built
�[31;1merror:�[0m build of '/nix/store/vbc2zn9w3kjc0nb71ir52g463s938b4d-Boogie-unstable-2018-05-28.drv' failed

[GrahamcOfBorg]

Failure on x86_64-linux (full log)

Attempted: boogie

Partial log (click to expand)

make[1]: *** [Makefile:374: all-recursive] Error 1
make[1]: Leaving directory '/build/libgdiplus-2.10.9'
make: *** [Makefile:279: all] Error 2
builder for '/nix/store/97h8sqa3jfxxkqk1yda1gigmsyigf62x-libgdiplus-2.10.9.drv' failed with exit code 2
cannot build derivation '/nix/store/jly54xn8r41b94saiw3hq04bivygyyyv-mono-5.8.0.108.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/x5hxmdczlkc1xqzihmcpr6kfwkcwwkl6-dotnetbuildhelpers.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/11741y3r73hff5q902fhc004wjmkc2h5-NUnit-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/wranlr0gz8d76l1b3r22g20mvscz8yan-NUnit.Runners-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/p636iiamdzk69l2fkaj7y9ijnxnmy4a9-Boogie-unstable-2018-05-28.drv': 4 dependencies couldn't be built
error: build of '/nix/store/p636iiamdzk69l2fkaj7y9ijnxnmy4a9-Boogie-unstable-2018-05-28.drv' failed

[GrahamcOfBorg]

Success on x86_64-darwin (full log)

Attempted: boogie

Partial log (click to expand)

Created /nix/store/pxvbjvnwch11n7gwnhss13r8paqad9pv-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieParserHelper.pc
Created /nix/store/pxvbjvnwch11n7gwnhss13r8paqad9pv-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogiePredication.pc
Created /nix/store/pxvbjvnwch11n7gwnhss13r8paqad9pv-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCExpr.pc
Created /nix/store/pxvbjvnwch11n7gwnhss13r8paqad9pv-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCGeneration.pc
Created /nix/store/pxvbjvnwch11n7gwnhss13r8paqad9pv-Boogie-unstable-2018-05-28/lib/pkgconfig/Provers.SMTLib.pc
'/nix/store/pxvbjvnwch11n7gwnhss13r8paqad9pv-Boogie-unstable-2018-05-28/lib/dotnet/Boogie/z3.exe' -> '/nix/store/qd8ph6bf2d5fcl4d849q9f1pyshfwsnb-z3-4.6.0/bin/z3'
glibPreFixupPhase
post-installation fixup
patching script interpreter paths in /nix/store/pxvbjvnwch11n7gwnhss13r8paqad9pv-Boogie-unstable-2018-05-28
/nix/store/pxvbjvnwch11n7gwnhss13r8paqad9pv-Boogie-unstable-2018-05-28

[xeji]

#41187 should fix the failing dependencies.

[xeji]

@GrahamcOfBorg build boogie

[GrahamcOfBorg]

Success on x86_64-linux (full log)

Attempted: boogie

Partial log (click to expand)

Created /nix/store/pxnhgibql28y0nfffgmpq7s324s6g5b0-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCExpr.pc
Created /nix/store/pxnhgibql28y0nfffgmpq7s324s6g5b0-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCGeneration.pc
Created /nix/store/pxnhgibql28y0nfffgmpq7s324s6g5b0-Boogie-unstable-2018-05-28/lib/pkgconfig/Provers.SMTLib.pc
'/nix/store/pxnhgibql28y0nfffgmpq7s324s6g5b0-Boogie-unstable-2018-05-28/lib/dotnet/Boogie/z3.exe' -> '/nix/store/y65qiharylqvvqjklv8bh1bcbwm74j5i-z3-4.6.0/bin/z3'
glibPreFixupPhase
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/pxnhgibql28y0nfffgmpq7s324s6g5b0-Boogie-unstable-2018-05-28
patching script interpreter paths in /nix/store/pxnhgibql28y0nfffgmpq7s324s6g5b0-Boogie-unstable-2018-05-28
checking for references to /build in /nix/store/pxnhgibql28y0nfffgmpq7s324s6g5b0-Boogie-unstable-2018-05-28...
/nix/store/pxnhgibql28y0nfffgmpq7s324s6g5b0-Boogie-unstable-2018-05-28

[GrahamcOfBorg]

Success on x86_64-darwin (full log)

Attempted: boogie

Partial log (click to expand)

Created /nix/store/rh9jrj51v0d18pjgdn055b55ca4v3nlq-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieParserHelper.pc
Created /nix/store/rh9jrj51v0d18pjgdn055b55ca4v3nlq-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogiePredication.pc
Created /nix/store/rh9jrj51v0d18pjgdn055b55ca4v3nlq-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCExpr.pc
Created /nix/store/rh9jrj51v0d18pjgdn055b55ca4v3nlq-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCGeneration.pc
Created /nix/store/rh9jrj51v0d18pjgdn055b55ca4v3nlq-Boogie-unstable-2018-05-28/lib/pkgconfig/Provers.SMTLib.pc
'/nix/store/rh9jrj51v0d18pjgdn055b55ca4v3nlq-Boogie-unstable-2018-05-28/lib/dotnet/Boogie/z3.exe' -> '/nix/store/qd8ph6bf2d5fcl4d849q9f1pyshfwsnb-z3-4.6.0/bin/z3'
glibPreFixupPhase
post-installation fixup
patching script interpreter paths in /nix/store/rh9jrj51v0d18pjgdn055b55ca4v3nlq-Boogie-unstable-2018-05-28
/nix/store/rh9jrj51v0d18pjgdn055b55ca4v3nlq-Boogie-unstable-2018-05-28

[GrahamcOfBorg]

Failure on aarch64-linux (full log)

Attempted: boogie

Partial log (click to expand)

make[2]: Leaving directory '/build/mono-5.8.0.108/runtime'
make[1]: *** [Makefile:549: all-recursive] Error 1
make[1]: Leaving directory '/build/mono-5.8.0.108'
make: *** [Makefile:479: all] Error 2
builder for '/nix/store/zxm7bilfqp4yx159cvfg154mki9lv5bf-mono-5.8.0.108.drv' failed with exit code 2
cannot build derivation '/nix/store/wspq7jhw0wbiwj6qbpzg22y4b0rgcnmz-dotnetbuildhelpers.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/01fmm7hqp7xmvg3mc1wn4gf8k1sa78dj-NUnit-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/lpfpfkwa31bdw0pizfxv5slpfwxdflv8-NUnit.Runners-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/sj24irawn7ga3i6qmjwb5ymfn4fyhp2i-Boogie-unstable-2018-05-28.drv': 4 dependencies couldn't be built
�[31;1merror:�[0m build of '/nix/store/sj24irawn7ga3i6qmjwb5ymfn4fyhp2i-Boogie-unstable-2018-05-28.drv' failed

[xeji]

aarch64 failure is unrelated to this PR.

[layus]

Thanks !