commit 95a8a4403fb540fbd5b48e2e23c65d3148a422da
author Andrew Jeffery <andrew@aj.id.au> Tue Mar 10 22:09:02 2020 +1030
committer Andrew Jeffery <andrew@aj.id.au> Tue Mar 10 23:17:06 2020 +0000
tree ea0d6a14aa602767d19e3ea96fb860b534cff8dc
parent f0315a3e6c5ff834d16c920869e896910ab79064

bootstrap: Add a 'dev' mode

Enables sanitizers and stricter CFLAGS useful for development.

Signed-off-by: Andrew Jeffery <andrew@aj.id.au>
Change-Id: I1db80b5a83c2e155e1007923546b36176481b78a

bootstrap.sh

diff --git a/bootstrap.sh b/bootstrap.sh
index c508090..ac02a30 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -1,2 +1,28 @@
 #!/bin/sh
-exec autoreconf -f -i
+
+set -eu
+
+autoreconf -f -i
+
+
+BOOTSTRAP_MODE=""
+
+if [ $# -gt 0 ];
+then
+    BOOTSTRAP_MODE="${1}"
+    shift 1
+fi
+
+case "${BOOTSTRAP_MODE}" in
+    dev)
+        FLAGS="-fsanitize=address,leak,undefined -Wformat -Werror=format-security -Werror=array-bounds -ggdb"
+        ./configure \
+            CFLAGS="${FLAGS}" \
+            CXXFLAGS="${FLAGS}" \
+            --enable-code-coverage \
+            "$@"
+        ;;
+    *)
+        echo 'Run "./configure ${CONFIGURE_FLAGS} && make"'
+        ;;
+esac