civodul pushed a commit to branch master
in repository guix.
commit 9d5356dbc33009ad4ac879325a8dc3393e600591
Author: Jean-Pierre De Jesus DIAZ <j...@foundationdevices.com>
AuthorDate: Thu Feb 29 16:20:43 2024 +0100
doc: Add documentation for x86_64-linux-gnux32.
* doc/guix.texi: Add documentation for x86_64-linux-gnux32.
Change-Id: I408d57ae5ae3e9b1449633b82c41aba0d40ded06
Signed-off-by: Ludovic Courtès <l...@gnu.org>
---
doc/guix.texi | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/doc/guix.texi b/doc/guix.texi
index fc28a15980..6338915f91 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -16661,6 +16661,7 @@ The available targets are:
- powerpc64le-linux-gnu
- riscv64-linux-gnu
- x86_64-linux-gnu
+ - x86_64-linux-gnux32
- x86_64-w64-mingw32
@end example
@@ -46801,6 +46802,11 @@ Platform targeting x86 CPU running GNU/Linux.
Platform targeting x86 64-bit CPU running GNU/Linux.
@end defvar
+@defvar x86_64-linux-x32
+Platform targeting x86 64-bit CPU running GNU/Linux with the run-time using
+the X32 ABI.
+@end defvar
+
@defvar i686-mingw
Platform targeting x86 CPU running Windows, with run-time support from
MinGW.
