gdb: add system-wide configuration file

paths are copied from debian and arch.
This commit is contained in:
Guillaume Girol 2023-01-28 12:00:00 +00:00
parent 9b97ad7b43
commit 86f398dfc4

View File

@ -81,8 +81,15 @@ stdenv.mkDerivation rec {
configurePlatforms = [ "build" "host" "target" ];
# GDB have to be built out of tree.
preConfigure = ''
# remove precompiled docs, required for man gdbinit to mention /etc/gdb/gdbinit
rm gdb/doc/*.info*
rm gdb/doc/*.5
rm gdb/doc/*.1
# fix doc build https://sourceware.org/bugzilla/show_bug.cgi?id=27808
rm gdb/doc/GDBvn.texi
# GDB have to be built out of tree.
mkdir _build
cd _build
'';
@ -103,6 +110,9 @@ stdenv.mkDerivation rec {
"--with-system-zlib"
"--with-system-readline"
"--with-system-gdbinit=/etc/gdb/gdbinit"
"--with-system-gdbinit-dir=/etc/gdb/gdbinit.d"
"--with-gmp=${gmp.dev}"
"--with-mpfr=${mpfr.dev}"
"--with-expat" "--with-libexpat-prefix=${expat.dev}"