diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.sh b/configure.sh index d5586db..76d02de 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -21,9 +21,10 @@ WFLAGS="-pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-function" | |||
| 21 | [ -n "$(detectsan address)" ] && ADDR="-fsanitize=address" | 21 | [ -n "$(detectsan address)" ] && ADDR="-fsanitize=address" |
| 22 | [ -n "$(detectsan undefined)" ] && UNDEF="-fsanitize=undefined" | 22 | [ -n "$(detectsan undefined)" ] && UNDEF="-fsanitize=undefined" |
| 23 | SAN="$ADDR $UNDEF" | 23 | SAN="$ADDR $UNDEF" |
| 24 | LIBS="-lpthread" | ||
| 24 | 25 | ||
| 25 | CFLAGS="$STD $WFLAGS $AVX -O3" | 26 | CFLAGS="$STD $LIBS $WFLAGS $AVX -O3" |
| 26 | DBGFLAGS="$STD $WFLAGS $SAN $AVX -g3 -DDEBUG" | 27 | DBGFLAGS="$STD $LIBS $WFLAGS $SAN $AVX -g3 -DDEBUG" |
| 27 | 28 | ||
| 28 | echo "Cube type: CUBE_$TYPE" | 29 | echo "Cube type: CUBE_$TYPE" |
| 29 | echo "Compiler: ${CC:-cc}" | 30 | echo "Compiler: ${CC:-cc}" |
