ikos: drop

pkgs/development/tools/analysis/ikos/default.nix

@@ -1,84 +0,0 @@
-{
-  stdenv,
-  lib,
-  fetchFromGitHub,
-  cmake,
-  boost,
-  tbb,
-  gmp,
-  llvm,
-  clang,
-  sqlite,
-  python3,
-  ocamlPackages,
-  mpfr,
-  ppl,
-  doxygen,
-  graphviz,
-}:
-
-stdenv.mkDerivation rec {
-  pname = "ikos";
-  version = "3.5";
-
-  src = fetchFromGitHub {
-    owner = "NASA-SW-VnV";
-    repo = "ikos";
-    rev = "v${version}";
-    hash = "sha256-kqgGD0plTW0N30kD7Y8xOvGODplJbi37Wh6yYAkzNKI=";
-  };
-
-  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
-  ];
-
-  propagatedBuildInputs = [
-    python3.pkgs.pygments
-  ];
-
-  cmakeFlags = [
-    "-DAPRON_ROOT=${ocamlPackages.apron}"
-    "-DINSTALL_PYTHON_VIRTUALENV=off"
-    "-DPYTHON_VENV_EXECUTABLE=${python3}/bin/python"
-  ];
-
-  postBuild = ''
-    make doc
-    ${python3}/bin/python -m build --no-isolation --outdir dist/ --wheel analyzer/python
-  '';
-
-  postInstall = ''
-    ${python3}/bin/python -m installer --prefix "$out" dist/*.whl
-  '';
-
-  postFixup = ''
-    wrapPythonPrograms
-  '';
-
-  meta = with lib; {
-    homepage = "https://github.com/NASA-SW-VnV/ikos";
-    description = "Static analyzer for C/C++ based on the theory of Abstract Interpretation";
-    license = licenses.nasa13;
-    maintainers = with maintainers; [ atnnn ];
-  };
-}

pkgs/top-level/aliases.nix

@@ -1180,6 +1180,7 @@ mapAliases {
   ib-controller = throw "ib-controller has been removed from nixpkgs as it was broken"; # Added 2024-07-15
   ibm-sw-tpm2 = throw "ibm-sw-tpm2 has been removed, as it was broken"; # Added 2025-08-25
   icuReal = throw "icuReal has been removed from nixpkgs as a mistake"; # Added 2025-02-18
+  ikos = throw "ikos has been removed, as it does not build with supported LLVM versions"; # Added 2025-08-10
   imagemagick7Big = throw "'imagemagick7Big' has been renamed to/replaced by 'imagemagickBig'"; # Converted to throw 2024-10-17
   imagemagick7 = throw "'imagemagick7' has been renamed to/replaced by 'imagemagick'"; # Converted to throw 2024-10-17
   imagemagick7_light = throw "'imagemagick7_light' has been renamed to/replaced by 'imagemagick_light'"; # Converted to throw 2024-10-17

pkgs/top-level/all-packages.nix

@@ -6863,11 +6863,6 @@ with pkgs;
   iaca_3_0 = callPackage ../development/tools/iaca/3.0.nix { };
   iaca = iaca_3_0;
 
-  ikos = callPackage ../development/tools/analysis/ikos {
-    inherit (llvmPackages_14) stdenv clang llvm;
-    tbb = tbb_2022;
-  };
-
   include-what-you-use = callPackage ../development/tools/analysis/include-what-you-use {
     llvmPackages = llvmPackages_20;
   };