From 1b99780e5478ede6c651cb5d57d868d13d71cec0 Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Sat, 23 May 2020 09:04:37 +0200 Subject: extra/webkit2gtk: fix JavaScriptCore-4.0.gir build issues --- extra/webkit2gtk/PKGBUILD | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'extra/webkit2gtk') 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| + ' +)" -- cgit v1.2.3