diff options
author | Guillaume Girol <symphorien+git@xlumurb.eu> | 2023-01-28 12:00:00 +0000 |
---|---|---|
committer | Guillaume Girol <symphorien+git@xlumurb.eu> | 2023-01-28 12:00:00 +0000 |
commit | 86f398dfc4cf3a10f9c1c6aec67c20318cc7fb19 (patch) | |
tree | 32e2c7a0765c94ae716d17746d7df4183d87a3c4 /pkgs/development/tools/misc/gdb | |
parent | 9b97ad7b4330aacda9b2343396eb3df8a853b4fc (diff) | |
download | nixpkgs-86f398dfc4cf3a10f9c1c6aec67c20318cc7fb19.tar nixpkgs-86f398dfc4cf3a10f9c1c6aec67c20318cc7fb19.tar.gz nixpkgs-86f398dfc4cf3a10f9c1c6aec67c20318cc7fb19.tar.bz2 nixpkgs-86f398dfc4cf3a10f9c1c6aec67c20318cc7fb19.tar.lz nixpkgs-86f398dfc4cf3a10f9c1c6aec67c20318cc7fb19.tar.xz nixpkgs-86f398dfc4cf3a10f9c1c6aec67c20318cc7fb19.tar.zst nixpkgs-86f398dfc4cf3a10f9c1c6aec67c20318cc7fb19.zip |
gdb: add system-wide configuration file
paths are copied from debian and arch.
Diffstat (limited to 'pkgs/development/tools/misc/gdb')
-rw-r--r-- | pkgs/development/tools/misc/gdb/default.nix | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/pkgs/development/tools/misc/gdb/default.nix b/pkgs/development/tools/misc/gdb/default.nix index 667acd91f34..463383edc8c 100644 --- a/pkgs/development/tools/misc/gdb/default.nix +++ b/pkgs/development/tools/misc/gdb/default.nix @@ -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}" |