gnu: doxygen: Work around GCC ICE on armhf-linux.
authorLudovic Courtès <ludo@gnu.org>
Fri, 8 Jun 2018 12:26:42 +0000 (14:26 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 8 Jun 2018 13:23:39 +0000 (15:23 +0200)
commit849a1399ca46497ad6acc5b11903f345502c02de
tree5baa10b0f646201e061fad9a58a8456065760529
parent9953685c0985c6cc4481db3e351f1cc1dbf81e8b
gnu: doxygen: Work around GCC ICE on armhf-linux.

Reported by Mark H Weaver <mhw@netris.org>
at <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=31708#10>.

* gnu/packages/patches/doxygen-gcc-ice.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/documentation.scm (doxygen)[inputs]: Add "gcc-ice-patch"
on armhf-* only.
[arguments]: Add 'apply-gcc-patch' phase on armhf-* only.
gnu/local.mk
gnu/packages/documentation.scm
gnu/packages/patches/doxygen-gcc-ice.patch [new file with mode: 0644]