coccinelle: build with caml 4.01

2017-02-19 13:05:46 +01:00
parent 2f46fb2cba
commit ba993ad506
1 changed files with 3 additions and 1 deletions
@@ -6256,7 +6256,9 @@ with pkgs;
  # Does not actually depend on Qt 5
  extra-cmake-modules = qt5.ecmNoHooks;

-  coccinelle = callPackage ../development/tools/misc/coccinelle { };
+  coccinelle = callPackage ../development/tools/misc/coccinelle {
+    ocamlPackages = ocamlPackages_4_01_0;
+   };

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