diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-06-08 14:26:42 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-08 15:23:39 +0200 |
commit | 849a1399ca46497ad6acc5b11903f345502c02de (patch) | |
tree | 5baa10b0f646201e061fad9a58a8456065760529 /po | |
parent | 9953685c0985c6cc4481db3e351f1cc1dbf81e8b (diff) | |
download | guix-849a1399ca46497ad6acc5b11903f345502c02de.tar.gz |
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.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions