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
|
terminal_sources = files(
'terminal.py',
)
install_data(
terminal_sources,
install_dir: join_paths(
pkglibdir,
'plugins',
)
)
terminal_plugin_in = configure_file(
input: 'terminal.plugin.desktop.in.in',
output: 'terminal.plugin.desktop.in',
configuration: plugin_in,
install: false,
)
terminal_plugin = custom_target(
'terminal.plugin',
input: terminal_plugin_in,
output: 'terminal.plugin',
command: msgfmt_plugin_cmd,
install: true,
install_dir: join_paths(
pkglibdir,
'plugins',
)
)
install_data(
'org.gnome.gedit.plugins.terminal.gschema.xml',
install_dir: join_paths(
glibdir,
'schemas',
)
)
terminal_metainfo = i18n.merge_file(
input: 'gedit-terminal.metainfo.xml.in',
output: 'gedit-terminal.metainfo.xml',
po_dir: join_paths(srcdir, 'po'),
type: 'xml',
install: true,
install_dir: appstreamdir,
)
if appstream_util.found()
test(
'validate-gedit-terminal.metainfo.xml',
appstream_util,
args: [
'validate-relax',
'--nonet',
terminal_metainfo.full_path(),
]
)
endif
|
