From 3518115da992988adba23b5546340f444714a00f Mon Sep 17 00:00:00 2001 From: William Robinet Date: Sun, 30 Aug 2020 21:11:52 +0200 Subject: [PATCH] Update README.md with ./configure options --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/README.md b/README.md index 5496b95..fbfb87b 100644 --- a/README.md +++ b/README.md @@ -50,6 +50,15 @@ make (optional) make install ``` +Optional configuration features (aka ./configure options): +``` + --disable-optimization disable compiler optimizations (change from -O2 to -O0) + --enable-debug enable debug info (add "-g -DDEBUG" to CFLAGS) + --enable-asan enable AddressSanitizer and other checks + add "-fsanitize=address,undefined,leak -Wformat -Werror=format-security -Werror=array-bounds" to CFLAGS + use libasan with GCC and embedded ASAN with Clang +``` + ## Contributing The contributing policy is simple. If you have a patch to propose, make a pull-request