diff options
Diffstat (limited to '.github/workflows/debian.sh')
| -rwxr-xr-x | .github/workflows/debian.sh | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/.github/workflows/debian.sh b/.github/workflows/debian.sh new file mode 100755 index 0000000..6c4dba6 --- /dev/null +++ b/.github/workflows/debian.sh @@ -0,0 +1,39 @@ +#!/usr/bin/bash + +# 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 + git + gtk-doc-tools + libcaja-extension-dev + libgirepository1.0-dev + make + mate-common + python3-dev + python-gi-dev + quilt +) + +infobegin "Update system" +apt-get update -qq +infoend + +infobegin "Install dependency packages" +env DEBIAN_FRONTEND=noninteractive \ + apt-get install --assume-yes \ + ${requires[@]} +infoend |
