diff options
Diffstat (limited to 'extra')
| -rwxr-xr-x | extra/webkit2gtk/build | 15 | ||||
| -rw-r--r-- | extra/webkit2gtk/checksums | 2 | ||||
| -rw-r--r-- | extra/webkit2gtk/sources | 2 | ||||
| -rw-r--r-- | extra/webkit2gtk/version | 2 |
4 files changed, 11 insertions, 10 deletions
diff --git a/extra/webkit2gtk/build b/extra/webkit2gtk/build index 4fd15486..a2924f07 100755 --- a/extra/webkit2gtk/build +++ b/extra/webkit2gtk/build @@ -6,13 +6,14 @@ sed_i() { cat _ > "$file"; rm -f _ } -# Enable streaming related options if gstreamer -# is installed. -cpt-list gst-plugins-base && streaming=ON +# Enable streaming related options if gstreamer is installed. +cpt-list gst-plugins-base >/dev/null 2>&1 && streaming=ON -# Enable the use of openjpeg if the package is -# installed. -cpt-list openjpeg2 && jpeg=ON +# Enable the use of openjpeg if the package is installed. +cpt-list openjpeg2 >/dev/null 2>&1 && jpeg=ON + +# Enable webcrypto if libtasn1 is installed. +cpt-list libtasn1 >/dev/null 2>&1 && libtasn=ON patch -p1 < fix-musl.patch @@ -48,7 +49,7 @@ cmake -B build \ -DUSE_OPENJPEG=${jpeg:-OFF} \ -DUSE_WOFF2=OFF \ -DUSE_WPE_RENDERER=OFF \ - -DENABLE_WEB_CRYPTO=OFF \ + -DENABLE_WEB_CRYPTO=${libtasn:-OFF} \ -DENABLE_MEDIASOURCE=${streaming:-OFF} \ -Wno-dev diff --git a/extra/webkit2gtk/checksums b/extra/webkit2gtk/checksums index 91550c48..665403dd 100644 --- a/extra/webkit2gtk/checksums +++ b/extra/webkit2gtk/checksums @@ -1,2 +1,2 @@ -caf3dbf2d2383072614e34281f2fffb6331faf92f4ecf215f6f6a5a57f755d11 webkitgtk-2.30.0.tar.xz +17c59dfdadb7377192e9b59bc56c8a029c9fad4f38ed732b652bf33d0bd5d6b1 webkitgtk-2.30.1.tar.xz bca30f52651c0a890a7aa928d8524bfd22fab293761d022815f2226a13626ad1 fix-musl.patch diff --git a/extra/webkit2gtk/sources b/extra/webkit2gtk/sources index ddd11544..11ed8de4 100644 --- a/extra/webkit2gtk/sources +++ b/extra/webkit2gtk/sources @@ -1,2 +1,2 @@ -https://webkitgtk.org/releases/webkitgtk-2.30.0.tar.xz +https://webkitgtk.org/releases/webkitgtk-2.30.1.tar.xz patches/fix-musl.patch diff --git a/extra/webkit2gtk/version b/extra/webkit2gtk/version index 57191ebc..ed09e751 100644 --- a/extra/webkit2gtk/version +++ b/extra/webkit2gtk/version @@ -1 +1 @@ -2.30.0 1 +2.30.1 1 |