/usr/share/gprconfig/env.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 | <!ENTITY environment
'
<configuration>
&if_this_target;
<config>
EXEC_ADA := "${EXEC(Ada)}";
EXEC_C := "${EXEC(C)}";
EXEC_CPP := "${EXEC(C++)}";
HOST_ADA := "${HOST(Ada)}";
HOST_C := "${HOST(C)}";
HOST_CPP := "${HOST(C++)}";
TARGET_ADA := "${TARGET(Ada)}";
TARGET_C := "${TARGET(C)}";
TARGET_CPP := "${TARGET(C++)}";
VERSION_ADA := "${VERSION(Ada)}";
VERSION_C := "${VERSION(C)}";
VERSION_CPP := "${VERSION(C++)}";
PREFIX_ADA := "${PREFIX(Ada)}";
PREFIX_C := "${PREFIX(C)}";
PREFIX_CPP := "${PREFIX(C++)}";
PATH_ADA := "${PATH(Ada)}";
PATH_C := "${PATH(C)}";
PATH_CPP := "${PATH(C++)}";
RUNTIME_ADA := "${RUNTIME(Ada)}";
RUNTIME_C := "${RUNTIME(C)}";
RUNTIME_CPP := "${RUNTIME(C++)}";
GPRCONFIG_PREFIX := "${GPRCONFIG_PREFIX}";
</config>
</configuration>
'
>
|