README: update gdb build commands (#2093)

pull/2094/head
Disconnect3d 2 years ago committed by GitHub
parent 4f4b677ddb
commit 7828ec504f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -65,7 +65,7 @@ If you use any Linux distribution other than Ubuntu, we recommend using the [lat
```
cd <gdb-sources-dir>
mkdir build && cd build
sudo apt install libgmp-dev libmpfr-dev texinfo # required by build
sudo apt install libgmp-dev libmpfr-dev libreadline-dev texinfo # required by build
../configure --disable-nls --disable-werror --with-system-readline --with-python=`which python3` --with-system-gdbinit=/etc/gdb/gdbinit --enable-targets=all
make -j7
```

Loading…
Cancel
Save