ikos: 3.2 -> 3.3

Diff: NASA-SW-VnV/ikos@v3.2...v3.3
NixOS · Sep 16, 2024 · 45bc652 · 45bc652
1 parent 52a408e
commit 45bc652
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 44 deletions.
diff --git 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