diff options
| author | Björn Höfling <bjoern.hoefling@bjoernhoefling.de> | 2020-05-14 08:12:07 +0200 |
|---|---|---|
| committer | Björn Höfling <bjoern.hoefling@bjoernhoefling.de> | 2020-05-14 10:40:30 +0200 |
| commit | f6ec9f9d39eeab1eb5432272d47f87f70e95a890 (patch) | |
| tree | 4bbf75ecc7a06a4d41f11786ee6e7a51a5db5ea8 /gnu/services | |
| parent | 99f2c9347053b7be78fed96d1b8e4a5cefc05a8c (diff) | |
| download | guix-f6ec9f9d39eeab1eb5432272d47f87f70e95a890.tar.gz guix-f6ec9f9d39eeab1eb5432272d47f87f70e95a890.zip | |
gnu: gcc-arm-none-eabi@7-2018-q2-update: Fix conflicting GCC headers.
This is a follow-up of 7f6d3f395023ff430cf8b7a981d4780698e9d132 and merely
a copy-and-paste of Marius Bakke's fix.
* gnu/packages/embedded.scm (gcc-arm-none-eabi-7-2018-q2-update)[arguments]:
Add phase to remove the default compiler from CPLUS_INCLUDE_PATH.
[native-inputs]: Distinguish GCC-5.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions