diff options
Diffstat (limited to 'util/ci')
-rw-r--r-- | util/ci/clang-format-whitelist.txt | 2 | ||||
-rw-r--r-- | util/ci/common.sh | 9 |
2 files changed, 5 insertions, 6 deletions
diff --git a/util/ci/clang-format-whitelist.txt b/util/ci/clang-format-whitelist.txt index 75d99f4cd..5cbc262ef 100644 --- a/util/ci/clang-format-whitelist.txt +++ b/util/ci/clang-format-whitelist.txt @@ -192,8 +192,6 @@ src/gui/guiTable.cpp src/gui/guiTable.h src/gui/guiVolumeChange.cpp src/gui/guiVolumeChange.h -src/gui/intlGUIEditBox.cpp -src/gui/intlGUIEditBox.h src/gui/mainmenumanager.h src/gui/modalMenu.h src/guiscalingfilter.cpp diff --git a/util/ci/common.sh b/util/ci/common.sh index eb282c823..88bed9ed4 100644 --- a/util/ci/common.sh +++ b/util/ci/common.sh @@ -5,20 +5,21 @@ install_linux_deps() { local pkgs=(cmake libpng-dev \ libjpeg-dev libxxf86vm-dev libgl1-mesa-dev libsqlite3-dev \ libhiredis-dev libogg-dev libgmp-dev libvorbis-dev libopenal-dev \ - gettext libpq-dev libleveldb-dev libcurl4-openssl-dev) + gettext libpq-dev libleveldb-dev libcurl4-openssl-dev libzstd-dev) if [[ "$1" == "--old-irr" ]]; then shift pkgs+=(libirrlicht-dev) else - # TODO: return old URL when IrrlichtMt 1.9.0mt2 is tagged - #wget "https://github.com/minetest/irrlicht/releases/download/1.9.0mt1/ubuntu-bionic.tar.gz" - wget "http://minetest.kitsunemimi.pw/irrlichtmt-patched-temporary.tgz" -O ubuntu-bionic.tar.gz + wget "https://github.com/minetest/irrlicht/releases/download/1.9.0mt3/ubuntu-bionic.tar.gz" sudo tar -xaf ubuntu-bionic.tar.gz -C /usr/local fi sudo apt-get update sudo apt-get install -y --no-install-recommends ${pkgs[@]} "$@" + + # workaround for bug with Github Actions' ubuntu-18.04 image + sudo apt-get remove -y libgcc-11-dev gcc-11 || : } # Mac OSX build only |