wok diff libwebkit-video/receipt @ rev 25494

Add finch & btop (thanks ceel)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Wed Nov 30 08:50:05 2022 +0000 (23 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	Wed Nov 30 08:50:05 2022 +0000
     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 \