wok rev 24768
libwebkit: bison 3 fix
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Sat Mar 19 12:46:44 2022 +0000 (2022-03-19) |
parents | 8b705f9aa129 |
children | 4175a6ed23ea |
files | libwebkit-video/receipt libwebkit/receipt |
line diff
1.1 --- a/libwebkit-video/receipt Sat Mar 19 10:01:29 2022 +0000 1.2 +++ b/libwebkit-video/receipt Sat Mar 19 12:46:44 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 \
2.1 --- a/libwebkit/receipt Sat Mar 19 10:01:29 2022 +0000 2.2 +++ b/libwebkit/receipt Sat Mar 19 12:46:44 2022 +0000 2.3 @@ -22,6 +22,7 @@ 2.4 libxml2-dev libxcb-dev xcb-util-dev util-linux-uuid-dev zlib-dev \ 2.5 libtasn1-dev glib-networking-dev" 2.6 2.7 +# What is the latest version available today? 2.8 current_version() 2.9 { 2.10 wget -O - $(dirname $WGET_URL) 2>/dev/null | \ 2.11 @@ -50,6 +51,9 @@ 2.12 done 2.13 patch -p0 < $stuff/CodeGeneratorGObject-bug-84526.patch || exit 1 2.14 fi 2.15 + # Build fix with newer bison 3 2.16 + sed -i 's|%pure_parser|%define api.pure|' Source/WebCore/css/CSSGrammar.y 2.17 + sed -i '/\$(AM_V_at)rm -f/d' GNUmakefile* Source/WebCore/GNUmakefile* 2.18 # Build 2.19 ./configure \ 2.20 --enable-introspection=no \