blob: b3dfc9faf508a1e0f89dda8cdfc374ef7e263c58 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/sh
set -e
this_script_path=$(readlink -f "$0")
this_script_dir=$(dirname "$this_script_path")
source_files=$(readlink -f $(find "$this_script_dir/src" -name "*.c"))
if [ -z "$CC" ]; then
CC=cc
fi
CFLAGS=""
LIBS=""
if [ ! -z "$SANITIZE_ADDRESS" ]; then
CFLAGS+="-fsanitize=address "
LIBS+="-lasan "
fi
CFLAGS+="-Wall -Wextra -Werror -g -O0 -DDEBUG -std=c89 -pedantic -D_GNU_SOURCE"
LIBS+="-pthread"
set -x
time "$CC" $source_files $CFLAGS $LIBS -o amalgam
|
