diff options
Diffstat (limited to 'extra/webkit2gtk')
| -rw-r--r-- | extra/webkit2gtk/PKGBUILD | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/extra/webkit2gtk/PKGBUILD b/extra/webkit2gtk/PKGBUILD index 4d9cc33a..8c57f8cb 100644 --- a/extra/webkit2gtk/PKGBUILD +++ b/extra/webkit2gtk/PKGBUILD @@ -13,8 +13,7 @@ if [ "${CARCH}" != "pentium4" ]; then )" fi -# work around broken generated makefiles resulting in -# "make[2]: *** No rule to make target 'JavaScriptCore-4.0.gir', needed by 'WebKit2-4.0.gir'. Stop." +# do not build JIT code on non-pentium4 (breaks in micro-optimizations) eval "$( declare -f build | \ sed ' @@ -29,3 +28,13 @@ eval "$( } ' )" + +# work around broken generated makefiles resulting in +# "make[2]: *** No rule to make target 'JavaScriptCore-4.0.gir', needed by 'WebKit2-4.0.gir'. Stop." +# https://bugs.webkit.org/show_bug.cgi?id=195251 +eval "$( + declare -f build | \ + sed ' + s|cmake --build build|cmake --build build; cd build/Source/JavaScriptCore; make; cd ../../..; cmake --build build| + ' +)" |