Unverified Commit e79237cb authored by Peder Bergebakken Sundt's avatar Peder Bergebakken Sundt Committed by GitHub
Browse files

boogie: 3.4.2 -> 3.5.1 (#395211)

parents 4fc604ae 95fb5388

pkgs/by-name/bo/boogie/deps.json

+192 −192

File changed.

Preview size limit exceeded, changes collapsed.

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

+13 −9
Original line number Diff line number Diff line
@@ -4,20 +4,21 @@ 
  fetchFromGitHub,

  z3,

  dotnetCorePackages,

  nix-update-script,

}:



buildDotnetModule rec {

  pname = "Boogie";

  version = "3.4.2";

  version = "3.5.1";



  src = fetchFromGitHub {

    owner = "boogie-org";

    repo = "boogie";

    rev = "v${version}";

    hash = "sha256-IWtYbb1IFB6DLIYYTP+q7q+h/0aqonxr/mWwf+83aRo=";

    tag = "v${version}";

    hash = "sha256-0YZy4TYff6iupSAwDw8qvR6vdkUh8PDXKoKARfEyEPQ=";

  };



  dotnet-sdk = dotnetCorePackages.sdk_6_0-bin;

  dotnet-sdk = dotnetCorePackages.sdk_8_0;

  projectFile = [ "Source/Boogie.sln" ];

  nugetDeps = ./deps.json;
@@ -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;

  };

}