summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--extra/webkit2gtk/PKGBUILD13
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|
+ '
+)"