nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-26 08:53:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

boogie: move out of dotnet-packages.nix

Browse Source 
dotnet-packages.nix is deprecated and being removed
This commit is contained in:
mdarocha 2023-09-16 00:18:14 +02:00
parent fde40f170c
commit b0d00352bb
4 changed files with 53 additions and 49 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
pkgs/development/dotnet-modules/boogie-deps.nix → pkgs/by-name/bo/boogie/deps.nix generated
View File

49
pkgs/by-name/bo/boogie/package.nix Normal file
View File

@ -0,0 +1,49 @@
{ lib, buildDotnetModule, fetchFromGitHub, z3 }:
buildDotnetModule rec {
pname = "Boogie";
version = "2.15.7";
src = fetchFromGitHub {
owner = "boogie-org";
repo = "boogie";
rev = "v${version}";
sha256 = "16kdvkbx2zwj7m43cra12vhczbpj23wyrdnj0ygxf7np7c2aassp";
};
projectFile = [ "Source/Boogie.sln" ];
nugetDeps = ./deps.nix;
postInstall = ''
mkdir -pv "$out/lib/dotnet/${pname}"
ln -sv "${z3}/bin/z3" "$out/lib/dotnet/${pname}/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
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
'';
meta = with 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);
};
}

2
pkgs/top-level/all-packages.nix
View File

@ -39695,8 +39695,6 @@ with pkgs;
beluga = callPackage ../applications/science/logic/beluga { };
boogie = dotnetPackages.Boogie;
cbmc = callPackage ../applications/science/logic/cbmc { };
cadical = callPackage ../applications/science/logic/cadical { };

51
pkgs/top-level/dotnet-packages.nix
View File

@ -9,9 +9,13 @@
, glib
, mono
, overrides ? {}
, boogie
}:
let self = dotnetPackages // overrides; dotnetPackages = with self; {
# ALIASES FOR MOVED PACKAGES
Boogie = boogie;
# BINARY PACKAGES
@ -125,53 +129,6 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
# SOURCE PACKAGES
Boogie = buildDotnetModule rec {
pname = "Boogie";
version = "2.15.7";
src = fetchFromGitHub {
owner = "boogie-org";
repo = "boogie";
rev = "v${version}";
sha256 = "16kdvkbx2zwj7m43cra12vhczbpj23wyrdnj0ygxf7np7c2aassp";
};
projectFile = [ "Source/Boogie.sln" ];
nugetDeps = ../development/dotnet-modules/boogie-deps.nix;
postInstall = ''
mkdir -pv "$out/lib/dotnet/${pname}"
ln -sv "${pkgs.z3}/bin/z3" "$out/lib/dotnet/${pname}/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
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
'';
meta = with 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);
};
};
MonoAddins = buildDotnetPackage rec {
pname = "Mono.Addins";
version = "1.2";