summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2021-09-28 23:41:10 +0200
committerLudovic Courtès <ludo@gnu.org>2021-09-28 23:45:00 +0200
commit7d30e6e5c21f5e0b79f73428414fef2dbf75e7a6 (patch)
tree5d2b6522c9dc5c8e7721aa1522c4f101e131db65 /gnu/packages/coq.scm
parent3f7893527548a9459a0bd88fed2a4dea1a34aeda (diff)
gnu: make-bootstrap: Allow compilation of the statically-link gawk.
Previously, linking would fail due to the '-fno-common' default in GCC 10: ld: /gnu/store/…-glibc-2.33-static/lib/libc.a(getopt.o): in function `_getopt_internal_r': (.text+0x6e0): multiple definition of `_getopt_internal_r'; support/libsupport.a(getopt.o):/tmp/guix-build-gawk-5.1.0.drv-0/gawk-5.1.0/support/getopt.c:404: first defined here ld: /gnu/store/…-glibc-2.33-static/lib/libc.a(getopt.o): in function `_getopt_internal': Reported by Thiago Jung Bauermann <bauermann@kolabnow.com>. * gnu/packages/make-bootstrap.scm (%static-inputs) <gawk>: Remove getopt.o from libsupport.a.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions