diff options
author | nyanloutre <paul@nyanlout.re> | 2019-08-22 12:19:13 +0200 |
---|---|---|
committer | nyanloutre <paul@nyanlout.re> | 2019-08-22 12:19:13 +0200 |
commit | 620331c294c8c8a30fd73818f4e4633325e47194 (patch) | |
tree | 84fd36ef16ac2caf0ffef08c80d1694714a16dd2 /pkgs/development/libraries/kde-frameworks/kdewebkit.nix | |
parent | 1e2ad9e6bc55a399396809fc0685c148efd371ae (diff) |
kdeFramework.kdewebkit: disable new designer plugin option
Diffstat (limited to 'pkgs/development/libraries/kde-frameworks/kdewebkit.nix')
-rw-r--r-- | pkgs/development/libraries/kde-frameworks/kdewebkit.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/libraries/kde-frameworks/kdewebkit.nix b/pkgs/development/libraries/kde-frameworks/kdewebkit.nix index b7dcfb7fe64cd..9f682b4497529 100644 --- 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" + ]; } |