Unverified Commit 95fb5388 authored by Gutyina Gergő's avatar Gutyina Gergő
Browse files

boogie: refactor

parent e4f70e74

pkgs/by-name/bo/boogie/package.nix

+10 −6
Original line number Diff line number Diff line
@@ -4,6 +4,7 @@ 
  fetchFromGitHub,

  z3,

  dotnetCorePackages,

  nix-update-script,

}:



buildDotnetModule rec {
@@ -13,7 +14,7 @@ buildDotnetModule rec { 
  src = fetchFromGitHub {

    owner = "boogie-org";

    repo = "boogie";

    rev = "v${version}";

    tag = "v${version}";

    hash = "sha256-0YZy4TYff6iupSAwDw8qvR6vdkUh8PDXKoKARfEyEPQ=";

  };
@@ -42,7 +43,6 @@ buildDotnetModule rec { 


  postFixup = ''

    ln -s "$out/bin/BoogieDriver" "$out/bin/boogie"

    rm -f $out/bin/{Microsoft,NUnit3,System}.* "$out/bin"/*Tests

  '';



  doInstallCheck = true;
@@ -50,8 +50,11 @@ buildDotnetModule rec { 
    $out/bin/boogie ${./install-check-file.bpl}

  '';



  meta = with lib; {

  passthru.updateScript = nix-update-script { };



  meta = {

    description = "Intermediate verification language";

    changelog = "https://github.com/boogie-org/boogie/releases/tag/${src.tag}";

    homepage = "https://github.com/boogie-org/boogie";

    longDescription = ''

      Boogie is an intermediate verification language (IVL), intended as a
@@ -59,8 +62,9 @@ buildDotnetModule rec { 


      This derivation may be used as a vim plugin to provide syntax highlighting.

    '';

    license = licenses.mspl;

    maintainers = [ maintainers.taktoa ];

    platforms = with platforms; (linux ++ darwin);

    license = lib.licenses.mspl;

    mainProgram = "boogie";

    maintainers = with lib.maintainers; [ taktoa ];

    platforms = with lib.platforms; linux ++ darwin;

  };

}