From ea3532393ab8403249bb00041bb11048eccd0a67 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
Date: Mon, 2 Mar 2026 20:29:45 +0100
Subject: [PATCH] gnu: propeller-load: Patch to include header file.

* gnu/packages/embedded.scm (propeller-load)[arguments]: Add phase
'patch-for-readlink.

Change-Id: Iac1645fdfb6174d8af51eb32027b366e925345f9
---
 gnu/packages/embedded.scm | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm
index 3ec68e78d0..ba9dc4de6f 100644
--- a/gnu/packages/embedded.scm
+++ b/gnu/packages/embedded.scm
@@ -1316,6 +1316,13 @@ code.")
         '(modify-phases %standard-phases
            (add-after 'unpack 'chdir
              (lambda _ (chdir "loader")))
+           (add-after 'chdir 'patch-for-readlink
+             (lambda _
+               (substitute* "src/system.c"
+                 (("#include <stdio.h>")
+                  "\
+#include <stdio.h>
+#include <unistd.h>"))))
            (delete 'configure))))
       (native-inputs
        (list openspin (make-propeller-toolchain)))