From f6bbee5f05be8f297aea65013b9f2c679c6bf9aa Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
Date: Tue, 30 Jan 2024 22:44:43 +0100
Subject: gnu: axoloti-patcher: Add missing headers.

* gnu/packages/axoloti.scm (axoloti-patcher)[arguments]: Include generic
headers in search paths.

Change-Id: I2e1819966eb657ba4a7e0c823e6686de8599dd9a
---
 gnu/packages/axoloti.scm | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'gnu')

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
@@ -315,6 +315,8 @@ runtime.")
                                                                  "share/axoloti"))
                               (toolchain (assoc-ref inputs "cross-toolchain"))
                               (includes  (string-append
+                                          toolchain
+                                          "/arm-none-eabi/include/:"
                                           toolchain
                                           "/arm-none-eabi/include/c++:"
                                           toolchain
-- 
cgit v1.2.3