wok diff libwebkit-video/receipt @ rev 25570

created recipe for rubberband-dev
author Hans-G?nter Theisgen
date Sat May 13 10:31:53 2023 +0100 (18 months ago)
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 May 13 10:31:53 2023 +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 \