From 8d3fc9f5f9c0593fcae9c451efe6c89c64dcbe84 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Tue, 29 Apr 2025 10:08:04 +0200
Subject: Added stop / pause / resume solve to API

---
 configure.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'configure.sh')

diff --git a/configure.sh b/configure.sh
index e31e650..4a60ed4 100755
--- a/configure.sh
+++ b/configure.sh
@@ -85,6 +85,7 @@ validatethreads
 validatearch
 
 STD="-std=c11"
+POSIX="-D_POSIX_C_SOURCE=199309L"
 WFLAGS="-pedantic -Wall -Wextra"
 WNOFLAGS="-Wno-unused-parameter -Wno-unused-function -Wno-unknown-pragmas"
 WNOFLAGS="$WNOFLAGS -Wno-unused-command-line-argument"
@@ -99,8 +100,8 @@ if [ -n "$SANITIZE" ]; then
 fi
 LIBS="-lpthread"
 
-CFLAGS="$STD $LIBS $WFLAGS $WNOFLAGS $AVX -O3 -fPIC -D$ARCH"
-DBGFLAGS="$STD $LIBS $WFLAGS $WNOFLAGS $SAN $AVX -g3 -DDEBUG -fPIC -D$ARCH"
+CFLAGS="$STD $POSIX $LIBS $WFLAGS $WNOFLAGS $AVX -O3 -fPIC -D$ARCH"
+DBGFLAGS="$STD $POSIX $LIBS $WFLAGS $WNOFLAGS $SAN $AVX -g3 -DDEBUG -fPIC -D$ARCH"
 WASMFLAGS="$STD $LIBS $WFLAGS $WNOFLAGS -O3 -fPIC"
 MACROS="-DTHREADS=$THREADS"
 
-- 
cgit v1.3