coccinelle: use OCaml 4.14

2024-01-22 08:36:01 +01:00
parent 2b2d034a08
commit 8a5dae5b07
1 changed files with 3 additions and 1 deletions
@@ -18879,7 +18879,9 @@ with pkgs;
  # Does not actually depend on Qt 5
  inherit (plasma5Packages) extra-cmake-modules;

-  coccinelle = callPackage ../development/tools/misc/coccinelle { };
+  coccinelle = callPackage ../development/tools/misc/coccinelle {
+    ocamlPackages = ocaml-ng.ocamlPackages_4_14;
+  };

  cpptest = callPackage ../development/libraries/cpptest { };