blob: 8d2e5a54774ca829c40289fa7ed81f93f5c9d65d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
gresource_config_data = configuration_data()
if host_machine.system() == 'darwin'
gresource_config_data.set(
'OS_DEPENDENT_RESOURCE_FILES',
'<file preprocess="xml-stripblanks">gtk/menus-traditional.ui</file>'
)
else
gresource_config_data.set('OS_DEPENDENT_RESOURCE_FILES', '')
endif
gresource_xml_file = configure_file(
input: 'gedit.gresource.xml.in',
output: 'gedit.gresource.xml',
configuration: gresource_config_data
)
libgedit_gresources = gnome.compile_resources(
'gedit-resources',
gresource_xml_file,
)
|
