/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>
|