summaryrefslogtreecommitdiff
path: root/gnu/packages/axoloti.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2024-01-30 22:44:43 +0100
committerRicardo Wurmus <rekado@elephly.net>2024-01-30 22:44:43 +0100
commitf6bbee5f05be8f297aea65013b9f2c679c6bf9aa (patch)
tree9d6b62fba6e1e412d834418f7bbba3cad9cf00a2 /gnu/packages/axoloti.scm
parentc2dc19aecc1b0e88e95a4722e7e65674376d2b12 (diff)
gnu: axoloti-patcher: Add missing headers.
* gnu/packages/axoloti.scm (axoloti-patcher)[arguments]: Include generic headers in search paths. Change-Id: I2e1819966eb657ba4a7e0c823e6686de8599dd9a
Diffstat (limited to 'gnu/packages/axoloti.scm')
-rw-r--r--gnu/packages/axoloti.scm2
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")))