src/stage4/patches/generic/webkit2gtk.patch


1
2
3
4
5
6
7
8
9
10
11

diff -rupN a/PKGBUILD b/PKGBUILD
--- a/PKGBUILD	2018-06-14 08:09:00.766050013 +0200
+++ b/PKGBUILD	2018-06-14 10:41:54.146141544 +0200
@@ -38,6 +38,7 @@ build() {
     -DCMAKE_INSTALL_PREFIX=/usr \
     -DCMAKE_SKIP_RPATH=ON \
     -DENABLE_GTKDOC=ON \
+    -DENABLE_JIT=OFF \
     -DLIBEXEC_INSTALL_DIR=/usr/lib \
     -DLIB_INSTALL_DIR=/usr/lib \
     -DPYTHON_EXECUTABLE=/usr/bin/python2 \