diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2024-01-30 22:44:43 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2024-01-30 22:44:43 +0100 |
| commit | f6bbee5f05be8f297aea65013b9f2c679c6bf9aa (patch) | |
| tree | 9d6b62fba6e1e412d834418f7bbba3cad9cf00a2 | |
| parent | c2dc19aecc1b0e88e95a4722e7e65674376d2b12 (diff) | |
gnu: axoloti-patcher: Add missing headers.
* gnu/packages/axoloti.scm (axoloti-patcher)[arguments]: Include generic
headers in search paths.
Change-Id: I2e1819966eb657ba4a7e0c823e6686de8599dd9a
| -rw-r--r-- | gnu/packages/axoloti.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/axoloti.scm b/gnu/packages/axoloti.scm index 2f8497e3dd..a36210b7d4 100644 --- a/gnu/packages/axoloti.scm +++ b/gnu/packages/axoloti.scm @@ -316,6 +316,8 @@ runtime.") (toolchain (assoc-ref inputs "cross-toolchain")) (includes (string-append toolchain + "/arm-none-eabi/include/:" + toolchain "/arm-none-eabi/include/c++:" toolchain "/arm-none-eabi/include/c++/arm-none-eabi/armv7e-m"))) |