1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
plugin_time_sources = files(
'gedit-time-plugin.c',
)
gnome.mkenums(
'org.gnome.gedit.plugins.time.enums.xml',
sources: plugin_time_sources,
comments: '<!-- @comment@ -->',
fhead: '<schemalist>',
vhead: ' <@type@ id="org.gnome.gedit.plugins.time.@EnumName@">',
vprod: ' <value nick="@valuenick@" value="@valuenum@"/>',
vtail: ' </@type@>',
ftail: '</schemalist>',
install_header: true,
install_dir: get_option('datadir') / 'glib-2.0/schemas',
)
subdir('resources')
shared_module(
'time',
sources: plugin_time_sources,
include_directories: root_include_dir,
dependencies: libgedit_dep,
install: true,
install_dir: get_option('libdir') / 'gedit/plugins',
name_suffix: module_suffix,
)
plugin_time_gschema_file = files('org.gnome.gedit.plugins.time.gschema.xml')
install_data(
plugin_time_gschema_file,
install_dir: get_option('datadir') / 'glib-2.0/schemas'
)
if xmllint.found()
test(
'validate-time-gschema',
xmllint,
args: [
'--noout',
'--dtdvalid', gschema_dtd,
plugin_time_gschema_file,
]
)
endif
custom_target(
'time.plugin',
input: 'time.plugin.desktop.in',
output: 'time.plugin',
command: msgfmt_plugin_cmd,
install: true,
install_dir: get_option('libdir') / 'gedit/plugins',
)
|
