1largeencodingsdir = encodingsdir / 'large'
2
3large_encoding_files = [
4  'big5.eten-0.enc',
5  'big5hkscs-0.enc',
6  'cns11643-1.enc',
7  'cns11643-2.enc',
8  'cns11643-3.enc',
9  'gb18030-0.enc',
10  'gb18030.2000-0.enc',
11  'gb18030.2000-1.enc',
12  'gb2312.1980-0.enc',
13  'gbk-0.enc',
14  'jisx0201.1976-0.enc',
15  'jisx0208.1990-0.enc',
16  'jisx0212.1990-0.enc',
17  'ksc5601.1987-0.enc',
18  'ksc5601.1992-3.enc',
19  'sun.unicode.india-0.enc'
20]
21
22if get_option('gzip-large-encodings')
23  foreach large_encoding_input : large_encoding_files
24    large_encoding_output = large_encoding_input + '.gz'
25    custom_target(large_encoding_output,
26                  input: large_encoding_input,
27                  output: large_encoding_output,
28                  command: [gzip, '-c', '-n', '@INPUT@'],
29                  capture: true, # capture output from stdout
30                  install: true,
31                  install_dir: largeencodingsdir)
32  endforeach
33else
34  install_data(large_encoding_files, install_dir: largeencodingsdir)
35endif
36
37