diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-01-17 04:22:53 +0100 |
---|---|---|
committer | a-n-n-a-l-e-e <150648636+a-n-n-a-l-e-e@users.noreply.github.com> | 2024-01-21 20:05:56 -0800 |
commit | effd2e8a6e88a36ae27d2c33cfa19505e93ad354 (patch) | |
tree | 39cb823e5ba126d0bb6b53aa02ebc4016a1479eb /pkgs/development/tools/analysis | |
parent | 8cccce637e19577815de54c5ecc3132dff965aee (diff) | |
download | nixlib-effd2e8a6e88a36ae27d2c33cfa19505e93ad354.tar nixlib-effd2e8a6e88a36ae27d2c33cfa19505e93ad354.tar.gz nixlib-effd2e8a6e88a36ae27d2c33cfa19505e93ad354.tar.bz2 nixlib-effd2e8a6e88a36ae27d2c33cfa19505e93ad354.tar.lz nixlib-effd2e8a6e88a36ae27d2c33cfa19505e93ad354.tar.xz nixlib-effd2e8a6e88a36ae27d2c33cfa19505e93ad354.tar.zst nixlib-effd2e8a6e88a36ae27d2c33cfa19505e93ad354.zip |
ikos: fix build with GCC 13
Diffstat (limited to 'pkgs/development/tools/analysis')
-rw-r--r-- | pkgs/development/tools/analysis/ikos/default.nix | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/pkgs/development/tools/analysis/ikos/default.nix b/pkgs/development/tools/analysis/ikos/default.nix index 65d5f0e91bd8..50f4f552e0ff 100644 --- a/pkgs/development/tools/analysis/ikos/default.nix +++ b/pkgs/development/tools/analysis/ikos/default.nix @@ -20,10 +20,18 @@ stdenv.mkDerivation rec { hash = "sha256-scaFkUhCkIi41iR6CGPbEndzXkgqTKMb3PDNvhgVbCE="; }; - patches = fetchpatch { + patches = [ (fetchpatch { url = "https://github.com/NASA-SW-VnV/ikos/commit/2e647432427b3f0dbb639e0371d976ab6406f290.patch"; hash = "sha256-ffzjlqEp4qp76Kwl5zpyQlg/xUMt8aLDSSP4XA4ndS8="; - }; + }) + # 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="; + }) + ]; nativeBuildInputs = [ cmake ]; buildInputs = [ boost tbb gmp clang llvm sqlite python |