ikos: 3.2 -> 3.3 (#342417)

{ stdenv, lib, fetchFromGitHub, fetchpatch, cmake, boost, tbb

, gmp, llvm, clang, sqlite, python3

, ocamlPackages, mpfr, ppl, doxygen, graphviz

{

  stdenv,

  lib,

  fetchFromGitHub,

  fetchpatch,

  cmake,

  boost,

  tbb,

  gmp,

  llvm,

  clang,

  sqlite,

  python3,

  ocamlPackages,

  mpfr,

  ppl,

  doxygen,

  graphviz,

}:

let

  inherit (python3.pkgs)

    setuptools

    wheel

    build

    installer

    wrapPython

    pygments

  ;

in

stdenv.mkDerivation rec {

  pname = "ikos";

  version = "3.2";

  version = "3.3";

  src = fetchFromGitHub {

    owner = "NASA-SW-VnV";

    repo = "ikos";

    rev = "v${version}";

    hash = "sha256-zWWfmjYgqhAztGivAJwZ4+yRrAHxgU1CF1Y7vVr95UA=";

    hash = "sha256-4/M0fyqvzdr0aBPCUuLiBgqMOrHEmikkIjQMB9KSrdo=";

  };

  patches = [

  # Fix build with GCC 13

  # https://github.com/NASA-SW-VnV/ikos/pull/262

  (fetchpatch {

    name = "gcc-13.patch";

    url = "https://github.com/NASA-SW-VnV/ikos/commit/73c816641fb9780f0d3b5e448510363a3cf21ce2.patch";

    hash = "sha256-bkeSAtxrL+z+6QNiGOWSg7kN8XiZqMxlJiu5Dquhca0=";

  })

  # Fix an error in ikos-view; Pygments>=2.12 no longer passes outfile to wrap.

  ./formatter-wrap.patch

  nativeBuildInputs = [

    cmake

    python3.pkgs.setuptools

    python3.pkgs.wheel

    python3.pkgs.build

    python3.pkgs.installer

    python3.pkgs.wrapPython

  ];

  buildInputs = [

    boost

    tbb

    gmp

    clang

    llvm

    sqlite

    python3

    ocamlPackages.apron

    mpfr

    ppl

    doxygen

    graphviz

  ];

  nativeBuildInputs = [ cmake setuptools wheel build installer wrapPython ];

  buildInputs = [ boost tbb gmp clang llvm sqlite python3

                  ocamlPackages.apron mpfr ppl doxygen graphviz ];

  propagatedBuildInputs = [

    pygments

    python3.pkgs.pygments

  ];

  cmakeFlags = [

diff --git a/analyzer/python/ikos/view.py b/analyzer/python/ikos/view.py

index 4e9ed5d..6643db8 100644

--- a/analyzer/python/ikos/view.py

+++ b/analyzer/python/ikos/view.py

@@ -422,7 +422,7 @@ class Formatter(HtmlFormatter):

         self.call_contexts = {}

         self.checks = {}

-    def wrap(self, source, outfile):

+    def wrap(self, source):

         return self._wrap_code(source)

     def _wrap_code(self, source):