diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-03-12 00:37:33 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-03-12 00:40:15 +0100 |
commit | 1dbe3a8db0a3e5a8e5f9b30e6f6a6bbfb699275b (patch) | |
tree | 1eb49e4166a7affad076771bd5a629c2be065356 /.gitignore | |
parent | 5a717a95b33d72026085c2309a2079956586c098 (diff) | |
download | guix-1dbe3a8db0a3e5a8e5f9b30e6f6a6bbfb699275b.tar.gz |
build: GnuTLS is now a hard dependency.
Discussed as part of <https://bugs.gnu.org/25975>. * configure.ac: Check for (gnutls) and error out if it's missing. * doc/guix.texi (Requirements): Move GnuTLS from optional to required. (Substitutes): Remove footnote about the need for GnuTLS.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions