diff --git a/.github/scripts/install_deps.sh b/.github/scripts/install_deps.sh index 21cadca0..7a3afabc 100755 --- a/.github/scripts/install_deps.sh +++ b/.github/scripts/install_deps.sh @@ -3,7 +3,7 @@ set -eu case "${1%-*}" in - ubuntu) + ubuntu|debian) sudo apt-get -qq update sudo apt-get install -yq bison libpng-dev pkg-config ;; @@ -27,7 +27,7 @@ case "${1%-*}" in bison() { win_bison "$@"; } # An alias doesn't work, so we use a function instead. ;; *) - echo "WARNING: Cannot install deps for OS '$1'" + echo "::error:: Cannot install deps for OS '$1'" ;; esac diff --git a/Dockerfile b/Dockerfile index f6e243b7..2b44fbba 100644 --- a/Dockerfile +++ b/Dockerfile @@ -9,7 +9,7 @@ RUN apt-get update && \ apt-get install sudo make cmake gcc build-essential -y # Install dependencies and compile RGBDS -RUN ./.github/scripts/install_deps.sh ubuntu-24.04 +RUN ./.github/scripts/install_deps.sh debian RUN make -j CXXFLAGS="-O3 -flto -DNDEBUG -static" PKG_CONFIG="pkg-config --static" Q= # Create an archive with the compiled executables and all the necessary to install it,