qbit/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

boogie: format with nixfmt

Browse Source
This commit is contained in:
David McFarland 2024-10-28 22:19:00 -03:00
parent 5b462ef57a
commit 6e919bf975
1 changed files with 15 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
pkgs/by-name/bo/boogie/package.nix
View File

@ -1,4 +1,9 @@
{ lib, buildDotnetModule, fetchFromGitHub, z3 }:
{
lib,
buildDotnetModule,
fetchFromGitHub,
z3,
}:
buildDotnetModule rec {
pname = "Boogie";
@ -24,18 +29,18 @@ buildDotnetModule rec {
];
postInstall = ''
# 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
mkdir -p $out/share/nvim
ln -s $out/share/vim-plugins/boogie $out/share/nvim/site
# 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
mkdir -p $out/share/nvim
ln -s $out/share/vim-plugins/boogie $out/share/nvim/site
'';
postFixup = ''
ln -s "$out/bin/BoogieDriver" "$out/bin/boogie"
rm -f $out/bin/{Microsoft,NUnit3,System}.* "$out/bin"/*Tests
ln -s "$out/bin/BoogieDriver" "$out/bin/boogie"
rm -f $out/bin/{Microsoft,NUnit3,System}.* "$out/bin"/*Tests
'';
doInstallCheck = true;