Merge pull request #207715 from jtojnar/gnome-debug

GNOME: enable debug info for more crash-prone libs
This commit is contained in:
Jan Tojnar 2023-01-02 06:40:46 +01:00 committed by GitHub
commit 234ef727ed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 8 additions and 0 deletions

View file

@ -165,6 +165,8 @@ stdenv.mkDerivation rec {
done
'';
separateDebugInfo = true;
passthru = {
updateScript = gnome.updateScript {
packageName = pname;

View file

@ -87,6 +87,8 @@ stdenv.mkDerivation rec {
NIX_CFLAGS_COMPILE = "-I${glib.dev}/include/gio-unix-2.0";
separateDebugInfo = true;
passthru = {
updateScript = gnome.updateScript {
versionPolicy = "odd-unstable";

View file

@ -131,6 +131,8 @@ stdenv.mkDerivation rec {
doCheck = false; # fails with "ModuleNotFoundError: No module named 'gi'"
doInstallCheck = doCheck;
separateDebugInfo = true;
passthru = {
updateScript = gnome.updateScript {
packageName = pname;

View file

@ -58,6 +58,8 @@ stdenv.mkDerivation rec {
moveToOutput "share/doc" "$devdoc"
'';
separateDebugInfo = true;
passthru = {
updateScript = gnome.updateScript {
packageName = pname;