From 4f91a717d1e37df95080847e0eeb0cd6ece9cf10 Mon Sep 17 00:00:00 2001 From: nick black Date: Tue, 14 Dec 2021 01:38:14 -0500 Subject: [PATCH] [INSTALL.md] mention BUILD_EXECUTABLES #2467 --- INSTALL.md | 1 + README.md | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/INSTALL.md b/INSTALL.md index 652073479..f6ebb332f 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -123,6 +123,7 @@ but must be `Debug` for use of `USE_COVERAGE`. * `DFSG_BUILD=off`: leave out all content considered non-free under the Debian Free Software Guidelines * `BUILD_TESTING=on`: build test targets +* `BUILD_EXECUTABLES=on`: build any executables (as opposed to libs) * `USE_ASAN=off`: build with AddressSanitizer * `USE_CXX=on`: build C++ code (requires a C++ compiler) * `USE_COVERAGE=off`: build coverage support (for developers, requires use of Clang) diff --git a/README.md b/README.md index 04dfbf52e..5e1fc71f8 100644 --- a/README.md +++ b/README.md @@ -119,7 +119,7 @@ may well be possible to use still older versions. Let me know of any successes! * (OPTIONAL) (python bindings): Python 3.7+, [CFFI](https://pypi.org/project/cffi/) 1.13.2+, [pypandoc](https://pypi.org/project/pypandoc/) 1.5+ * (runtime) Linux 5.3+, FreeBSD 11+, DragonFly BSD 5.9+, Windows 10 v1093+, or macOS 11.4+ -[Here's more information](INSTALL.md) on building and installation. +More information on building and installation is available in [INSTALL.md](INSTALL.md). ### Wrappers