From 45bc652ec60f294cff0c5446ef12a98e1094c81b Mon Sep 17 00:00:00 2001
From: Peder Bergebakken Sundt <pbsds@hotmail.com>
Date: Tue, 17 Sep 2024 00:35:00 +0200
Subject: [PATCH] ikos: 3.2 -> 3.3

Diff: https://github.com/NASA-SW-VnV/ikos/compare/v3.2...v3.3
---
 .../tools/analysis/ikos/default.nix           | 41 +++++--------------
 .../tools/analysis/ikos/formatter-wrap.patch  | 13 ------
 2 files changed, 10 insertions(+), 44 deletions(-)
 delete mode 100644 pkgs/development/tools/analysis/ikos/formatter-wrap.patch

diff --git a/pkgs/development/tools/analysis/ikos/default.nix b/pkgs/development/tools/analysis/ikos/default.nix
index 2319472f754c6b1..e135b4f79a26278 100644
--- a/pkgs/development/tools/analysis/ikos/default.nix
+++ b/pkgs/development/tools/analysis/ikos/default.nix
@@ -18,48 +18,26 @@
   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
-    setuptools
-    wheel
-    build
-    installer
-    wrapPython
+    python3.pkgs.setuptools
+    python3.pkgs.wheel
+    python3.pkgs.build
+    python3.pkgs.installer
+    python3.pkgs.wrapPython
   ];
+
   buildInputs = [
     boost
     tbb
@@ -74,8 +52,9 @@ stdenv.mkDerivation rec {
     doxygen
     graphviz
   ];
+
   propagatedBuildInputs = [
-    pygments
+    python3.pkgs.pygments
   ];
 
   cmakeFlags = [
diff --git a/pkgs/development/tools/analysis/ikos/formatter-wrap.patch b/pkgs/development/tools/analysis/ikos/formatter-wrap.patch
deleted file mode 100644
index ee4edec70eba47c..000000000000000
--- a/pkgs/development/tools/analysis/ikos/formatter-wrap.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-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):