#!/bin/sh | |
set -eu | |
autoreconf -f -i | |
BOOTSTRAP_MODE="" | |
if [ $# -gt 0 ]; | |
then | |
BOOTSTRAP_MODE="${1}" | |
shift 1 | |
fi | |
case "${BOOTSTRAP_MODE}" in | |
dev) | |
FLAGS="-O2 -Wall -Wextra -Wformat-security" | |
FLAGS="${FLAGS} -Wparentheses" | |
FLAGS="${FLAGS} -Wno-type-limits" | |
FLAGS="${FLAGS} -Werror" | |
# FLAGS="${FLAGS} -Wpedantic" | |
FLAGS="${FLAGS} -fsanitize=address,leak,undefined" | |
FLAGS="${FLAGS} -ggdb" | |
./configure \ | |
CFLAGS="${FLAGS}" \ | |
--enable-code-coverage \ | |
"$@" | |
;; | |
*) | |
echo 'Run "./configure ${CONFIGURE_FLAGS} && make"' | |
;; | |
esac |