diff options
author | Symphorien Gibol <symphorien+git@xlumurb.eu> | 2018-05-03 13:52:41 +0200 |
---|---|---|
committer | Symphorien Gibol <symphorien+git@xlumurb.eu> | 2018-05-03 13:52:41 +0200 |
commit | 0bfa4e8195900771aeb732ef23febb2fc99fe4dd (patch) | |
tree | fbee1993b6da001ee8365ff8aca56d8fcdbb87a2 /pkgs/top-level/dotnet-packages.nix | |
parent | d8bd255a08a9e9585a443bdea344f8d333584f0d (diff) | |
download | nixlib-0bfa4e8195900771aeb732ef23febb2fc99fe4dd.tar nixlib-0bfa4e8195900771aeb732ef23febb2fc99fe4dd.tar.gz nixlib-0bfa4e8195900771aeb732ef23febb2fc99fe4dd.tar.bz2 nixlib-0bfa4e8195900771aeb732ef23febb2fc99fe4dd.tar.lz nixlib-0bfa4e8195900771aeb732ef23febb2fc99fe4dd.tar.xz nixlib-0bfa4e8195900771aeb732ef23febb2fc99fe4dd.tar.zst nixlib-0bfa4e8195900771aeb732ef23febb2fc99fe4dd.zip |
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 43182b3f2aaa..e5be04182ca0 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -318,11 +318,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); |