This file is indexed.

/usr/share/gprconfig/arm-vx6.xml is in gprbuild 2017-5.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 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
<?xml version="1.0" ?>
<!DOCTYPE gprconfig [
<!ENTITY % env.ent SYSTEM "env.ent"> %env.ent;
<!ENTITY % shortcuts.ent SYSTEM "shortcuts.ent"> %shortcuts.ent;
<!ENTITY % vxworks.ent SYSTEM "vxworks.ent"> %vxworks.ent;
<!ENTITY % vx6.ent SYSTEM "vx6.ent"> %vx6.ent;

<!-- Local target-specific conditions -->

<!ENTITY this_target 'arm-wrs-vxworks'>
<!ENTITY this_gnu_wrs_suffix 'arm'>

<!ENTITY if_these_c_compilers
    '<compilers>
       <compiler name="GCC_Pro" />
       <compiler name="GCC-WRS6" />
     </compilers>'>

<!ENTITY if_these_cpp_compilers
    '<compilers>
       <compiler name="G++-WRS6" />
     </compilers>'>

<!ENTITY if_these_gnu_wrs_compilers
    '<compilers>
       <compiler name="GCC-WRS6" />
       <compiler name="G++-WRS6" />
     </compilers>'>
]>
<gprconfig>

  &environment;

  &configurations_vxworks_gpp;

  &configurations_vx6;

</gprconfig>