gnu: gcc-arm-none-eabi@7-2018-q2-update: Fix conflicting GCC headers.
authorBjörn Höfling <bjoern.hoefling@bjoernhoefling.de>
Thu, 14 May 2020 06:12:07 +0000 (08:12 +0200)
committerBjörn Höfling <bjoern.hoefling@bjoernhoefling.de>
Thu, 14 May 2020 08:40:30 +0000 (10:40 +0200)
commitf6ec9f9d39eeab1eb5432272d47f87f70e95a890
tree4bbf75ecc7a06a4d41f11786ee6e7a51a5db5ea8
parent99f2c9347053b7be78fed96d1b8e4a5cefc05a8c
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.
gnu/packages/embedded.scm