about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorLinus Heckemann <git@sphalerite.org>2018-03-16T22·50+0000
committerLinus Heckemann <git@sphalerite.org>2018-03-16T22·50+0000
commit637701b6047bff23a7dea4e02bebf94660b8cb4c (patch)
tree3e279d52cefbb86152166a2d17d379d54e7dacc6 /doc/manual
parent919c3c20b3ebbf8b83b8de28b612d09270e7a2a6 (diff)
rename build-extra-platforms -> extra-platforms
also document it
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/command-ref/conf-file.xml19
1 files changed, 19 insertions, 0 deletions
diff --git a/doc/manual/command-ref/conf-file.xml b/doc/manual/command-ref/conf-file.xml
index c76640c97e7e..5c21a40a11e9 100644
--- a/doc/manual/command-ref/conf-file.xml
+++ b/doc/manual/command-ref/conf-file.xml
@@ -254,6 +254,25 @@ false</literal>.</para>
   </varlistentry>
 
 
+  <varlistentry><term><literal>extra-platforms</literal></term>
+
+    <listitem><para>Platforms other than the native one which
+    this machine is capable of building for. This can be useful for
+    supporting additional architectures on compatible machines:
+    i686-linux can be built on x86_64-linux machines (and the default
+    for this setting reflects this); armv7 is backwards-compatible with
+    armv6 and armv5tel; some aarch64 machines can also natively run
+    32-bit ARM code; and qemu-user may be used to support non-native
+    platforms (though this may be slow and buggy). Most values for this
+    are not enabled by default because build systems will often
+    misdetect the target platform and generate incompatible code, so you
+    may wish to cross-check the results of using this option against
+    proper natively-built versions of your
+    derivations.</para></listitem>
+
+  </varlistentry>
+
+
   <varlistentry><term><literal>extra-substituters</literal></term>
 
     <listitem><para>Additional binary caches appended to those