lix/doc/manual
Niklas Hambüchen 57daa860e8 autoconf: Fix C++17 detection not working on Ubuntu 16.04.
And probably many other distributions.

Until now, ./configure would fail silently printing a warning

    ./configure: line 4621: AX_CXX_COMPILE_STDCXX_17: command not found

and then continuing, later failing with a C++ #error saying that some C++11
feature isn't supported (it didn't even get to the C++17 features).

This is because older distributions don't come with the
`AX_CXX_COMPILE_STDCXX_17` m4 macro.

This commit vendors that macro accordingly.

Now ./configure complains correctly:

    configure: error: *** A compiler with support for C++17 language features is required.

On Ubuntu 16.04, ./configure completes if a newer compiler is used, e.g. with
gcc-7 from https://launchpad.net/~ubuntu-toolchain-r/+archive/ubuntu/test
using:

    ./bootstrap.sh
    ./configure CXX=g++-7 --disable-doc-gen --with-boost=$(nix-build --no-link '<nixpkgs>' -A boost.dev)
2019-07-03 04:32:25 +02:00
..
advanced-topics diff hook: execute as the build user, and pass the temp dir 2019-05-12 13:17:26 -04:00
command-ref nix-channel: Don't fetch binary-cache-url 2019-06-25 13:27:16 +02:00
expressions Minor typo 2019-06-04 14:12:03 +02:00
figures
glossary docs: Add IDs to important sections 2018-08-31 10:06:33 -04:00
images/callouts Add docbook icons to the distribution 2014-04-09 14:52:43 +02:00
installation autoconf: Fix C++17 detection not working on Ubuntu 16.04. 2019-07-03 04:32:25 +02:00
introduction editline: wip 2018-10-29 08:44:58 -05:00
packages Nix uses the CPP SDK, not Java 2019-06-20 14:47:45 +02:00
release-notes Add 2.2 release notes 2019-01-10 21:02:09 +01:00
hacking.xml Docs: Fix install prefix 2018-08-21 21:46:43 +02:00
local.mk Add a new option to disable documentation generation at configure time 2016-09-20 14:34:43 +00:00
manual.xml Create upgrade notes 2018-09-01 15:35:46 -04:00
nix-lang-ref.xml
quote-literals.xsl Generate release notes again 2014-03-12 14:24:29 +01:00
schemas.xml
style.css Update release notes 2018-02-19 20:38:53 +01:00