diff options
author | xeji <36407913+xeji@users.noreply.github.com> | 2018-05-29 19:58:20 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-29 19:58:20 +0200 |
commit | af147183921f2edc970a58532184835d7a7e773c (patch) | |
tree | eee8791aeb2b866238d037c3b7ca1a373e329cdd /pkgs/top-level/dotnet-packages.nix | |
parent | 51af2c330b2222f51383ecf11e89b8ec7571455e (diff) | |
parent | 0bfa4e8195900771aeb732ef23febb2fc99fe4dd (diff) | |
download | nixlib-af147183921f2edc970a58532184835d7a7e773c.tar nixlib-af147183921f2edc970a58532184835d7a7e773c.tar.gz nixlib-af147183921f2edc970a58532184835d7a7e773c.tar.bz2 nixlib-af147183921f2edc970a58532184835d7a7e773c.tar.lz nixlib-af147183921f2edc970a58532184835d7a7e773c.tar.xz nixlib-af147183921f2edc970a58532184835d7a7e773c.tar.zst nixlib-af147183921f2edc970a58532184835d7a7e773c.zip |
Merge pull request #40612 from symphorien/boogie_vim
boogie: enable usage as a vim plugin
Diffstat (limited to 'pkgs/top-level/dotnet-packages.nix')
-rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index 37d468997cfd..4527451d71a4 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -328,11 +328,23 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { postInstall = '' mkdir -pv "$out/lib/dotnet/${baseName}" ln -sv "${pkgs.z3}/bin/z3" "$out/lib/dotnet/${baseName}/z3.exe" + + # so that this derivation can be used as a vim plugin to install syntax highlighting + vimdir=$out/share/vim-plugins/boogie + install -Dt $vimdir/syntax/ Util/vim/syntax/boogie.vim + mkdir $vimdir/ftdetect + echo 'au BufRead,BufNewFile *.bpl set filetype=boogie' > $vimdir/ftdetect/bpl.vim ''; meta = with stdenv.lib; { description = "An intermediate verification language"; homepage = "https://github.com/boogie-org/boogie"; + longDescription = '' + Boogie is an intermediate verification language (IVL), intended as a + layer on which to build program verifiers for other languages. + + This derivation may be used as a vim plugin to provide syntax highlighting. + ''; license = licenses.mspl; maintainers = [ maintainers.taktoa ]; platforms = with platforms; (linux ++ darwin); |