diff options
author | Niklas Hambüchen <mail@nh2.me> | 2019-07-01T16·31+0200 |
---|---|---|
committer | Niklas Hambüchen <mail@nh2.me> | 2019-07-03T02·32+0200 |
commit | 1f97b16b1d9d93e083a4f1436ba002e073cbe379 (patch) | |
tree | 2632ca704d438539425c1f1aef142ed86e56fa64 /doc/manual | |
parent | 00a450026f71306bef6acc150af4aa5ffe75801c (diff) |
autoconf: Work around editline not being found on Ubuntu 16.04.
And probably other Linux distributions with long-term support releases. Also update manual stating what version is needed; I checked that 1.14 is the oldest version with which current nix compiles, and added autoconf feature checks for some functions added in that release that nix uses.
Diffstat (limited to 'doc/manual')
-rw-r--r-- | doc/manual/installation/prerequisites-source.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual/installation/prerequisites-source.xml b/doc/manual/installation/prerequisites-source.xml index e87d0de21ef6..cbaa4d525274 100644 --- a/doc/manual/installation/prerequisites-source.xml +++ b/doc/manual/installation/prerequisites-source.xml @@ -62,6 +62,10 @@ 1.66.0 or higher. It can be obtained from the official web site <link xlink:href="https://www.boost.org/" />.</para></listitem> + <listitem><para>The <literal>editline</literal> library of version + 1.14.0 or higher. It can be obtained from the its repository + <link xlink:href="https://github.com/troglobit/editline" />.</para></listitem> + <listitem><para>The <command>xmllint</command> and <command>xsltproc</command> programs to build this manual and the man-pages. These are part of the <literal>libxml2</literal> and |