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
56
57
58
59
60
61
62
63
64
65
66
67
68
|
libtime_sources = files(
'gedit-time-plugin.c',
)
libtime_deps = [
libgedit_dep,
]
gnome.mkenums(
'org.gnome.gedit.plugins.time.enums.xml',
sources: libtime_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: join_paths(
glibdir,
'schemas',
)
)
subdir('resources')
libtime_sha = shared_module(
'time',
sources: libtime_sources,
include_directories: root_include_dir,
dependencies: libtime_deps,
install: true,
install_dir: join_paths(
pkglibdir,
'plugins',
),
name_suffix: module_suffix,
)
time_gschema_file = files('org.gnome.gedit.plugins.time.gschema.xml')
install_data(
time_gschema_file,
install_dir: join_paths(get_option('prefix'), get_option('datadir'), 'glib-2.0/schemas')
)
if xmllint.found()
test(
'validate-time-gschema',
xmllint,
args: [
'--noout',
'--dtdvalid', gschema_dtd,
time_gschema_file,
]
)
endif
custom_target(
'time.plugin',
input: 'time.plugin.desktop.in',
output: 'time.plugin',
command: msgfmt_plugin_cmd,
install: true,
install_dir: join_paths(
pkglibdir,
'plugins',
)
)
|
