From 4abb81c230bfcd599ccceb2b1bcbdcadbd859537 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 11 Jul 2024 15:18:16 +0200 Subject: Cleanup makefile and tools --- configure.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'configure.sh') 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" [ -n "$(detectsan address)" ] && ADDR="-fsanitize=address" [ -n "$(detectsan undefined)" ] && UNDEF="-fsanitize=undefined" SAN="$ADDR $UNDEF" +LIBS="-lpthread" -CFLAGS="$STD $WFLAGS $AVX -O3" -DBGFLAGS="$STD $WFLAGS $SAN $AVX -g3 -DDEBUG" +CFLAGS="$STD $LIBS $WFLAGS $AVX -O3" +DBGFLAGS="$STD $LIBS $WFLAGS $SAN $AVX -g3 -DDEBUG" echo "Cube type: CUBE_$TYPE" echo "Compiler: ${CC:-cc}" -- cgit v1.3