diff options
Diffstat (limited to 'xcomp/README.md')
| -rw-r--r-- | xcomp/README.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/xcomp/README.md b/xcomp/README.md index 2d79107283..98e71d5962 100644 --- a/xcomp/README.md +++ b/xcomp/README.md @@ -430,6 +430,14 @@ When a variable has been set, no warning will be issued. `configure` will fail unless this variable is set. Since no default value is used, `configure` will try to figure this out automatically. +* `erl_xcomp_double_middle` - `yes|no`. No default. If `yes`, the + target system must have doubles in "middle-endian" format. If + `no`, it has "regular" endianness. This can often be automatically + detected, but not always. If not automatically detected, + `configure` will fail unless this variable is set. Since no + default value is used, `configure` will try to figure this out + automatically. + * `erl_xcomp_clock_gettime_cpu_time` - `yes|no`. Defaults to `no`. If `yes`, the target system must have a working `clock_gettime()` implementation that can be used for retrieving process CPU time. |