gnu: spike: Fix build with gcc@14.

* gnu/packages/virtualization.scm (spike)[arguments]<#:phases>{'gcc14}:
New phase.

Change-Id: I363875fb17c5e0d23037eee4c5023bc563367c4b

1 files changed, 6 insertions, 0 deletions

diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm
index 03e5bc8004a..af1566b3a69 100644
--- a/gnu/packages/virtualization.scm
+++ b/gnu/packages/virtualization.scm
@@ -42,6 +42,7 @@
 ;;; Copyright © 2024 Artyom V. Poptsov <poptsov.artyom@gmail.com>
 ;;; Copyright © 2025 Karl Hallsby <karl@hallsby.com>
 ;;; Copyright © 2025 Douglas Deslauriers <Douglas.Deslauriers@vector.com>
+;;; Copyright © 2025 Andreas Enge <andreas@enge.fr>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -1305,6 +1306,11 @@ it emulates a variety of hardware and peripherals.")
      (list
        #:phases
        #~(modify-phases %standard-phases
+           (add-before 'configure 'gcc14
+             (lambda _
+               (substitute* "fesvr/device.h"
+                 (("#include <string>" all)
+                  (string-append all "\n#include <cstdint>")))))
            (add-before 'configure 'configure-dtc-path
              (lambda* (#:key inputs #:allow-other-keys)
                ;; Reference dtc by its absolute store path.