diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-07-11 15:18:16 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-07-11 15:18:16 +0200 |
| commit | 4abb81c230bfcd599ccceb2b1bcbdcadbd859537 (patch) | |
| tree | 41dd1cf04d0ff34022fa7669c0b00cd2f051f7d9 /configure.sh | |
| parent | 275d8c66d2aa4793d986bcc7939cb4adcd64e018 (diff) | |
| download | nissy-core-4abb81c230bfcd599ccceb2b1bcbdcadbd859537.tar.gz nissy-core-4abb81c230bfcd599ccceb2b1bcbdcadbd859537.zip | |
Cleanup makefile and tools
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}" |