kdeFramework.kdewebkit: disable new designer plugin option

2019-08-22 12:19:13 +02:00 · 2019-08-22 12:19:13 +02:00 · 620331c294
commit 620331c294
parent 1e2ad9e6bc
1 changed files with 3 additions and 0 deletions
--- a/pkgs/development/libraries/kde-frameworks/kdewebkit.nix
+++ b/pkgs/development/libraries/kde-frameworks/kdewebkit.nix
@ -8,4 +8,7 @@ mkDerivation {
  buildInputs = [ kconfig kcoreaddons kio kparts ];
  propagatedBuildInputs = [ qtwebkit ];
  outputs = [ "out" "dev" ];
+  cmakeFlags = [
+    "-DBUILD_DESIGNERPLUGIN=OFF"
+  ];
 }