build: Don't introspect ShellMenu
It is now only used internally by ShellApp to track remote actions, so there's no need to expose it to javascript code. https://gitlab.gnome.org/GNOME/gnome-shell/issues/624
This commit is contained in:
parent
7df93458d7
commit
8003f8b803
@ -79,20 +79,6 @@ libshell_menu = library('gnome-shell-menu',
|
|||||||
install: true
|
install: true
|
||||||
)
|
)
|
||||||
|
|
||||||
libshell_menu_gir = gnome.generate_gir(libshell_menu,
|
|
||||||
sources: libshell_menu_sources,
|
|
||||||
nsversion: '0.1',
|
|
||||||
namespace: 'ShellMenu',
|
|
||||||
identifier_prefix: 'Gtk',
|
|
||||||
symbol_prefix: 'gtk',
|
|
||||||
includes: ['Gio-2.0', libst_gir[0]],
|
|
||||||
dependencies: [mutter_dep],
|
|
||||||
extra_args: ['--quiet'],
|
|
||||||
install_dir_gir: pkgdatadir,
|
|
||||||
install_dir_typelib: pkglibdir,
|
|
||||||
install: true
|
|
||||||
)
|
|
||||||
|
|
||||||
libshell_menu_dep = declare_dependency(link_with: libshell_menu)
|
libshell_menu_dep = declare_dependency(link_with: libshell_menu)
|
||||||
|
|
||||||
libshell_public_headers = [
|
libshell_public_headers = [
|
||||||
@ -222,7 +208,6 @@ endif
|
|||||||
|
|
||||||
libshell_gir_includes += [
|
libshell_gir_includes += [
|
||||||
libgvc_gir[0],
|
libgvc_gir[0],
|
||||||
libshell_menu_gir[0],
|
|
||||||
libst_gir[0]
|
libst_gir[0]
|
||||||
]
|
]
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user