Use libvdeplug.h instead of libvdeplug_dyn.h
[tinc] / .ci / sanitizers / build.sh
1 #!/bin/bash
2
3 set -euo pipefail
4
5 dir=$(realpath "$(dirname "$0")")
6
7 case "$SANITIZER" in
8 undefined)
9   flags='-fsanitize=integer -fsanitize=nullability'
10   ;;
11
12 address)
13   flags='-fsanitize-address-use-after-scope -fsanitize=pointer-compare -fsanitize=pointer-subtract'
14   ;;
15
16 *)
17   flags=''
18   ;;
19 esac
20
21 export CPPFLAGS='-DDEBUG'
22 export CFLAGS="-O0 -g -fsanitize=$SANITIZER -fno-omit-frame-pointer -fno-common -fsanitize-blacklist=$dir/ignore.txt $flags"
23
24 autoreconf -fsi
25 # shellcheck disable=SC2046
26 ./configure $(sh .ci/conf.sh)
27 make -j2 all extra