diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2026-03-02 20:29:45 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2026-03-04 09:52:22 +0100 |
| commit | ea3532393ab8403249bb00041bb11048eccd0a67 (patch) | |
| tree | a4eb1ec1c29a6425eaeabd35707b377d99983d34 /gnu | |
| parent | 129ff35366c866f0bf60cd2a291ce352bc5e936f (diff) | |
gnu: propeller-load: Patch to include header file.
* gnu/packages/embedded.scm (propeller-load)[arguments]: Add phase
'patch-for-readlink.
Change-Id: Iac1645fdfb6174d8af51eb32027b366e925345f9
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/embedded.scm | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm index 3ec68e78d03..ba9dc4de6f0 100644 --- a/gnu/packages/embedded.scm +++ b/gnu/packages/embedded.scm | |||
| @@ -1316,6 +1316,13 @@ code.") | |||
| 1316 | '(modify-phases %standard-phases | 1316 | '(modify-phases %standard-phases |
| 1317 | (add-after 'unpack 'chdir | 1317 | (add-after 'unpack 'chdir |
| 1318 | (lambda _ (chdir "loader"))) | 1318 | (lambda _ (chdir "loader"))) |
| 1319 | (add-after 'chdir 'patch-for-readlink | ||
| 1320 | (lambda _ | ||
| 1321 | (substitute* "src/system.c" | ||
| 1322 | (("#include <stdio.h>") | ||
| 1323 | "\ | ||
| 1324 | #include <stdio.h> | ||
| 1325 | #include <unistd.h>")))) | ||
| 1319 | (delete 'configure)))) | 1326 | (delete 'configure)))) |
| 1320 | (native-inputs | 1327 | (native-inputs |
| 1321 | (list openspin (make-propeller-toolchain))) | 1328 | (list openspin (make-propeller-toolchain))) |