This file is indexed.

/usr/share/gprconfig/vx7.ent 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
39
40
41
42
43
44
45
46
   <!ENTITY version_from_wrs7_gnu_cc
    '<version>
      <external>cc${PREFIX} --version</external>
      <grep regexp=".*\) ([0-9.]*)" group="1"></grep>
      <must_match>4.8.1</must_match>
     </version>'
   >

   <!ENTITY version_from_wrs7_gnu_cpp
    '<version>
      <external>c++${PREFIX} --version</external>
      <grep regexp=".*\) ([0-9.]*)" group="1"></grep>
      <must_match>4.8.1</must_match>
     </version>'
   >

   <!ENTITY runtimes_vx7
    '<runtimes>kernel,rtp</runtimes>'
   >

  <!ENTITY config_wrs_rtp_base
    '<config>
   WRS_RTP_Base := external ("WRS_RTP_BASE", "&this_wrs_rtp_base;");
   package Linker is
      for Leading_Switches ("Ada") use
        Linker &apos; Leading_Switches ("Ada")
        &amp; ("-Wl,--defsym,__wrs_rtp_base=" &amp; WRS_RTP_Base);
      for Leading_Switches ("C") use
        Linker &apos; Leading_Switches ("C")
        &amp; ("-Wl,--defsym,__wrs_rtp_base=" &amp; WRS_RTP_Base);
      for Leading_Switches ("C++") use
        Linker &apos; Leading_Switches ("C++")
        &amp; ("-Wl,--defsym,__wrs_rtp_base=" &amp; WRS_RTP_Base);
   end Linker;
     </config>'
  >

  <!ENTITY configurations_vx7
  '
   <configuration>
     &if_rtp;
     &if_this_target;

     &config_wrs_rtp_base;
   </configuration>'
  >