math/lingeling/files/patch-configure.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

--- configure.sh.orig	2022-05-15 14:42:39 UTC
+++ configure.sh
@@ -183,7 +183,7 @@ fi
 
 [ x"$CC" = x ] && CC=gcc
 
-CFLAGS="-W -Wall"
+CFLAGS="$CFLAGS -W -Wall"
 if [ $debug = yes ]
 then
   CFLAGS="$CFLAGS -ggdb3"
@@ -194,7 +194,7 @@ else
   [ $lto = yes ] && CFLAGS="$CFLAGS -flto -fwhole-program"
 fi
 
-LIBS="-lm"
+LIBS="$LDFLAGS -lm"
 HDEPS=""
 LDEPS=""