aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorNiklas Hambüchen <mail@nh2.me>2019-07-01 18:31:54 +0200
committerNiklas Hambüchen <mail@nh2.me>2019-07-03 04:32:25 +0200
commit1f97b16b1d9d93e083a4f1436ba002e073cbe379 (patch)
tree2632ca704d438539425c1f1aef142ed86e56fa64 /doc
parent00a450026f71306bef6acc150af4aa5ffe75801c (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')
-rw-r--r--doc/manual/installation/prerequisites-source.xml4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual/installation/prerequisites-source.xml b/doc/manual/installation/prerequisites-source.xml
index e87d0de21..cbaa4d525 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