diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 2cba173..a3c6aa9 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -87,9 +87,16 @@ jobs: id: run run: | # Install GDB - sudo apt-get install -y gdb + sudo apt-get install libgmp-dev libmpfr-dev libmpc-dev + wget ftp://ftp.gnu.org/gnu/gdb/gdb-14.1.tar.gz + tar -xzf gdb-14.1.tar.gz + cd gdb-14.1 + ./configure + make + sudo make install echo "GDB installation complete" gdb --version + cd .. # Don't immediately fail if GDB exits with a non-zero code set +e