/usr/share/gprconfig/x86-vx7.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 39 40 41 | <?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 % vx7.ent SYSTEM "vx7.ent"> %vx7.ent;
<!-- Local target-specific conditions -->
<!ENTITY this_target 'i586-wrs-vxworks7'>
<!ENTITY if_these_c_compilers
'<compilers>
<compiler name="GCC_Pro" />
<compiler name="GCC-WRS7X86" />
</compilers>'>
<!ENTITY if_these_cpp_compilers
'<compilers>
<compiler name="G++-WRS7X86" />
</compilers>'>
<!ENTITY if_these_gnu_wrs_compilers
'<compilers>
<compiler name="G++-WRS7X86" />
<compiler name="GCC-WRS7X86" />
</compilers>'>
<!ENTITY this_wrs_rtp_base '0x80000000'>
]>
<gprconfig>
&environment;
&configurations_vxworks_gpp;
&configurations_vx7;
&configurations_gnat_ar;
</gprconfig>
|