diff options
Diffstat (limited to 'x11/gnome-shell/files')
-rw-r--r-- | x11/gnome-shell/files/org.freedesktop.ConsoleKit.Manager.xml | 3 | ||||
-rw-r--r-- | x11/gnome-shell/files/patch-meson.build | 16 |
2 files changed, 13 insertions, 6 deletions
diff --git a/x11/gnome-shell/files/org.freedesktop.ConsoleKit.Manager.xml b/x11/gnome-shell/files/org.freedesktop.ConsoleKit.Manager.xml index aff663e3f53b..56ce41638f6d 100644 --- a/x11/gnome-shell/files/org.freedesktop.ConsoleKit.Manager.xml +++ b/x11/gnome-shell/files/org.freedesktop.ConsoleKit.Manager.xml @@ -13,8 +13,7 @@ <arg type="s" direction="in"/> <arg type="h" direction="out"/> </method> - <method name="GetSessionForCookie"> - <arg type="s" direction="in"/> + <method name="GetCurrentSession"> <arg type="o" direction="out"/> </method> <method name="ListSessions"> diff --git a/x11/gnome-shell/files/patch-meson.build b/x11/gnome-shell/files/patch-meson.build index 80da036290d5..3b08518ebe6e 100644 --- a/x11/gnome-shell/files/patch-meson.build +++ b/x11/gnome-shell/files/patch-meson.build @@ -1,12 +1,20 @@ ---- meson.build.orig 2023-04-24 08:26:56 UTC +--- meson.build.orig 2025-06-29 10:48:12 UTC +++ meson.build -@@ -148,8 +148,10 @@ cdata.set('HAVE_FDWALK', cc.has_function('fdwalk')) +@@ -157,11 +157,13 @@ cdata.set('HAVE_SYS_RESOURCE_H', cc.has_header('sys/re cdata.set('HAVE_MALLINFO', cc.has_function('mallinfo')) cdata.set('HAVE_MALLINFO2', cc.has_function('mallinfo2')) cdata.set('HAVE_SYS_RESOURCE_H', cc.has_header('sys/resource.h')) +-cdata.set('HAVE_EXE_INTROSPECTION', +- cc.has_header('elf.h') and +- cc.has_header('link.h') and +- cc.has_define('__GLIBC__', prefix: '#include <link.h>') +-) +if host_machine.system() == 'linux' - cdata.set('HAVE_EXE_INTROSPECTION', - cc.has_header('elf.h') and cc.has_header('link.h')) ++ cdata.set('HAVE_EXE_INTROSPECTION', ++ cc.has_header('elf.h') and ++ cc.has_header('link.h') and ++ cc.has_define('__GLIBC__', prefix: '#include <link.h>') ++ ) +endif cdata.set('HAVE__NL_TIME_FIRST_WEEKDAY', cc.has_header_symbol('langinfo.h', '_NL_TIME_FIRST_WEEKDAY') |