diff options
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index e2517cbd9..e7cb9a3d3 100644 --- a/configure.ac +++ b/configure.ac @@ -293,7 +293,7 @@ else CVC4CPPFLAGS="${CVC4CPPFLAGS:+$CVC4CPPFLAGS }$CLN_CFLAGS" CVC4CXXFLAGS="${CVC4CXXFLAGS:+$CVC4CXXFLAGS }$CLN_CFLAGS" CVC4CFLAGS="${CVC4CFLAGS:+$CVC4CFLAGS }$CLN_CFLAGS" - LIBS="${LIBS:+$LIBS }$CLN_LIBS" + LIBS="$CLN_LIBS${LIBS:+ $LIBS}" cvc4_cln_or_gmp=cln fi |