wok-current diff libwebkit-video/receipt @ rev 25117
updated pcre2 and pcre2-dev (10.34 -> 10.40)
author | Hans-G?nter Theisgen |
---|---|
date | Sat Jun 25 16:50:46 2022 +0100 (2022-06-25) |
parents | 5d79829fa876 |
children |
line diff
1.1 --- a/libwebkit-video/receipt Wed Jul 07 17:56:16 2021 +0000 1.2 +++ b/libwebkit-video/receipt Sat Jun 25 16:50:46 2022 +0100 1.3 @@ -25,6 +25,7 @@ 1.4 gstreamer-dev gst-plugins-base-dev" 1.5 SUGGESTED="gst-plugins-good gst-plugins-bad gst-plugins-ugly gst-ffmpeg" 1.6 1.7 +# What is the latest version available today? 1.8 current_version() 1.9 { 1.10 wget -O - $(dirname $WGET_URL) 2>/dev/null | \ 1.11 @@ -44,6 +45,9 @@ 1.12 status 1.13 done 1.14 touch Documentation/webkitgtk/version.xml 1.15 + # Build fix with newer bison 3 1.16 + sed -i 's|%pure_parser|%define api.pure|' Source/WebCore/css/CSSGrammar.y 1.17 + sed -i '/\$(AM_V_at)rm -f/d' GNUmakefile* Source/WebCore/GNUmakefile* 1.18 # Build 1.19 ./configure \ 1.20 --prefix=/usr \