From 9d8cc0d86c1daf18f30110bfdf8388aeb96ff637 Mon Sep 17 00:00:00 2001 From: nick black Date: Sun, 2 Jan 2022 18:27:46 -0500 Subject: [PATCH] INSTALL: list BUILD_FFI_LIBRARY --- INSTALL.md | 1 + 1 file changed, 1 insertion(+) diff --git a/INSTALL.md b/INSTALL.md index 3a8cd7030..a1808beb9 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -123,6 +123,7 @@ but must be `Debug` for use of `USE_COVERAGE`. * `DFSG_BUILD`: leave out all content considered non-free under the Debian Free Software Guidelines (default `off`) * `BUILD_TESTING`: build test targets (default `on`) * `BUILD_EXECUTABLES`: build executables (in addition to libs) (default `on`) +* `BUILD_FFI_LIBRARY`: Build ffi library (containing all symbols which are static inline) (default `on`) * `USE_ASAN`: build with AddressSanitizer (default `off`) * `USE_CXX`: build C++ code (requires a C++ compiler) (default `on`) * `USE_COVERAGE`: build coverage support (for developers, requires use of Clang) (default `off`)