diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/configure.sh b/configure.sh index 17673fc..74df81e 100755 --- a/configure.sh +++ b/configure.sh | |||
| @@ -1,12 +1,12 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | 2 | ||
| 3 | CFLAGS="-std=c99 -pthread -pedantic -Wall -Wextra -Wno-unused-parameter -O3" | 3 | STD="-std=c99" |
| 4 | DBGFLAGS="-DDEBUG -std=c99 -pthread -pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-function -g3 -fsanitize=address -fsanitize=undefined" | 4 | WFLAGS="-pedantic -Wall -Wextra -Wno-unused-parameter" |
| 5 | [ "$TYPE" = "AVX2" ] && AVX="-mavx2" | ||
| 6 | [ "$(uname)" = "Linux" ] && SAN="-fsanitize=address -fsanitize=undefined" | ||
| 5 | 7 | ||
| 6 | if [ "$TYPE" = "AVX2" ]; then | 8 | CFLAGS="$STD $WFLAGS $AVX -O3" |
| 7 | CFLAGS="$CFLAGS -mavx2" | 9 | DBGFLAGS="$STD $WFLAGS $AVX -g3 -DDEBUG" |
| 8 | DBGFLAGS="$DBGFLAGS -mavx2" | ||
| 9 | fi | ||
| 10 | 10 | ||
| 11 | { | 11 | { |
| 12 | echo "CUBETYPE = CUBE_$TYPE"; | 12 | echo "CUBETYPE = CUBE_$TYPE"; |
