diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2020-05-23 09:04:37 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2020-05-23 09:04:37 +0200 |
commit | 1b99780e5478ede6c651cb5d57d868d13d71cec0 (patch) | |
tree | c1eb3a18a7902d6b396b676978423a735eb29578 /extra/webkit2gtk | |
parent | 2c4f81282a0e80d2d39af2703d0e54e1c2846e80 (diff) | |
download | packages-1b99780e5478ede6c651cb5d57d868d13d71cec0.tar.xz |
extra/webkit2gtk: fix JavaScriptCore-4.0.gir build issues
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| + ' +)" |