01/07: gnu: %gcc-11-x86_64-micro-architectures: Add psabi entries.

[guix-commits]

efraim pushed a commit to branch master
in repository guix.

commit db6503a6ffae524791b08d3d24b9f44f760986b5
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Mon Jun 19 16:36:51 2023 +0300

    gnu: %gcc-11-x86_64-micro-architectures: Add psabi entries.
    
    * gnu/packages/gcc.scm (%gcc-11-x86_64-micro-architectures): Add entries
    for x86_64-v{1,2,3,4}.
---
 gnu/packages/gcc.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm
index 1b444c2b02..862fdd79c3 100644
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@@ -614,7 +614,10 @@ Go.  It also includes runtime support libraries for these 
languages.")
   (append %gcc-10-x86_64-micro-architectures
           '("sapphirerapids" "alterlake" "rocketlake" ;Intel
 
-            "btver1" "btver2")))                  ;AMD
+            "btver1" "btver2"                     ;AMD
+
+            ;; psABI micro-architecture levels
+            "x86_64-v1" "x86_64-v2" "x86_64-v3" "x86_64-v4")))
 
 ;; Suitable '-march' values for GCC 12.
 (define %gcc-12-aarch64-micro-architectures