diff options
Diffstat (limited to 'testing/webkit2gtk/build')
-rwxr-xr-x | testing/webkit2gtk/build | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/testing/webkit2gtk/build b/testing/webkit2gtk/build new file mode 100755 index 00000000..99377bef --- /dev/null +++ b/testing/webkit2gtk/build @@ -0,0 +1,36 @@ +#!/bin/sh -e + +patch -p1 < u16-fix.patch +patch -p0 < fix-musl.patch + +mkdir build +cd build + +cmake \ + -DCMAKE_BUILD_TYPE=Release \ + -DENABLE_ACCESSIBILITY=OFF \ + -DCMAKE_INSTALL_PREFIX=/usr \ + -DCMAKE_SKIP_RPATH=ON \ + -DPORT=GTK \ + -DLIB_INSTALL_DIR=/usr/lib \ + -DUSE_LIBHYPHEN=OFF \ + -DENABLE_MINIBROWSER=OFF \ + -DUSE_WOFF2=OFF \ + -DUSE_WPE_RENDERER=OFF \ + -DENABLE_INTROSPECTION=OFF \ + -DENABLE_INTL=OFF \ + -DUSE_LIBSECRET=OFF \ + -DUSE_OPENJPEG=OFF \ + -DENABLE_BUBBLEWRAP_SANDBOX=OFF \ + -DENABLE_GEOLOCATION=OFF \ + -DENABLE_SPELLCHECK=OFF \ + -DENABLE_GLES2=ON \ + -DENABLE_VIDEO=OFF \ + -DENABLE_OPENGL=OFF \ + -DENABLE_WEBGL=OFF \ + -DENABLE_WEB_AUDIO=OFF \ + -DUSE_LIBNOTIFY=OFF \ + -Wno-dev -G Ninja .. + +ninja +DESTDIR="$1" ninja install |