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 | 
