diff options
Diffstat (limited to 'math/lingeling/files/patch-configure.sh')
| -rw-r--r-- | math/lingeling/files/patch-configure.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/math/lingeling/files/patch-configure.sh b/math/lingeling/files/patch-configure.sh new file mode 100644 index 000000000000..bb5b86143b46 --- /dev/null +++ b/math/lingeling/files/patch-configure.sh @@ -0,0 +1,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="" + |