diff options
Diffstat (limited to '.github/workflows/debian.sh')
| -rwxr-xr-x | .github/workflows/debian.sh | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/.github/workflows/debian.sh b/.github/workflows/debian.sh new file mode 100755 index 00000000..7e431930 --- /dev/null +++ b/.github/workflows/debian.sh @@ -0,0 +1,54 @@ +#!/usr/bin/bash + +set -eo pipefail + +# Use grouped output messages +infobegin() { + echo "::group::${1}" +} +infoend() { + echo "::endgroup::" +} + +# Required packages on Debian +requires=( + ccache # Use ccache to speed up build +) + +requires+=( + autoconf-archive + autopoint + gcc + g++ + git + gtk-doc-tools + libcanberra-gtk3-dev + libglib2.0-dev + libgtk-3-dev + libgtop2-dev + libmate-panel-applet-dev + libudisks2-dev + libx11-dev + libxext-dev + libxt-dev + make + mate-common + x11proto-xext-dev + xsltproc + yelp-tools + zlib1g-dev + gobject-introspection + iso-codes + libdconf-dev + libgirepository1.0-dev +) + +infobegin "Update system" +apt-get update -qq +infoend + +infobegin "Install dependency packages" +env DEBIAN_FRONTEND=noninteractive \ + apt-get install --assume-yes \ + ${requires[@]} +infoend |
