diff options
author | Tor Hedin Brønner <torhedinbronner@gmail.com> | 2018-04-02 20:43:28 +0200 |
---|---|---|
committer | Tor Hedin Brønner <torhedinbronner@gmail.com> | 2018-04-03 11:52:47 +0200 |
commit | 50585295724de4d971dec1e4258daf047ce7da54 (patch) | |
tree | 2b3df6738821f9c800207a32cfb8bc8af0553c00 /pkgs/development/libraries/webkitgtk | |
parent | 39424cfe0d93f3d7e675a4a68be7a90e425fa3a0 (diff) | |
download | nixpkgs-50585295724de4d971dec1e4258daf047ce7da54.tar nixpkgs-50585295724de4d971dec1e4258daf047ce7da54.tar.gz nixpkgs-50585295724de4d971dec1e4258daf047ce7da54.tar.bz2 nixpkgs-50585295724de4d971dec1e4258daf047ce7da54.tar.lz nixpkgs-50585295724de4d971dec1e4258daf047ce7da54.tar.xz nixpkgs-50585295724de4d971dec1e4258daf047ce7da54.tar.zst nixpkgs-50585295724de4d971dec1e4258daf047ce7da54.zip |
webkitgtk: fix non-deterministic build failure
The build sometimes fails, mostly when using a single core. This is a simple stopgap, see upstream bug: https://bugs.webkit.org/show_bug.cgi?id=183788
Diffstat (limited to 'pkgs/development/libraries/webkitgtk')
-rw-r--r-- | pkgs/development/libraries/webkitgtk/2.20.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/development/libraries/webkitgtk/2.20.nix b/pkgs/development/libraries/webkitgtk/2.20.nix index 8b44f11ee93..588f4bc4e3b 100644 --- a/pkgs/development/libraries/webkitgtk/2.20.nix +++ b/pkgs/development/libraries/webkitgtk/2.20.nix @@ -39,6 +39,12 @@ stdenv.mkDerivation rec { patchShebangs . ''; + postConfigure = '' + # A stopgap for a non-deterministic build failure when using only one core + # Upstream bug: https://bugs.webkit.org/show_bug.cgi?id=183788#c4 + ninja JavaScriptCoreForwardingHeaders WTFForwardingHeaders + ''; + cmakeFlags = [ "-DPORT=GTK" "-DUSE_LIBHYPHEN=0" |