boogie: move out of dotnet-packages.nix

dotnet-packages.nix is deprecated and being removed

1 files changed, 4 insertions, 47 deletions

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";