wok diff libwebkit-video/receipt @ rev 24828

updated libshout and libshout-dev again (2.4.3 -> 2.4.5)
author Hans-G?nter Theisgen
date Wed Mar 23 17:27:54 2022 +0100 (2022-03-23)
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	Wed Mar 23 17:27:54 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 \