From ebf6e99022738efb0ebb1c4c9a780afb41367e5d Mon Sep 17 00:00:00 2001
From: Andreas Enge <andreas@enge.fr>
Date: Mon, 21 Jul 2025 20:43:19 +0200
Subject: [PATCH] gnu: spike: Fix build with gcc@14.

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

Change-Id: I363875fb17c5e0d23037eee4c5023bc563367c4b
---
 gnu/packages/virtualization.scm | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gnu/packages/virtualization.scm b/gnu/packages/virtualization.scm
index 03e5bc8004af4987cf49666687604f3429d71c57..af1566b3a690fb5263a0ffe832e2b3d5881248a1 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.