diff options
| author |  Navidem <navid.emamdoost@gmail.com> | 2022-06-15 11:09:02 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2022-06-15 11:09:02 -0500 |
| commit | 3ad57541c15fe640092a70844a607824892e27ff (patch) | |
| tree | 3ce180e4143e03ba541a9b00f43b0e03bc52b3fb /infra | |
| parent | bdfa1ef3d2335a5be03bda4ff88aff76c775050b (diff) | |
Install gdb 12 from source (#7842)
* Install gdb12 from source
* nit: remove tar file
* nit
* Separate GDB installation and purge libs
* Pass -y to purge
* use remove --purge
Diffstat (limited to 'infra')
| -rw-r--r-- | infra/base-images/base-runner-debug/Dockerfile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/infra/base-images/base-runner-debug/Dockerfile b/infra/base-images/base-runner-debug/Dockerfile index c7c7daae..0f1dbe1a 100644 --- a/infra/base-images/base-runner-debug/Dockerfile +++ b/infra/base-images/base-runner-debug/Dockerfile @@ -15,4 +15,11 @@ ################################################################################ FROM gcr.io/oss-fuzz-base/base-runner -RUN apt-get update && apt-get install -y gdb valgrind zip +RUN apt-get update && apt-get install -y valgrind zip + +# Installing GDB 12, re https://github.com/google/oss-fuzz/issues/7513. +RUN apt-get install -y build-essential libgmp-dev && \ + wget https://ftp.gnu.org/gnu/gdb/gdb-12.1.tar.xz && \ + tar -xf gdb-12.1.tar.xz && cd gdb-12.1 && ./configure && \ + make && make install && cd .. && rm -rf gdb-12.1* && \ + apt-get remove --purge -y build-essential libgmp-dev |