2017-05-25 00:16:27 +00:00
|
|
|
subdir('misc')
|
2020-03-04 02:06:57 +00:00
|
|
|
subdir('dbusServices')
|
2020-03-05 16:44:27 +00:00
|
|
|
subdir('extensionPrefs')
|
2017-05-25 00:16:27 +00:00
|
|
|
|
|
|
|
js_resources = gnome.compile_resources(
|
|
|
|
'js-resources', 'js-resources.gresource.xml',
|
|
|
|
source_dir: ['.', meson.current_build_dir()],
|
|
|
|
c_name: 'shell_js_resources',
|
|
|
|
dependencies: [config_js]
|
|
|
|
)
|
2018-08-10 11:56:07 +00:00
|
|
|
|
|
|
|
portal_resources = gnome.compile_resources(
|
|
|
|
'portal-resources', 'portal-resources.gresource.xml',
|
|
|
|
source_dir: ['.', meson.current_build_dir()],
|
|
|
|
c_name: 'portal_js_resources',
|
|
|
|
dependencies: [config_js]
|
|
|
|
)
|