diff options
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 | ||||
-rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 51 |
2 files changed, 4 insertions, 49 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 929cdaf3ab50..d9ea09940bd8 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 { }; diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index 5445b9cbcb49..661603b2ba1f 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -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"; |