gdb: Make it easier to install a correct version of GDB inside the ossfuzz container

ossfuzz.sh

@@ -30,6 +30,7 @@ SCRIPTDIR=${BUILD_ROOT}/scripts
 ZLIBDIR=/src/zlib
 OPENSSLDIR=/src/openssl
 NGHTTPDIR=/src/nghttp2
+GDBDIR=/src/gdb
 
 echo "BUILD_ROOT: $BUILD_ROOT"
 echo "SRC: ${SRC:-undefined}"
@@ -46,6 +47,15 @@ export MAKEFLAGS+="-j$(nproc)"
 # Make an install directory
 export INSTALLDIR=/src/curl_install
 
+# If necessary (i.e. this is inside the ossfuzz shell environment and
+# you've set the environment variable) then download and install GDB.
+# This installs to the default configure location.
+if [[ ${INSTALLGDB:-} == "yes" ]]
+then
+  # Install GDB
+  ${SCRIPTDIR}/handle_x.sh gdb ${GDBDIR} system || exit 1
+fi
+
 # Install zlib
 ${SCRIPTDIR}/handle_x.sh zlib ${ZLIBDIR} ${INSTALLDIR} || exit 1
 

scripts/download_gdb.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+# If any commands fail, fail the script immediately.
+set -ex
+
+wget https://ftp.gnu.org/gnu/gdb/gdb-13.2.tar.xz -O /tmp/gdb.tar.gz
+tar -xvf /tmp/gdb.tar.gz --directory /tmp
+
+# Move the directory into the correct place
+mv -v /tmp/gdb-* "$1"

scripts/install_gdb.sh

@@ -0,0 +1,16 @@
+#!/bin/bash
+# If any commands fail, fail the script immediately.
+set -ex
+
+export CFLAGS=
+export CXXFLAGS=
+
+SRCDIR=$1
+
+pushd ${SRCDIR}
+
+./configure
+make
+make install
+
+popd

scripts/ossfuzzdeps.sh

@@ -8,6 +8,7 @@ apt-get install -y make \
                    autoconf \
                    automake \
                    libtool \
+                   libgmp-dev \
                    libssl-dev \
                    zlib1g-dev \
                    pkg-config \