boogie: enable usage as a vim plugin

[symphorien]

Motivation for this change

have syntax highlighting for boogie files in vim.

cc @taktoa as maintainer

Things done

• 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[2]: Leaving directory '/build/libgdiplus-2.10.9/src'
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/ppk6cv7fzza4zkzyvzd3czq8rmsaxbn5-NUnit.Runners-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/g7r4n4ifagr5r6s2zn6cjplsq0y75jd6-Boogie-unstable-2017-01-03.drv': 3 dependencies couldn't be built
�[31;1merror:�[0m build of '/nix/store/g7r4n4ifagr5r6s2zn6cjplsq0y75jd6-Boogie-unstable-2017-01-03.drv' failed

[GrahamcOfBorg]

Failure on x86_64-linux (full log)

Attempted: boogie

Partial log (click to expand)

make[2]: Leaving directory '/build/libgdiplus-2.10.9/src'
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/wranlr0gz8d76l1b3r22g20mvscz8yan-NUnit.Runners-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/nvcnbbwcjz7f1crvdz7zvhsbww2906f8-Boogie-unstable-2017-01-03.drv': 3 dependencies couldn't be built
error: build of '/nix/store/nvcnbbwcjz7f1crvdz7zvhsbww2906f8-Boogie-unstable-2017-01-03.drv' failed

[xeji]

boogie has failed to build on master since April 28: https://hydra.nixos.org/job/nixpkgs/trunk/boogie.x86_64-linux/all

[GrahamcOfBorg]

Failure on x86_64-darwin (full log)

Attempted: boogie

Partial log (click to expand)

tar: mono-5.8.0.108/external/corefx/cross/arm64/sources.list.wily: Cannot open: No such file or directory
tar: mono-5.8.0.108/external: Cannot mkdir: No space left on device
tar: mono-5.8.0.108/external/corefx/cross/arm64/toolchain.cmake: Cannot open: No such file or directory
tar: Exiting with failure status due to previous errors
do not know how to unpack source archive /nix/store/gngxpm6kak70i5wx917v7m71xn4dn9lq-mono-5.8.0.108.tar.bz2
builder for '/nix/store/v2qackda44c3mc3mh3mbslcm0asya2c3-mono-5.8.0.108.drv' failed with exit code 1
cannot build derivation '/nix/store/kn2j3wpj8yvspsixqag4hairicxvwg34-dotnetbuildhelpers.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/r1vlnm6hq7aasqfglx4d88carvbcnxrz-NUnit.Runners-2.6.4.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/41j41cwy0n13y94vzc97vpp7ajm4ksph-Boogie-unstable-2017-01-03.drv': 4 dependencies couldn't be built
error: build of '/nix/store/41j41cwy0n13y94vzc97vpp7ajm4ksph-Boogie-unstable-2017-01-03.drv' failed

[symphorien]

This branch comes from 4ee9d05 (nixos-unstable as of 2018-03-04). But we can wait on #41169 for testing.

[xeji]

Let's do that. Even mono doesn't build right now...

[xeji]

@GrahamcOfBorg build boogie

[GrahamcOfBorg]

Success on x86_64-linux (full log)

Attempted: boogie

Partial log (click to expand)

Created /nix/store/yjadpdsgg6hyds1h71yywczj0rf0fxl2-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCExpr.pc
Created /nix/store/yjadpdsgg6hyds1h71yywczj0rf0fxl2-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCGeneration.pc
Created /nix/store/yjadpdsgg6hyds1h71yywczj0rf0fxl2-Boogie-unstable-2018-05-28/lib/pkgconfig/Provers.SMTLib.pc
'/nix/store/yjadpdsgg6hyds1h71yywczj0rf0fxl2-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/yjadpdsgg6hyds1h71yywczj0rf0fxl2-Boogie-unstable-2018-05-28
patching script interpreter paths in /nix/store/yjadpdsgg6hyds1h71yywczj0rf0fxl2-Boogie-unstable-2018-05-28
checking for references to /build in /nix/store/yjadpdsgg6hyds1h71yywczj0rf0fxl2-Boogie-unstable-2018-05-28...
/nix/store/yjadpdsgg6hyds1h71yywczj0rf0fxl2-Boogie-unstable-2018-05-28

[GrahamcOfBorg]

Success on x86_64-darwin (full log)

Attempted: boogie

Partial log (click to expand)

Created /nix/store/g9zrgcxv11n8cg6bl9zwf4xrwlkdvfsp-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieParserHelper.pc
Created /nix/store/g9zrgcxv11n8cg6bl9zwf4xrwlkdvfsp-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogiePredication.pc
Created /nix/store/g9zrgcxv11n8cg6bl9zwf4xrwlkdvfsp-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCExpr.pc
Created /nix/store/g9zrgcxv11n8cg6bl9zwf4xrwlkdvfsp-Boogie-unstable-2018-05-28/lib/pkgconfig/BoogieVCGeneration.pc
Created /nix/store/g9zrgcxv11n8cg6bl9zwf4xrwlkdvfsp-Boogie-unstable-2018-05-28/lib/pkgconfig/Provers.SMTLib.pc
'/nix/store/g9zrgcxv11n8cg6bl9zwf4xrwlkdvfsp-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/g9zrgcxv11n8cg6bl9zwf4xrwlkdvfsp-Boogie-unstable-2018-05-28
/nix/store/g9zrgcxv11n8cg6bl9zwf4xrwlkdvfsp-Boogie-unstable-2018-05-28

[GrahamcOfBorg]

Failure on aarch64-linux (full log)

Attempted: boogie

Partial log (click to expand)

 ^~~~~~~~~~~~~~
  CC       libmonoruntimesgen_static_la-custom-attrs.lo
  CC       libmonoruntimesgen_static_la-fdhandle.lo
  CC       libmonoruntimesgen_static_la-gc-stats.lo
building of '/nix/store/zxm7bilfqp4yx159cvfg154mki9lv5bf-mono-5.8.0.108.drv' timed out after 3600 seconds
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/3mw0b218kpzxlkxc2y95p14gh8f5jk51-Boogie-unstable-2018-05-28.drv': 4 dependencies couldn't be built
�[31;1merror:�[0m build of '/nix/store/3mw0b218kpzxlkxc2y95p14gh8f5jk51-Boogie-unstable-2018-05-28.drv' failed

[xeji]

aarch64 failure is unrelated.