mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2024-11-22 09:41:07 +00:00
Code Issues 1 Projects Releases Wiki Activity

ci: patch GNU indent on indent image to fix crash on long comments

Browse source 
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1036851
https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/4686

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/4857>
This commit is contained in:
Tim-Philipp Müller 2023-06-14 12:56:00 +01:00 committed by GStreamer Marge Bot
parent f18e30cf3b
commit f88cf8b8b0
2 changed files with 58 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.gitlab-image-tags.yml
View file

@ -6,6 +6,6 @@ variables:
# to change any part of the string of the image you want.
###
FEDORA_TAG: '2023-06-12.0'
INDENT_TAG: '2023-03-16.1'
INDENT_TAG: '2023-06-14.1'
LINT_TAG: '2023-02-16.5'
WINDOWS_TAG: '2023-06-12.0'

57
ci/docker/indent/prepare.sh
View file

@ -14,3 +14,60 @@ apt update -yqq
apt install -y dotnet-sdk-7.0
dotnet tool install --global dotnet-format
ln -s ~/.dotnet/tools/dotnet-format /usr/local/bin/dotnet-format
# Patch indent for crasher bug on very long comments
# https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1036851
echo "deb-src http://deb.debian.org/debian/ bookworm main" >> /etc/apt/sources.list
apt update
apt-get install --assume-yes devscripts build-essential dpkg-dev wget
apt-get build-dep --assume-yes indent
apt-get source indent
wget -O indent-2.2.12/debian/patches/9999-long-comment-crashfix.patch 'https://git.savannah.gnu.org/cgit/indent.git/patch/?id=02d7fd4c426e4acfa591a6738dec72f7303c1e7e'
echo "9999-long-comment-crashfix.patch" >> indent-2.2.12/debian/patches/series
cat >indent-2.2.12/debian/changelog.new <<-EOF
indent (2.2.12-4gst1) unstable; urgency=medium
* Pull in bug-fix for crashes on comments longer than 1023 characters.
See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1036851
-- Tim-Philipp Müller <tim@centricular.com> Wed, 14 Jun 2023 12:30:00 +0100
EOF
cat indent-2.2.12/debian/changelog >> indent-2.2.12/debian/changelog.new
mv indent-2.2.12/debian/changelog.new indent-2.2.12/debian/changelog
cd indent-2.2.12 && dpkg-buildpackage -us -uc && dpkg -i ../indent_2.2.12-4gst1_amd64.deb
wget -O gstbayer2rgb.c "https://gitlab.freedesktop.org/gstreamer/gstreamer/-/raw/main/subprojects/gst-plugins-bad/gst/bayer/gstbayer2rgb.c?inline=false"
# Try it
for i in 1 2; do
indent \
--braces-on-if-line \
--case-brace-indentation0 \
--case-indentation2 \
--braces-after-struct-decl-line \
--line-length80 \
--no-tabs \
--cuddle-else \
--dont-line-up-parentheses \
--continuation-indentation4 \
--honour-newlines \
--tab-size8 \
--indent-level2 \
--leave-preprocessor-space \
gstbayer2rgb.c
done;
# clean up
rm gstbayer2rgb.c
rm -rf indent*
apt-get remove --assume-yes devscripts build-essential dpkg-dev wget
apt-get remove --assume-yes libtext-unidecode-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml-libxml-perl texinfo
apt-get autoremove --assume-yes